invertible-0.1.2: bidirectional arrows, bijective functions, and invariant functors

Safe HaskellNone
LanguageHaskell2010

Data.Invertible.Lens

Description

Convert bijections to and from lens isomorphisms in Control.Lens.Iso.

Synopsis

Documentation

toIso :: (a <-> b) -> Iso' a b Source #

Convert an isomorphism to a lens.

unIso :: AnIso' a b -> a <-> b Source #

Convert a lens to an isomorphism.