CpsContextMonad
Base trait of CpsContextMonad which provide Ctx
as a monad context Mixin this trait into your CosMonad in cases, when you monad have internal API and you potentially want to use moand context as generic type.
Attributes
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Abstract methods
Evaluate operation in context.
Evaluate operation in context.
Attributes
Inherited methods
bind combinator, which compose f
over fa
Wrap and flatten of monadic expression..
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
Create monadic expression according to the default operation of choosen monad types. (i.e. delaying for effect monads, starting for eager monand, pure by default)
Create monadic expression according to the default operation of choosen monad types. (i.e. delaying for effect monads, starting for eager monand, pure by default)
Attributes
- Inherited from:
- CpsMonad