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

Data.Invertible.Lens

Description

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

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.