FxLaws

object FxLaws

Functions

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