Modulegeneric-lens-2.3.0.0Haskell2010

Data.Generics.Internal.VL.Iso

Internal lens helpers. Only exported for Haddock

Synopsis

datadata Exchange a b s t

Instances2Profunctor, Functor

Profunctor (Exchange a b)Defined in generic-lens-2.3.0.0 · Data.Generics.Internal.VL.Iso
Functor (Exchange a b s)Defined in generic-lens-2.3.0.0 · Data.Generics.Internal.VL.Iso

type

type Iso' s a = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Profunctor p, Functor f) => p a (f a) -> p s (f s)

type

type Iso s t a b = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Profunctor p, Functor f) => p a (f b) -> p s (f t)

valuefromIso :: Iso s t a b -> Iso b a t s

valueiso2isovl :: Iso s t a b -> Iso s t a b

valuewithIso :: Iso s t a b -> ((s -> a) -> (b -> t) -> r) -> r

Extract the two functions, one from s -> a and one from b -> t that characterize an Iso.

valuerepIso :: (Generic a, Generic b) => Iso a b (Rep a x) (Rep b x)

A type and its generic representation are isomorphic

valuerepIsoN :: (GenericN a, GenericN b) => Iso a b (RepN a x) (RepN b x)

valueparamIso

valuemIso

M1 is just a wrapper around `f p`

valuekIso

valuerecIso

valueprodIso

valueiso :: (s -> a) -> (b -> t) -> Iso s t a b