invertible-0.1: bidirectional arrows, bijective functions, and invariant functors
Data.Invertible.Piso
Description
Convert bijections to and from (total) Piso.
Piso
Synopsis
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.