invertible-0.2.0.7: bidirectional arrows, bijective functions, and invariant functors

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