split-morphism-0.1.0.1: Split Epimorphisms and Monomorphisms

Safe HaskellNone
LanguageHaskell2010

Control.Lens.SplitMorphism

Synopsis

Documentation

reverseEpi :: SplitEpi a b -> SplitMono b a Source #

Swapping get and reverseGet yields a SplitMono.

reverseMono :: SplitMono a b -> SplitEpi b a Source #

Swapping get and reverseGet yields a SplitEpi.

composeSplitEpiMono :: SplitEpi a b -> SplitMono b c -> Wedge a c Source #

Composition between SplitEpi and SplitMono.

composeSplitEpiPrism :: SplitEpi a b -> Prism' b c -> Format a c Source #

Composition between SplitEpi and Prism.

composeSplitMonoEpi :: SplitMono a b -> SplitEpi b c -> Wedge a c Source #

Composition between SplitMono and SplitEpi.

epiAsWedge :: SplitEpi a b -> Wedge a b Source #

Conversion from SplitEpi to Wedge.

monoAsWedge :: SplitMono a b -> Wedge a b Source #

Conversion from SplitMono to Wedge.