Data.Invertible.Functor
Description
Bidirectional version of Data.Functor.
bifmap :: Functor f => (a <-> b) -> f a <-> f b Source #
Lift both sides of an bijection over a functor using fmap. We name this bifmap in deference to the more useful fmap.
fmap
identity :: a <-> Identity a Source #
Convert the Identity functor.
Identity