invertible-0.1: bidirectional arrows, bijective functions, and invariant functors
Data.Invertible.Functor
Description
Bidirectional version of Data.Functor.
Synopsis
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