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 . (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.

lensWorkerTF :: forall f g r x y xs . (Functor f, Arity xs) => (g x -> f (g y)) -> TFun g (y : xs) r -> TFun g (x : xs) (f r)

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

Helper for lens implementation.

type Lens s t a b = forall f . 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