Data.Invertible.Function

Bidirectional version of Data.Function.

Documentation

id :: a <-> a

Identity bijection.

(.) :: (b <-> c) -> (a <-> b) -> a <-> c infixr 9

Bijection composition

consts :: a -> b -> a <-> b

Bidirectional constant function (not a true bijection).

const :: a -> () <-> a

Convert between '()' and a constant (not a true bijection).

flip :: (a -> b -> c) <-> (b -> a -> c)

flip the order of the first two arguments of a function.