arrow-core-test
1.1.3-alpha.16
common
arrow-core-test
/
arrow.core.test.laws
/
SemigroupLaws
/
laws
laws
common
fun
<
F
>
laws
(
SG
:
Semigroup
<
F
>
,
G
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
=
{ a, b -> a == b }
)
:
List
<
Law
>
Content copied to clipboard