Asynchronous computational effect system plugin.
The underlying runtime must support monadic composition of effectful values and creation of externally completable effects.
Type parameters
- Effect
-
effect type (similar to IO Monad in Haskell)
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Abstract methods
Creates an externally completable effect.
Creates an externally completable effect.
Type parameters
- T
-
effectful value type
Attributes
- Returns
-
completable effect
Inherited methods
Creates a new effect by lifting an effect's errors into a value.
Creates a new effect by lifting an effect's errors into a value.
The resulting effect cannot fail.
Type parameters
- T
-
effectful value type
Value parameters
- effect
-
effectful value
Attributes
- Returns
-
effectful error or the original value
- Inherited from:
- EffectSystem
Lifts a potentially blocking and side-effecting value into a new effect of specified type.
Lifts a potentially blocking and side-effecting value into a new effect of specified type.
Exceptions thrown while computing the value are translated into a failed effect.
Type parameters
- T
-
effectful value type
Value parameters
- value
-
side-effecting value
Attributes
- Returns
-
effect containing the value
- Inherited from:
- EffectSystem
Lifts a exception into a failed effect of specified type.
Lifts a exception into a failed effect of specified type.
Type parameters
- T
-
effectful value type
Value parameters
- exception
-
exception
Attributes
- Returns
-
effect containing the exception
- Inherited from:
- EffectSystem
Creates a new effect by applying an effectful function to an effect's value.
Creates a new effect by applying an effectful function to an effect's value.
Type parameters
- R
-
effectful function result type
- T
-
effectful value type
Value parameters
- effect
-
effectful value
- function
-
effectful function applied to the specified effect's value
Attributes
- Returns
-
effect containing the transformed value
- Inherited from:
- EffectSystem
Creates a new effect by applying a function to an effect's value.
Creates a new effect by applying a function to an effect's value.
Type parameters
- R
-
function result type
- T
-
effectful value type
Value parameters
- effect
-
effectful value
- function
-
function applied to the specified effect's value
Attributes
- Returns
-
transformed effectful value
- Inherited from:
- EffectSystem
Executes an effect asynchronously without blocking and discard the result.
Executes an effect asynchronously without blocking and discard the result.
Type parameters
- T
-
effectful value type
Value parameters
- effect
-
effectful value
Attributes
- Returns
-
nothing
- Inherited from:
- EffectSystem
Lifts a value without blocking or side-effects into a successfully completed effect of specified type.
Lifts a value without blocking or side-effects into a successfully completed effect of specified type.
Type parameters
- T
-
effectful value type
Value parameters
- value
-
value
Attributes
- Returns
-
effect containing the value
- Inherited from:
- EffectSystem