record InvokeAsync <A> Source #
Base-type of the DSL types used by the IO
monad. Use this to extend the core IO
functionality.
type | A | Bound value type |
record InvokeAsyncIO <A> Source #
Base-type of the DSL types used by the IO
monad. Use this to extend the core IO
functionality.
type | A | Bound value type |
record InvokeSync <A> Source #
Base-type of the DSL types used by the IO
monad. Use this to extend the core IO
functionality.
type | A | Bound value type |
record InvokeSyncIO <A> Source #
Base-type of the DSL types used by the IO
monad. Use this to extend the core IO
functionality.
type | A | Bound value type |
Base-type of the IOCatch〈X, A〉 DSL-type used by the IO
monad.
Use this to extend the core IO
exception catching functionality.
type | A | Bound value type |
method IO<A> MakeOperation () Source #
Provide the IO
computation to run inside the try
block
returns |
|
method Func<Exception, IO<A>> MakeHandler () Source #
Provide the handler that will accept an Exception
if one is thrown.
returns | Function to handle exceptions that returns an |