invertible-0.2.0.5: bidirectional arrows, bijective functions, and invariant functors
Data.Invertible.PartialIsomorphism
Description
Convert bijections to and from (total) Iso.
Iso
Synopsis
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.
Nothing
(<$>) :: IsoFunctor f => (a <-> b) -> f a -> f b Source #
Apply a bijection over a IsoFunctor using <$>.
IsoFunctor
<$>