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