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

Safe HaskellSafe
LanguageHaskell2010

Data.Invertible.Piso

Description

Convert bijections to and from (total) Piso.

Synopsis

Documentation

toPiso :: (a <-> b) -> Piso a b Source

Convert a bijection to a (total) partial isomorphism.

fromPiso :: b -> Piso a b -> Maybe a <-> b Source

Convert a partial isomorphism to a total bijection using a default value for the failure case.