Modulegeneric-lens-2.3.0.0Haskell2010

Data.Generics.Internal.VL

Synopsis

module Data.Generics.Internal.VL.Lens

module Data.Generics.Internal.VL.Iso

module Data.Generics.Internal.VL.Prism

valueconfusing :: Applicative f => Traversal s t a b -> (a -> f b) -> s -> f t

valueliftCurried :: Applicative f => f a -> Curried f a

valueliftCurriedYoneda :: Applicative f => f a -> Curried (Yoneda f) a

valueliftYoneda :: Functor f => f a -> Yoneda f a

valuelowerCurried :: Applicative f => Curried f a -> f a

valuelowerYoneda :: Yoneda f a -> f a

valueyap :: Applicative f => Yoneda f (a -> b) -> f a -> Yoneda f b

newtypenewtype Curried (f :: Type -> Type) a

Instances2Functor, Applicative

Functor f => Functor (Curried f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal
Functor f => Applicative (Curried f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal

typetype Traversal s t a b = forall (f :: Type -> Type). Applicative f => (a -> f b) -> s -> f t

typetype Traversal' s a = forall (f :: Type -> Type). Applicative f => (a -> f a) -> s -> f s

Type alias for traversal

newtypenewtype Yoneda (f :: Type -> Type) a

Instances2Functor, Applicative

Functor (Yoneda f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal
Applicative f => Applicative (Yoneda f)Defined in generic-lens-core-2.3.0.0 · Data.Generics.Internal.VL.Traversal