A bidirectional correspondence between two types where values can
be represented in both ways, but doing a reverse transformation
only guarantees an equivalent output.
A bidirectional correspondence between two types where values can
be represented in both ways, but doing a reverse transformation
only guarantees an equivalent output. There is an equivalence
relation a =~= b such that coapply(apply(x)) ~=~ x and
apply(coapply(y) =~= y.
A bidirectional correspondence between two types where values can be represented in both ways, but doing a reverse transformation only guarantees an equivalent output. There is an equivalence relation
a =~= b
such thatcoapply(apply(x)) ~=~ x
andapply(coapply(y) =~= y
.