TaskManagedCpsMonad
Attributes
- Graph
- Supertypes
- trait CpsMonadInstanceContext[[X] =>> ZManaged[Any, Throwable, X]]trait CpsTryMonad[[X] =>> ZManaged[Any, Throwable, X]]trait CpsThrowMonad[[X] =>> ZManaged[Any, Throwable, X]]trait CpsMonad[[X] =>> ZManaged[Any, Throwable, X]]trait CpsAwaitable[[X] =>> ZManaged[Any, Throwable, X]]class Objecttrait Matchableclass Any
- Self type
- TaskManagedCpsMonad.type
Members list
Type members
Inherited types
Attributes
- Inherited from:
- CpsMonadInstanceContext
Attributes
- Inherited from:
- ZManagedCpsMonad
Attributes
- Inherited from:
- CpsMonad
Value members
Inherited methods
If is it statically known, that monad is evaluated in this context, then this call is completely eliminated by dotty-cps-async macro
If is it statically known, that monad is evaluated in this context, then this call is completely eliminated by dotty-cps-async macro
Attributes
- Returns:
fa
- Inherited from:
- CpsMonadInstanceContext
run with this instance
run with this instance
Attributes
- Inherited from:
- CpsMonadInstanceContext
represent error e
in monadic context.
bind combinator, which compose f
over fa
flatMap over result of checked evaluation of A
transform r
into pure value or error.
transform r
into pure value or error.
Attributes
- Inherited from:
- CpsTryMonad
Lazy variant of pure, which by default - create monadic expression according to the choosen monad types. (i.e. delaing for effect monads, starting for eager monand, pure by defiault)
Lazy variant of pure, which by default - create monadic expression according to the choosen monad types. (i.e. delaing for effect monads, starting for eager monand, pure by defiault)
Attributes
- Inherited from:
- CpsMonad
map a function f
over fa
map over result of checked evaluation of A
map over result of checked evaluation of A
Attributes
- Inherited from:
- CpsTryMonad
synonym for flatMapTry needed for processing awaits inside mapTry.
synonym for flatMapTry needed for processing awaits inside mapTry.
Attributes
- Inherited from:
- CpsTryMonad
Pure - wrap value t
inside monad.
Pure - wrap value t
inside monad.
Note, that pure use eager evaluation, which is different from Haskell.
Attributes
- Inherited from:
- ZManagedCpsMonad
restore fa, ie if fa sucessful - return fa, otherwise apply fx to received error.
restore fa, ie if fa sucessful - return fa, otherwise apply fx to received error.
Attributes
- Inherited from:
- CpsTryMonad
try to evaluate async operation and wrap successful or failed result into F
.
try to evaluate async operation and wrap successful or failed result into F
.
Attributes
- Inherited from:
- CpsTryMonad
try to evaluate synchonious operation and wrap successful or failed result into F
.
try to evaluate synchonious operation and wrap successful or failed result into F
.
Attributes
- Inherited from:
- CpsTryMonad
async shift of tryPure.
async shift of tryPure.
Attributes
- Inherited from:
- CpsTryMonad
ensure that action
will run before getting value from fa
ensure that action
will run before getting value from fa
Attributes
- Inherited from:
- CpsTryMonad
async shift of withAction
.
async shift of withAction
.
This method is substituted instead withAction, when we use await
inside withAction
argument.
Attributes
- Inherited from:
- CpsTryMonad
return result of fa
after completition of action
.
return result of fa
after completition of action
.
Attributes
- Inherited from:
- CpsTryMonad