Control.Isomorphism.Partial.Unsafe

Documentation

data Iso alpha beta

Constructors

Iso (alpha -> Maybe beta) (beta -> Maybe alpha)

Instances

Category Iso

Defined in Control.Isomorphism.Partial.Prim

Methods

id :: Iso a a

(.) :: Iso b c -> Iso a b -> Iso a c