CpsEffectMonad
Marker trait, which mark effect monad, where actual evaluation of expression happens after building a monad, during effect evaluation stage.
evaluation of expression inside async block always delayed.
- Source:
- CpsMonad.scala
Type members
Inherited types
Value members
Concrete methods
For effect monads it is usually the same, as pure, but unlike pure, argument of evaluation is lazy.
For effect monads it is usually the same, as pure, but unlike pure, argument of evaluation is lazy.
Note, that delay is close to original return
in haskell
with lazy evaluation semantics. So, for effect monads,
representing pure as eager function is a simplification of semantics,
real binding to monads in math sence, should be with delay
instead pure
- Source:
- CpsMonad.scala
Delayed evaluation of unit. If you want to override this for you monad, you should overrid delayed to.
Delayed evaluation of unit. If you want to override this for you monad, you should overrid delayed to.
- Source:
- CpsMonad.scala
shortcat for delayed evaluation of effect.
shortcat for delayed evaluation of effect.
- Source:
- CpsMonad.scala
Inherited methods
run op in the context environment.
run op in the context environment.
- Inherited from:
- CpsMonad
- Source:
- CpsMonad.scala
bind combinator, which compose f
over fa
bind combinator, which compose f
over fa
- Inherited from:
- CpsMonad
- 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