Type Alias 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 Iso<Cat, A, B> = {
backward: Get2<Cat, B, A>;
forward: Get2<Cat, A, B>;
}

Type Parameters

Cat
A
B

Index

Properties

backward forward

Properties

`Readonly`backward

backward: Get2<Cat, B, A>

`Readonly`forward

forward: Get2<Cat, A, B>