Data.Invertible.PartialIsomorphism

Convert bijections to and from (total) Iso.

Documentation

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

Convert a bijection to a (total) partial isomorphism.

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

Convert a partial isomorphism to a bijection by propagating Nothings.

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

Apply a bijection over a IsoFunctor using <$>.