arrow-optics-test
1.1.3-alpha.22
arrow-optics-test
/
arrow.optics.test.laws
/
TraversalLaws
/
laws
laws
fun
<
A
,
B
:
Any
>
laws
(
traversal
:
Traversal
<
A
,
B
>
,
aGen
:
Arb
<
A
>
,
bGen
:
Arb
<
B
>
,
funcGen
:
Arb
<
(
B
)
->
B
>
,
eq
:
(
A
,
A
)
->
Boolean
=
{ a, b -> a == b }
)
:
List
<
Law
>
Content copied to clipboard