Interface Iso<Cat, A, B>

All instance of Iso must satisfy:

For all x of A; backward(forward(x)) == x,
For all x of B; forward(backward(x)) == x.

Type Parameters

Cat
A
B

Hierarchy

Iso

Index

Properties

backward forward

Properties

`Readonly` backward

backward: Instance<Apply2<Cat, A, B>>

`Readonly` forward

forward: Instance<Apply2<Cat, B, A>>

Generated using TypeDoc