given_CpsThrowMonad_TailRec_CpsThrowMonadInstanceContext_TailRec
cps.monads.TailRecCpsMonad$package.given_CpsThrowMonad_TailRec_CpsThrowMonadInstanceContext_TailRec
object given_CpsThrowMonad_TailRec_CpsThrowMonadInstanceContext_TailRec extends CpsThrowMonad[TailRec], CpsThrowMonadInstanceContext[TailRec]
Attributes
- Source
- TailRecCpsMonad.scala
- Graph
-
- Supertypes
-
trait CpsThrowMonadInstanceContext[TailRec]trait CpsThrowMonad[TailRec]trait CpsThrowSupport[TailRec]trait CpsMonad[TailRec]class Objecttrait Matchableclass AnyShow all
- Self type
Members list
Type members
Inherited types
Attributes
- Inherited from:
- CpsThrowMonadInstanceContext
- Source
- CpsMonadContext.scala
Attributes
- Inherited from:
- CpsMonad
- Source
- CpsMonad.scala
Value members
Concrete methods
represent error e
in monadic context.
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
- Source
- TailRecCpsMonad.scala
Inherited methods
run op in the context environment.
run op in the context environment.
Attributes
- Definition Classes
- Inherited from:
- CpsThrowMonadInstanceContext
- Source
- CpsMonadContext.scala
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
In this article