invertible-0.1: 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.