arrow-optics-test
1.1.3-alpha.22
arrow-optics-test
/
arrow.optics.test.laws
/
SetterLaws
Setter
Laws
object
SetterLaws
Content copied to clipboard
Functions
Functions
compose
Modify
Link copied to clipboard
suspend
fun
<
A
,
B
>
Setter
<
A
,
B
>
.
composeModify
(
aGen
:
Arb
<
A
>
,
eq
:
(
A
,
A
)
->
Boolean
,
funcGen
:
Arb
<
(
B
)
->
B
>
)
:
PropertyContext
Content copied to clipboard
consistent
Set
Modify
Link copied to clipboard
suspend
fun
<
A
,
B
>
Setter
<
A
,
B
>
.
consistentSetModify
(
aGen
:
Arb
<
A
>
,
bGen
:
Arb
<
B
>
,
eq
:
(
A
,
A
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard
laws
Link copied to clipboard
fun
<
A
,
B
>
laws
(
setter
:
Setter
<
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
modify
Identity
Link copied to clipboard
suspend
fun
<
A
,
B
>
Setter
<
A
,
B
>
.
modifyIdentity
(
aGen
:
Arb
<
A
>
,
eq
:
(
A
,
A
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard
set
Idempotent
Link copied to clipboard
suspend
fun
<
A
,
B
>
Setter
<
A
,
B
>
.
setIdempotent
(
aGen
:
Arb
<
A
>
,
bGen
:
Arb
<
B
>
,
eq
:
(
A
,
A
)
->
Boolean
)
:
PropertyContext
Content copied to clipboard