IOBuilder
Namespace: NovelFS.NovelIO
Parent Module: IO
Computation Expression builder for IO actions
Constructors
| Constructor | Description |
new()
Signature: unit -> IOBuilder
|
CompiledName: |
Instance members
| Instance member | Description |
Bind(x, f)
Signature: (x:IO<'a> * f:('a -> IO<'b>)) -> IO<'b>
Type parameters: 'a, 'b |
Monadic bind for IO action, this is used to combine and sequence IO action |
Combine(f1, f2)
Signature: (f1:IO<unit> * f2:IO<'?7343>) -> IO<'?7343>
Type parameters: '?7343 |
Combine an IO action of type unit an IO action of type 'a into a combined IO action of type 'a |
Delay(f)
Signature: (f:(unit -> IO<'a>)) -> IO<'a>
Type parameters: 'a |
Delays a function of type unit -> IO<'a> as an IO<'a> |
For(sequence, body)
Signature: (sequence:seq<'?7390> * body:('?7390 -> IO<'?7391>)) -> IO<unit>
Type parameters: '?7390, '?7391 |
Definition of for loops within IO computation expressions |
Return(a)
Signature: a:'a -> IO<'a>
Type parameters: 'a |
Return a value as an IO action |
ReturnFrom(a)
Signature: a:IO<'a> -> IO<'a>
Type parameters: 'a |
Bare return for IO values |
While(guard, body)
Signature: (guard:(unit -> bool) * body:IO<unit>) -> IO<unit>
|
Definition of while loops within IO computation expressions |
Zero()
Signature: unit -> IO<unit>
|
The zero IO action |
