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

Safe HaskellSafe
LanguageHaskell2010

Data.Invertible.Functor

Description

Bidirectional version of Data.Functor.

Synopsis

Documentation

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.

identity :: a <-> Identity a Source #

Convert the Identity functor.