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.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
trait CpsTryEffectMonad[F]trait CpsAsyncEffectMonad[F]trait CpsAsyncEffectMonadInstanceContext[F]trait CpsConcurrentEffectMonad[F]
Members list
Type members
Inherited types
Attributes
- Inherited from:
- CpsMonad
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
Attributes
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.
Attributes
shortcat for delayed evaluation of effect.
shortcat for delayed evaluation of effect.
Attributes
Wrap and flatten of monadic expression..
Inherited methods
run op in the context environment.
bind combinator, which compose f
over fa
map a function f
over fa