arrow-core-test
1.0.3-alpha.1
common
arrow-core-test
/
arrow.core.test.laws
/
MonoidLaws
Monoid
Laws
common
object
MonoidLaws
Content copied to clipboard
Functions
Functions
combine
All
Is
Derived
Link copied to clipboard
common
suspend
fun
<
F
>
Monoid
<
F
>
.
combineAllIsDerived
(
GEN
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard
combine
All
Of
Empty
Is
Empty
Link copied to clipboard
common
fun
<
F
>
Monoid
<
F
>
.
combineAllOfEmptyIsEmpty
(
eq
:
(
F
,
F
)
->
Boolean
)
Content copied to clipboard
laws
Link copied to clipboard
common
fun
<
F
>
laws
(
M
:
Monoid
<
F
>
,
GEN
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
=
{ a, b -> a == b }
)
:
List
<
Law
>
Content copied to clipboard
monoid
Left
Identity
Link copied to clipboard
common
suspend
fun
<
F
>
Monoid
<
F
>
.
monoidLeftIdentity
(
GEN
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard
monoid
Right
Identity
Link copied to clipboard
common
suspend
fun
<
F
>
Monoid
<
F
>
.
monoidRightIdentity
(
GEN
:
Arb
<
F
>
,
eq
:
(
F
,
F
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard