invertible-0.2.0.8: bidirectional arrows, bijective functions, and invariant functors
Safe HaskellNone
LanguageHaskell2010

Data.Invertible.PartialIsomorphism

Description

Convert bijections to and from (total) Iso.

Synopsis

Documentation

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

Convert a bijection to a (total) partial isomorphism.

fromIso :: Iso a b -> Maybe a <-> Maybe b Source #

Convert a partial isomorphism to a bijection by propagating Nothings.

(<$>) :: IsoFunctor f => (a <-> b) -> f a -> f b Source #

Apply a bijection over a IsoFunctor using <$>.