Interface FH\Iso<TA, TB>

Interface for isomorphisms.

Laws

Isomorphism
a2b(b2a($x))=$x\mathtt{a2b(b2a(\$x))} = \mathtt{\$x}

Instance methods

a2b(TA $a): TB
Convert from TA to TB.
b2a(TB $b): TA
Convert from TB to TA.