Data.Invertible

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

Documentation

module Data.Invertible.Bijection

module Data.Invertible.TH

module Data.Invertible.Prelude

module Data.Invertible.Bits

module Data.Invertible.Bool

module Data.Invertible.Complex

module Data.Invertible.Either

module Data.Invertible.Function

module Data.Invertible.Functor

module Data.Invertible.List

module Data.Invertible.Maybe

module Data.Invertible.Monad

module Data.Invertible.Monoid

module Data.Invertible.Ord

module Data.Invertible.Tuple

module Control.Invertible.BiArrow

module Control.Invertible.Functor