Data.Bijection

Bijection instances represent a bijection between two types and allow conversion to and from.

Documentation

class Bijection a b where

Bijection between two types a and b. to and from represent the bijective function.

For a proper bijection between x and y, two instances need to be defined (Bijection x y and Bijection y x).

Methods

to :: a -> b

from :: b -> a

Instances

Bijection String Text

String to Text.

Bijection Text String

Text to String.

Bijection MBB Text

Newtype to allow date normalization Bijection instance.