ResumableCode Module
Contains functions for composing resumable code blocks
Functions and values
Function or value |
Description
|
Full Usage:
ResumableCode.Combine (code1, code2)
Parameters:
ResumableCode<'Data, unit>
code2 : ResumableCode<'Data, 'T>
Returns: ResumableCode<'Data, 'T>
Modifiers: inline Type parameters: 'Data, 'T |
Sequences one section of resumable code after another
|
Full Usage:
ResumableCode.CombineDynamic (sm, code1, code2)
Parameters:
byref<ResumableStateMachine<'Data>>
code1 : ResumableCode<'Data, unit>
code2 : ResumableCode<'Data, 'T>
Returns: bool
|
The dynamic implementation of the corresponding operation. This operation should not be used directly.
|
Full Usage:
ResumableCode.Delay f
Parameters:
unit -> ResumableCode<'Data, 'T>
Returns: ResumableCode<'Data, 'T>
Modifiers: inline Type parameters: 'Data, 'T |
Creates resumable code whose definition is a delayed function
|
Full Usage:
ResumableCode.For (sequence, body)
Parameters:
'T seq
body : 'T -> ResumableCode<'Data, unit>
Returns: ResumableCode<'Data, unit>
Modifiers: inline Type parameters: 'T, 'Data |
Specifies resumable code which iterates an input sequence
|
Full Usage:
ResumableCode.TryFinally (body, compensation)
Parameters:
ResumableCode<'Data, 'T>
compensation : ResumableCode<'Data, unit>
Returns: ResumableCode<'Data, 'T>
Modifiers: inline Type parameters: 'Data, 'T |
Specifies resumable code which executes with try/finally semantics
|
Full Usage:
ResumableCode.TryFinallyAsync (body, compensation)
Parameters:
ResumableCode<'Data, 'T>
compensation : ResumableCode<'Data, unit>
Returns: ResumableCode<'Data, 'T>
Modifiers: inline Type parameters: 'Data, 'T |
Specifies resumable code which executes with try/finally semantics
|
Full Usage:
ResumableCode.TryFinallyAsyncDynamic (sm, body, compensation)
Parameters:
byref<ResumableStateMachine<'Data>>
body : ResumableCode<'Data, 'T>
compensation : ResumableCode<'Data, unit>
Returns: bool
|
The dynamic implementation of the corresponding operation. This operation should not be used directly.
|
Full Usage:
ResumableCode.TryWith (body, catch)
Parameters:
ResumableCode<'Data, 'T>
catch : exn -> ResumableCode<'Data, 'T>
Returns: ResumableCode<'Data, 'T>
Modifiers: inline Type parameters: 'Data, 'T |
Specifies resumable code which executes with try/with semantics
|
Full Usage:
ResumableCode.TryWithDynamic (sm, body, handler)
Parameters:
byref<ResumableStateMachine<'Data>>
body : ResumableCode<'Data, 'T>
handler : exn -> ResumableCode<'Data, 'T>
Returns: bool
|
The dynamic implementation of the corresponding operation. This operation should not be used directly.
|
Full Usage:
ResumableCode.Using (resource, body)
Parameters:
'Resource
body : 'Resource -> ResumableCode<'Data, 'T>
Returns: ResumableCode<'Data, 'T>
Modifiers: inline Type parameters: 'Resource, 'Data, 'T |
Specifies resumable code which executes with 'use' semantics
|
Full Usage:
ResumableCode.While (condition, body)
Parameters:
unit -> bool
body : ResumableCode<'Data, unit>
Returns: ResumableCode<'Data, unit>
Modifiers: inline Type parameters: 'Data |
Specifies resumable code which executes a loop
|
Full Usage:
ResumableCode.WhileDynamic (sm, condition, body)
Parameters:
byref<ResumableStateMachine<'Data>>
condition : unit -> bool
body : ResumableCode<'Data, unit>
Returns: bool
|
The dynamic implementation of the corresponding operation. This operation should not be used directly.
|
Full Usage:
ResumableCode.Yield ()
Parameters:
unit
Returns: ResumableCode<'Data, unit>
Modifiers: inline Type parameters: 'Data |
|
Full Usage:
ResumableCode.YieldDynamic sm
Parameters:
byref<ResumableStateMachine<'Data>>
Returns: bool
|
The dynamic implementation of the corresponding operation. This operation should not be used directly.
|
Full Usage:
ResumableCode.Zero ()
Parameters:
unit
Returns: ResumableCode<'Data, unit>
Modifiers: inline Type parameters: 'Data |