EffectSystem
Computational effect system plugin.
Enables remote APIs to use specific effect handling abstraction.
The underlying runtime must support monadic composition of effectful values.
Type parameters
- Effect
-
effect type (similar to IO Monad in Haskell)
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait AsyncEffectSystem[Effect]class CatsEffectSystemclass FutureSystemclass ZioSystem[Environment]class IdentitySystemclass ScalazEffectSystemclass TrySystemShow all
Members list
Value members
Abstract 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
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
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
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
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
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
Concrete methods
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