Modulegeneric-lens-core-2.2.1.0Haskell2010

Data.Generics.Internal.Profunctor.Iso

Internal lens helpers. Only exported for Haddock

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

typetype Iso' s a = Iso s s a a

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

A type and its generic representation are isomorphic

valuemIso

M1 is just a wrapper around `f p` mIso :: Iso' (M1 i c f p) (f p)

valuekIso :: Profunctor p2 => p2 i a b -> p2 i (K1 r a p1) (K1 r b p1)

valuerecIso :: Profunctor p2 => p2 i a b -> p2 i (Rec r a p1) (Rec r b p1)

valuesumIso

valueprodIso

valueassoc3

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

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

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

valuepairing