arrow-optics-test
1.1.3-alpha.22
arrow-optics-test
/
arrow.optics.test.laws
/
IsoLaws
/
laws
laws
fun
<
A
,
B
>
laws
(
iso
:
Iso
<
A
,
B
>
,
aGen
:
Arb
<
A
>
,
bGen
:
Arb
<
B
>
,
funcGen
:
Arb
<
(
B
)
->
B
>
,
eqa
:
(
A
,
A
)
->
Boolean
=
{ a, b -> a == b }
,
eqb
:
(
B
,
B
)
->
Boolean
=
{ a, b -> a == b }
)
:
List
<
Law
>
Content copied to clipboard