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

Data.Invertible

Description

Bidirectional functions. The type <-> is the basis, representing a bijective function between two types. Bijections can be constructed from two functions with <-> or from a set of Haskell cases using biCase.

This and other modules in this package export functionality generally mirroring that provided by the base modules, but over bijections. They are thus intended to be imported qualified, e.g.,:

import qualified Data.Invertible as Inv