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.
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
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.