CpsThrowMonadInstanceContext
cps.CpsThrowMonadInstanceContext
trait CpsThrowMonadInstanceContext[F[_]] extends CpsThrowMonad[F]
Minimal monad context, which provides an instance of CpsThrowMonad. Use it if your monad supports throw operation but not try/catch.
Attributes
- Graph
-
- Supertypes
-
trait CpsThrowMonad[F]trait CpsThrowSupport[F]trait CpsMonad[F]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class IterableCpsMonad[C]
Members list
Type members
Types
Value members
Inherited methods
represent error e
in monadic context.
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
In this article