FxLaws

object FxLaws

Functions

Link copied to clipboard
fun <Eff : Effect<*>, F, A> eager(pureArb: Arb<F>, G: Arb<F>, eq: (F, F) -> Boolean, fxEager: EagerFxBlock<Eff, F, A>, invoke: suspend Eff.(F) -> A): List<Law>
Link copied to clipboard
fun <Eff : Effect<*>, F, A> suspended(pureArb: Arb<F>, G: Arb<F>, eq: (F, F) -> Boolean, fxSuspend: SuspendFxBlock<Eff, F, A>, invoke: suspend Eff.(F) -> A): List<Law>