MBrace.Core


Continuation

Namespace: MBrace.Core.Internals

Continuation utility functions

Functions and values

Function or valueDescription
choice(f tcont)
Signature: f:('S -> Choice<'T,exn>) -> tcont:Continuation<'T> -> Continuation<'S>
Type parameters: 'S, 'T

Contravariant Continuation choice combinator.

failwith(f tcont)
Signature: f:('S -> exn) -> tcont:Continuation<'T> -> Continuation<'S>
Type parameters: 'S, 'T

Contravariant failure combinator

map(f tcont)
Signature: f:('S -> 'T) -> tcont:Continuation<'T> -> Continuation<'S>
Type parameters: 'S, 'T

Contravariant Continuation map combinator.

Fork me on GitHub