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
- Source
- CpsMonadContext.scala
- Graph
-
- Supertypes
- Known subtypes
Members list
Type members
Types
Attributes
- Source
- CpsMonadContext.scala
Inherited types
Attributes
- Inherited from:
- CpsMonad
- Source
- CpsMonad.scala
Value members
Abstract methods
Evaluate operation in context.
Concrete methods
delegated to applyContext
Inherited methods
bind combinator, which compose f over fa
Lazy variant of pure, which by default - create monadic expression according to the choosen monad types. (i.e. delaing for effect monads, starting for eager monand, pure by defiault)
Lazy variant of pure, which by default - create monadic expression according to the choosen monad types. (i.e. delaing for effect monads, starting for eager monand, pure by defiault)
Attributes
- Inherited from:
- CpsMonad
- Source
- CpsMonad.scala
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
- Source
- CpsMonad.scala