If you monad supports this typeclass, than you can use try/catch/finally inside await.
Attributes
- Companion:
- object
- Source:
- CpsMonad.scala
- Graph
- Supertypes
- Known subtypes
- trait CpsAsyncMonad[F]trait CpsAsyncEffectMonad[F]trait CpsConcurrentEffectMonad[F]trait CpsConcurrentMonad[F]trait CpsSchedulingMonad[F]object CompletableFutureCpsMonad.typeclass FutureAsyncMonadAPIobject FreeCpsMonad.type
Members list
Type members
Inherited types
Attributes
- Inherited from:
- CpsMonad
- Source:
- CpsMonad.scala
Attributes
- Inherited from:
- CpsMonad
- Source:
- CpsMonad.scala
Value members
Abstract methods
represent error e
in monadic context.
flatMap over result of checked evaluation of A
Concrete methods
transform r
into pure value or error.
map over result of checked evaluation of A
synonym for flatMapTry needed for processing awaits inside mapTry.
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
- Source:
- CpsMonad.scala
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
- Source:
- CpsMonad.scala
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
- Source:
- CpsMonad.scala
async shift of tryPure.
ensure that action
will run before getting value from fa
async shift of withAction
.
async shift of withAction
.
This method is substituted instead withAction, when we use await
inside withAction
argument.
Attributes
- Source:
- CpsMonad.scala
return result of fa
after completition of action
.
Inherited methods
run op in the context environment.
bind combinator, which compose f
over fa
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
- Source:
- CpsMonad.scala
map a function f
over fa
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:
- CpsMonad
- Source:
- CpsMonad.scala