arrow-optics-test/arrow.optics.test.laws/OptionalLaws

OptionalLaws

Functions

suspend fun <A, B> composeModify( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, funcGen: Arb<(B) -> B>, eq: (A, A) -> Boolean): PropertyContext

consistentSetModify

suspend fun <A, B> consistentSetModify( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, bGen: Arb, eq: (A, A) -> Boolean): PropertyContext

getOptionSet

suspend fun <A, B> getOptionSet( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, eq: (A, A) -> Boolean): PropertyContext

laws

fun <A, B> laws( optional: Optional<A, B>, aGen: Arb<A>, bGen: Arb, funcGen: Arb<(B) -> B>, eqa: (A, A) -> Boolean = { a, b -> a == b }, eqb: (B?, B?) -> Boolean = { a, b -> a == b }): List<Law>

Warning: Use only when a Gen.constant() applies

fun <A, B> laws( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, bGen: Arb, funcGen: Arb<(B) -> B>, eqa: (A, A) -> Boolean = { a, b -> a == b }, eqb: (B?, B?) -> Boolean = { a, b -> a == b }): List<Law>

modifyIdentity

suspend fun <A, B> modifyIdentity( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, eq: (A, A) -> Boolean): PropertyContext

setGetOption

suspend fun <A, B> setGetOption( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, bGen: Arb, eq: (B?, B?) -> Boolean): PropertyContext

setIdempotent

suspend fun <A, B> setIdempotent( optionalGen: Arb<Optional<A, B>>, aGen: Arb<A>, bGen: Arb, eq: (A, A) -> Boolean): PropertyContext