Data.Invertible.Functor

Bidirectional version of Data.Functor.

Documentation

bifmap :: Functor f => (a <-> b) -> f a <-> f b

Lift both sides of an bijection over a functor using fmap. We name this bifmap in deference to the more useful fmap.

identity :: a <-> Identity a

Convert the Identity functor.