Monad, where we can define an effect of starting operation in different execution flow.
- Companion:
- object
- Source:
- CpsMonad.scala
Type members
Types
Spawned[A] is a computation, which is executed in own flow. (i.e. Fiber, Future, etc ..)
Spawned[A] is a computation, which is executed in own flow. (i.e. Fiber, Future, etc ..)
- Source:
- CpsMonad.scala
Inherited types
Value members
Abstract methods
join the op
computation: i.e. result is op
which will become available
after the spawned execution will be done.
join the op
computation: i.e. result is op
which will become available
after the spawned execution will be done.
- Source:
- CpsMonad.scala
spawn execution of operation in own execution flow.
spawn execution of operation in own execution flow.
- Source:
- CpsMonad.scala
Send cancel signal, which can be accepted or rejected by op
flow.
Send cancel signal, which can be accepted or rejected by op
flow.
- Source:
- CpsMonad.scala
Concrete methods
join two computations in such way, that they will execute concurrently.
join two computations in such way, that they will execute concurrently.
- Source:
- CpsMonad.scala
Inherited methods
called by the source, which accept callback inside
called by the source, which accept callback inside
- Inherited from:
- CpsAsyncMonad
- Source:
- CpsMonad.scala
run op in the context environment.
run op in the context environment.
- Inherited from:
- CpsMonad
- Source:
- CpsMonad.scala
represent error e
in monadic context.
represent error e
in monadic context.
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
bind combinator, which compose f
over fa
bind combinator, which compose f
over fa
- Inherited from:
- CpsMonad
- Source:
- CpsMonad.scala
flatMap over result of checked evaluation of A
flatMap over result of checked evaluation of A
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
transform r
into pure value or error.
transform r
into pure value or error.
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
map over result of checked evaluation of A
map over result of checked evaluation of A
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
synonym for flatMapTry needed for processing awaits inside mapTry.
synonym for flatMapTry needed for processing awaits inside mapTry.
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
Pure - wrap value t
inside monad.
Pure - wrap value t
inside monad.
Note, that pure use eager evaluation, which is different from Haskell.
- Inherited from:
- CpsMonad
- Source:
- CpsMonad.scala
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.
- Inherited from:
- CpsTryMonad
- 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
.
- Inherited from:
- CpsTryMonad
- 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
.
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
ensure that action
will run before getting value from fa
ensure that action
will run before getting value from fa
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
async shift of withAction
.
async shift of withAction
.
This method is substituted instead withAction, when we use await
inside withAction
argument.
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala
return result of fa
after completition of action
.
return result of fa
after completition of action
.
- Inherited from:
- CpsTryMonad
- Source:
- CpsMonad.scala