Data.Generics.Internal.VL.Iso

Internal lens helpers. Only exported for Haddock

Documentation

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

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

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

A type and its generic representation are isomorphic

mIso :: Iso (M1 i c f p) (M1 i c g p) (f p) (g p)

M1 is just a wrapper around `f p`

kIso :: Iso (K1 r a p) (K1 r b p) a b

recIso :: Iso (Rec r a p) (Rec r b p) a b

prodIso :: Iso ((a :*: b) x) ((a' :*: b') x) (a x, b x) (a' x, b' x)

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