effect-ts-laws
Preparing search index...
typeclass
Isomorphism
compose
Function compose
compose
<
A
,
B
>
(
F
:
Isomorphism
.
Isomorphism
<
A
,
B
>
,
)
:
<
C
>
(
G
:
Isomorphism
.
Isomorphism
<
B
,
C
>
)
=>
Isomorphism
.
Isomorphism
<
A
,
C
>
Compose two isomorphisms of
A⇒B
and
B⇒C
into an isomorphism of
a⇒C
.
Type Parameters
A
B
Parameters
F
:
Isomorphism
.
Isomorphism
<
A
,
B
>
Returns
<
C
>
(
G
:
Isomorphism
.
Isomorphism
<
B
,
C
>
)
=>
Isomorphism
.
Isomorphism
<
A
,
C
>
Settings
Member Visibility
Internal
Theme
OS
Light
Dark
effect-ts-laws
Loading...
Compose two isomorphisms of
A⇒B
andB⇒C
into an isomorphism ofa⇒C
.