len package:fixed-vector-hetero

type family Len (xs :: [α]) :: PeanoNum

fixed-vector-hetero Data.Vector.HFixed.Class Data.Vector.HFixed.TypeFuns

Length of type list expressed as type level naturals from fixed-vector.

lensChF :: (Index n xs, Functor f) => proxy n -> (ValueAt n xs -> f a) -> Fun (NewElems n xs a) r -> Fun xs (f r)

fixed-vector-hetero Data.Vector.HFixed.Class

Helper for type-changing lens

lensF :: (Index n xs, Functor f, v ~ ValueAt n xs) => proxy n -> (v -> f v) -> Fun xs r -> Fun xs (f r)

fixed-vector-hetero Data.Vector.HFixed.Class

Helper for implementation of lens

lensWorkerF :: forall f r x y (xs :: [Type]) . (Functor f, Arity xs) => (x -> f y) -> Fun (y ': xs) r -> Fun (x ': xs) (f r)

fixed-vector-hetero Data.Vector.HFixed.Class

Helper for lens implementation.

type Lens s t a b = forall (f :: Type -> Type) . Functor f => a -> f b -> s -> f t

fixed-vector-hetero Data.Vector.HFixed.Class

Copy of lens type definition from lens package

type Lens' s a = Lens s s a a

fixed-vector-hetero Data.Vector.HFixed.Class

Copy of type preserving lens definition from lens package