arrow-core-test
1.0.3-alpha.1
common
arrow-core-test
/
arrow.core.test.laws
/
SemigroupLaws
Semigroup
Laws
common
object
SemigroupLaws
Content copied to clipboard
Functions
Functions
laws
Link copied to clipboard
common
fun
<
F
>
laws
(
SG
:
Semigroup
<
F
>
,
G
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
=
{ a, b -> a == b }
)
:
List
<
Law
>
Content copied to clipboard
semigroup
Associative
Link copied to clipboard
common
suspend
fun
<
F
>
Semigroup
<
F
>
.
semigroupAssociative
(
G
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard