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

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 <$>.