ScopedEffectBuilder (Orsak)

ScopedEffectBuilder Type

Namespace: Orsak
Assembly: Orsak.dll
Parent Module: Scoped
Base Type: EffBuilderBase

Constructors

Constructor	Description
`ScopedEffectBuilder()` Full Usage: `ScopedEffectBuilder()` Returns: `ScopedEffectBuilder`	Returns: `ScopedEffectBuilder`
`EffBuilderBase()` Full Usage: `EffBuilderBase()` Returns: `EffBuilderBase`	Returns: `EffBuilderBase`

Instance members

Static members

Instance member	Description
`this.Bind2` Full Usage: `this.Bind2` Parameters: eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` f : `'TResult1 * 'TResult2 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, ^Err	eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` f : `'TResult1 * 'TResult2 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>`
`this.Bind2Return` Full Usage: `this.Bind2Return` Parameters: m1 : `Effect<'c, 'd, ^f>` m2 : `Effect<'c, 'h, ^f>` f : `'d * 'h -> 'i` Returns: `EffectCode<'c, 'i, 'i, ^f>` Modifiers: inline Type parameters: 'c, 'd, ^f, 'h, 'i	m1 : `Effect<'c, 'd, ^f>` m2 : `Effect<'c, 'h, ^f>` f : `'d * 'h -> 'i` Returns: `EffectCode<'c, 'i, 'i, ^f>`
`this.Bind3` Full Usage: `this.Bind3` Parameters: eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, 'TResult3, ^Err	eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>`
`this.Bind3Return` Full Usage: `this.Bind3Return` Parameters: m1 : `Effect<'a, 'b, ^c>` m2 : `Effect<'a, 'd, ^c>` m3 : `Effect<'a, 'e, ^c>` f : `'b * 'd * 'e -> 'f` Returns: `EffectCode<'a, 'f, 'f, ^c>` Modifiers: inline	m1 : `Effect<'a, 'b, ^c>` m2 : `Effect<'a, 'd, ^c>` m3 : `Effect<'a, 'e, ^c>` f : `'b * 'd * 'e -> 'f` Returns: `EffectCode<'a, 'f, 'f, ^c>`
`this.Bind4` Full Usage: `this.Bind4` Parameters: eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, ^Err	eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>`
`this.Bind4Return` Full Usage: `this.Bind4Return` Parameters: m1 : `Effect<'a, 'b, ^c>` m2 : `Effect<'a, 'd, ^c>` m3 : `Effect<'a, 'e, ^c>` m4 : `Effect<'a, 'f, ^c>` f : `'b * 'd * 'e * 'f -> 'g` Returns: `EffectCode<'a, 'g, 'g, ^c>` Modifiers: inline	m1 : `Effect<'a, 'b, ^c>` m2 : `Effect<'a, 'd, ^c>` m3 : `Effect<'a, 'e, ^c>` m4 : `Effect<'a, 'f, ^c>` f : `'b * 'd * 'e * 'f -> 'g` Returns: `EffectCode<'a, 'g, 'g, ^c>`
`this.Bind5` Full Usage: `this.Bind5` Parameters: eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` eff5 : `Effect<'Env, 'TResult5, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, 'TResult5, ^Err	eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` eff5 : `Effect<'Env, 'TResult5, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, ^Err>`
`this.Bind5Return` Full Usage: `this.Bind5Return` Parameters: m1 : `Effect<'a, 'b, ^c>` m2 : `Effect<'a, 'd, ^c>` m3 : `Effect<'a, 'e, ^c>` m4 : `Effect<'a, 'f, ^c>` m5 : `Effect<'a, 'g, ^c>` f : `'b * 'd * 'e * 'f * 'g -> 'h` Returns: `EffectCode<'a, 'h, 'h, ^c>` Modifiers: inline	m1 : `Effect<'a, 'b, ^c>` m2 : `Effect<'a, 'd, ^c>` m3 : `Effect<'a, 'e, ^c>` m4 : `Effect<'a, 'f, ^c>` m5 : `Effect<'a, 'g, ^c>` f : `'b * 'd * 'e * 'f * 'g -> 'h` Returns: `EffectCode<'a, 'h, 'h, ^c>`
`this.ChangeError` Full Usage: `this.ChangeError` Parameters: eff : `Effect<'Env, 'TResult, 'Err1>` f : `'Err1 -> 'Err2` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err2>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err1, 'Err2	eff : `Effect<'Env, 'TResult, 'Err1>` f : `'Err1 -> 'Err2` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err2>`
`this.Combine` Full Usage: `this.Combine` Parameters: task1 : `EffectCode<'a, 'TOverall, unit, 'Err>` task2 : `EffectCode<'a, 'TOverall, 'T, 'Err>` Returns: `EffectCode<'a, 'TOverall, 'T, 'Err>` Modifiers: inline	task1 : `EffectCode<'a, 'TOverall, unit, 'Err>` task2 : `EffectCode<'a, 'TOverall, 'T, 'Err>` Returns: `EffectCode<'a, 'TOverall, 'T, 'Err>`
`this.Delay` Full Usage: `this.Delay` Parameters: generator : `unit -> EffectCode<'Env, 'TOverall, 'T, 'Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, 'Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'T, 'Err	generator : `unit -> EffectCode<'Env, 'TOverall, 'T, 'Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, 'Err>`
`this.Recover` Full Usage: `this.Recover` Parameters: eff : `Effect<'Env, 'TResult, 'Err>` continuation : `'Err -> 'TResult` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err	eff : `Effect<'Env, 'TResult, 'Err>` continuation : `'Err -> 'TResult` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err>`
`this.Return` Full Usage: `this.Return` Parameters: value : `'T` Returns: `EffectCode<'Env, 'T, 'T, 'Err>` Modifiers: inline Type parameters: 'T, 'Env, 'Err	value : `'T` Returns: `EffectCode<'Env, 'T, 'T, 'Err>`
`this.TryFinally` Full Usage: `this.TryFinally` Parameters: body : `EffectCode<'a, 'TOverall, 'T, 'b>` compensation : `unit -> unit` Returns: `EffectCode<'a, 'TOverall, 'T, 'b>` Modifiers: inline	body : `EffectCode<'a, 'TOverall, 'T, 'b>` compensation : `unit -> unit` Returns: `EffectCode<'a, 'TOverall, 'T, 'b>`
`this.TryRecover` Full Usage: `this.TryRecover` Parameters: eff : `Effect<'Env, 'TResult, 'Err>` continuation : `'Err -> Effect<'Env, 'TResult, 'Err>` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err	eff : `Effect<'Env, 'TResult, 'Err>` continuation : `'Err -> Effect<'Env, 'TResult, 'Err>` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err>`
`this.TryRecover` Full Usage: `this.TryRecover` Parameters: eff : `Effect<'Env, 'TResult, 'Err>` continuation : `'Err -> Result<'TResult, 'Err>` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err>` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err	eff : `Effect<'Env, 'TResult, 'Err>` continuation : `'Err -> Result<'TResult, 'Err>` Returns: `EffectCode<'Env, 'TResult, 'TResult, 'Err>`
`this.TryWith` Full Usage: `this.TryWith` Parameters: body : `EffectCode<'a, 'TOverall, 'T, 'b>` catch : `exn -> EffectCode<'a, 'TOverall, 'T, 'b>` Returns: `EffectCode<'a, 'TOverall, 'T, 'b>` Modifiers: inline	body : `EffectCode<'a, 'TOverall, 'T, 'b>` catch : `exn -> EffectCode<'a, 'TOverall, 'T, 'b>` Returns: `EffectCode<'a, 'TOverall, 'T, 'b>`
`this.Using` Full Usage: `this.Using` Parameters: resource : `'Resource` body : `'Resource -> EffectCode<'Env, 'TOverall, 'T, 'Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, 'Err>` Modifiers: inline Type parameters: 'Resource, 'TOverall, 'T, 'Env, 'Err	resource : `'Resource` body : `'Resource -> EffectCode<'Env, 'TOverall, 'T, 'Err>` Returns: `EffectCode<'Env, 'TOverall, 'T, 'Err>`
`this.While` Full Usage: `this.While` Parameters: condition : `unit -> bool` body : `EffectCode<'Env, 'TOverall, unit, 'Err>` Returns: `EffectCode<'Env, 'TOverall, unit, 'Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'Err	condition : `unit -> bool` body : `EffectCode<'Env, 'TOverall, unit, 'Err>` Returns: `EffectCode<'Env, 'TOverall, unit, 'Err>`
`this.Zero` Full Usage: `this.Zero` Returns: `EffectCode<'Env, 'TOverall, unit, 'Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'Err	Returns: `EffectCode<'Env, 'TOverall, unit, 'Err>`
`this.Zip` Full Usage: `this.Zip` Parameters: eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` eff5 : `Effect<'Env, 'TResult5, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, 'TResult5, ^Err	eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` eff5 : `Effect<'Env, 'TResult5, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>`
`this.Zip` Full Usage: `this.Zip` Parameters: eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, ^Err	eff1 : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` eff4 : `Effect<'Env, 'TResult4, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>`
`this.Zip` Full Usage: `this.Zip` Parameters: eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, 'TResult3, ^Err	eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` eff3 : `Effect<'Env, 'TResult3, ^Err>` f : `'TResult1 * 'TResult2 * 'TResult3 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>`
`this.Zip` Full Usage: `this.Zip` Parameters: eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` f : `'TResult1 * 'TResult2 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, ^Err	eff : `Effect<'Env, 'TResult1, ^Err>` eff2 : `Effect<'Env, 'TResult2, ^Err>` f : `'TResult1 * 'TResult2 -> 'TOverall` Returns: `EffectCode<'Env, 'TOverall, 'TOverall, ^Err>`

Static member	Description
`EffBuilderBase.Bind2Dynamic(sm, task1, task2, f)` Full Usage: `EffBuilderBase.Bind2Dynamic(sm, task1, task2, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` f : `'TResult1 * 'TResult2 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` f : `'TResult1 * 'TResult2 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool`
`EffBuilderBase.Bind3(sm, task1, task2, task3, f)` Full Usage: `EffBuilderBase.Bind3(sm, task1, task2, task3, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, 'TResult3, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool`
`EffBuilderBase.Bind4(sm, task1, task2, task3, task4, f)` Full Usage: `EffBuilderBase.Bind4(sm, task1, task2, task3, task4, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool`
`EffBuilderBase.Bind5(sm, task1, task2, task3, task4, task5, f)` Full Usage: `EffBuilderBase.Bind5(sm, task1, task2, task3, task4, task5, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` task5 : `ValueTask<Result<'TResult5, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, 'TResult5, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` task5 : `ValueTask<Result<'TResult5, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> EffectCode<'Env, 'TOverall, 'T, ^Err>` Returns: `bool`
`EffBuilderBase.ChangeErrorDynamic(sm, task, f)` Full Usage: `EffBuilderBase.ChangeErrorDynamic(sm, task, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err2>>>` task : `ValueTask<Result<'TResult, 'Err1>>` f : `'Err1 -> 'Err2` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err1, 'Err2	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err2>>>` task : `ValueTask<Result<'TResult, 'Err1>>` f : `'Err1 -> 'Err2` Returns: `bool`
`EffBuilderBase.CombineDynamic(sm, code1, code2)` Full Usage: `EffBuilderBase.CombineDynamic(sm, code1, code2)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'a, 'TOverall, 'Err>>>` code1 : `EffectCode<'a, 'TOverall, unit, 'Err>` code2 : `EffectCode<'a, 'TOverall, 'T, 'Err>` Returns: `bool`	sm : `byref<ResumableStateMachine<EffectStateMachineData<'a, 'TOverall, 'Err>>>` code1 : `EffectCode<'a, 'TOverall, unit, 'Err>` code2 : `EffectCode<'a, 'TOverall, 'T, 'Err>` Returns: `bool`
`EffBuilderBase.GetResumptionFunc(sm)` Full Usage: `EffBuilderBase.GetResumptionFunc(sm)` Parameters: sm : `byref<ResumableStateMachine<'Data>>` Returns: `ResumptionFunc<'Data>` Modifiers: inline Type parameters: 'Data	sm : `byref<ResumableStateMachine<'Data>>` Returns: `ResumptionFunc<'Data>`
`EffBuilderBase.RecoverDynamic(sm, task, continuation)` Full Usage: `EffBuilderBase.RecoverDynamic(sm, task, continuation)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err>>>` task : `ValueTask<Result<'TResult, 'Err>>` continuation : `'Err -> 'TResult` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err>>>` task : `ValueTask<Result<'TResult, 'Err>>` continuation : `'Err -> 'TResult` Returns: `bool`
`EffBuilderBase.TryRecoverDynamic(sm, task, continuation)` Full Usage: `EffBuilderBase.TryRecoverDynamic(sm, task, continuation)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err>>>` task : `ValueTask<Result<'TResult, 'Err>>` continuation : `'Err -> Effect<'Env, 'TResult, 'Err>` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err>>>` task : `ValueTask<Result<'TResult, 'Err>>` continuation : `'Err -> Effect<'Env, 'TResult, 'Err>` Returns: `bool`
`EffBuilderBase.TryRecoverDynamic(sm, task, continuation)` Full Usage: `EffBuilderBase.TryRecoverDynamic(sm, task, continuation)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err>>>` task : `ValueTask<Result<'TResult, 'Err>>` continuation : `'Err -> Result<'TResult, 'Err>` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'T, 'TOverall, 'TResult, 'Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TResult, 'Err>>>` task : `ValueTask<Result<'TResult, 'Err>>` continuation : `'Err -> Result<'TResult, 'Err>` Returns: `bool`
`EffBuilderBase.WhileBodyDynamicAux(sm, condition, body, rf)` Full Usage: `EffBuilderBase.WhileBodyDynamicAux(sm, condition, body, rf)` Parameters: sm : `byref<EffectStateMachine<'Env, 'TOverall, 'Err>>` condition : `unit -> bool` body : `EffectCode<'Env, 'TOverall, unit, 'Err>` rf : `ResumptionFunc<EffectStateMachineData<'Env, 'TOverall, 'Err>>` Returns: `bool`	sm : `byref<EffectStateMachine<'Env, 'TOverall, 'Err>>` condition : `unit -> bool` body : `EffectCode<'Env, 'TOverall, unit, 'Err>` rf : `ResumptionFunc<EffectStateMachineData<'Env, 'TOverall, 'Err>>` Returns: `bool`
`EffBuilderBase.WhileDynamic(sm, condition, body)` Full Usage: `EffBuilderBase.WhileDynamic(sm, condition, body)` Parameters: sm : `byref<EffectStateMachine<'Env, 'TOverall, 'Err>>` condition : `unit -> bool` body : `EffectCode<'Env, 'TOverall, unit, 'Err>` Returns: `bool`	sm : `byref<EffectStateMachine<'Env, 'TOverall, 'Err>>` condition : `unit -> bool` body : `EffectCode<'Env, 'TOverall, unit, 'Err>` Returns: `bool`
`EffBuilderBase.ZipDynamic(sm, task1, task2, task3, task4, task5, f)` Full Usage: `EffBuilderBase.ZipDynamic(sm, task1, task2, task3, task4, task5, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` task5 : `ValueTask<Result<'TResult5, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> 'TOverall` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, 'TResult5, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` task5 : `ValueTask<Result<'TResult5, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 * 'TResult5 -> 'TOverall` Returns: `bool`
`EffBuilderBase.ZipDynamic(sm, task1, task2, task3, task4, f)` Full Usage: `EffBuilderBase.ZipDynamic(sm, task1, task2, task3, task4, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> 'TOverall` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, 'TResult3, 'TResult4, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` task4 : `ValueTask<Result<'TResult4, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 * 'TResult4 -> 'TOverall` Returns: `bool`
`EffBuilderBase.ZipDynamic(sm, task1, task2, task3, f)` Full Usage: `EffBuilderBase.ZipDynamic(sm, task1, task2, task3, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 -> 'TOverall` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, 'TResult3, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` task3 : `ValueTask<Result<'TResult3, ^Err>>` f : `'TResult1 * 'TResult2 * 'TResult3 -> 'TOverall` Returns: `bool`
`EffBuilderBase.ZipDynamic(sm, task1, task2, f)` Full Usage: `EffBuilderBase.ZipDynamic(sm, task1, task2, f)` Parameters: sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` f : `'TResult1 * 'TResult2 -> 'TOverall` Returns: `bool` Modifiers: inline Type parameters: 'Env, 'TOverall, 'TResult1, 'TResult2, ^Err	sm : `byref<ResumableStateMachine<EffectStateMachineData<'Env, 'TOverall, ^Err>>>` task1 : `ValueTask<Result<'TResult1, ^Err>>` task2 : `ValueTask<Result<'TResult2, ^Err>>` f : `'TResult1 * 'TResult2 -> 'TOverall` Returns: `bool`