CpsPureMonadInstanceContext
Trait for minimal monad context, which provides an instance of CpsMonad. Mixin this trait into your monad in cases, when you monad have no internal API and not support try/catch operations.
Attributes
- Source
- CpsMonadContext.scala
- Graph
-
- Supertypes
Members list
Type members
Types
Attributes
- Source
- CpsMonadContext.scala
Inherited types
Attributes
- Inherited from:
- CpsMonad
- Source
- CpsMonad.scala
Value members
Concrete methods
run with this instance
Inherited methods
Wrap and flatten of monadic expression..
Attributes
- Inherited from:
- CpsMonad
- Source
- CpsMonad.scala
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
- Source
- CpsMonad.scala
Inherited and Abstract methods
bind combinator, which compose f over fa
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