arrow-core-test
1.1.3-alpha.13
common
arrow-core-test
/
arrow.core.test.laws
/
MonoidLaws
/
laws
laws
common
fun
<
F
>
laws
(
M
:
Monoid
<
F
>
,
GEN
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
=
{ a, b -> a == b }
)
:
List
<
Law
>
Content copied to clipboard