Modulegeneric-lens-core-2.2.1.0Haskell2010

Data.Generics.Internal.Profunctor.Lens

Internal lens helpers. Only exported for Haddock

typetype Lens s t a b = forall (p :: Type -> Type -> Type -> Type) i. Strong p => p i a b -> p i s t

typetype LensLike (p :: Type -> Type -> Type) s t a b = p a b -> p s t

valueravel :: (ALens a b i a b -> ALens a b i s t) -> Lens s t a b

valueset :: ((a -> b) -> s -> t) -> (s, b) -> t

Setting

valueview :: Lens s s a a -> s -> a

valuewithLensPrim

valueidLens :: ALens a b i a b

valuefirst :: Strong p => p i (a x) (a' x) -> p i ((:*:) a b x) ((:*:) a' b x)

Lens focusing on the first element of a product

valuesecond :: Strong p => p i (b x) (b' x) -> p i ((:*:) a b x) ((:*:) a b' x)

Lens focusing on the second element of a product

valuefork :: (a -> b) -> (a -> c) -> a -> (b, c)

datadata Coyoneda (f :: Type -> Type) b

Instances1Functor

Functor (Coyoneda f)Defined in generic-lens-core-2.2.1.0 · Data.Generics.Internal.Profunctor.Lens

valueinj :: Functor f => Coyoneda f a -> f a

valueproj :: Functor f => f a -> Coyoneda f a

value(??) :: Functor f => f (a -> b) -> a -> f b

valueassoc3L

valuestron :: (Either s s', b) -> Either (s, b) (s', b)

valuechoosing

valuelens :: (s -> (c, a)) -> ((c, b) -> t) -> Lens s t a b

datadata ALens a b i s t

Instances3Profunctor, Strong, Functor

Profunctor (ALens a b)Defined in generic-lens-core-2.2.1.0 · Data.Generics.Internal.Profunctor.Lens
Strong (ALens a b)Defined in generic-lens-core-2.2.1.0 · Data.Generics.Internal.Profunctor.Lens
Functor (ALens a b i s)Defined in generic-lens-core-2.2.1.0 · Data.Generics.Internal.Profunctor.Lens

valueswap :: (a, b) -> (b, a)