CatsMonadPure
cps.monads.catsEffect.CatsMonadPure
class CatsMonadPure[F[_]](using mf: Monad[F]) extends CatsMonad[F], CpsPureMonadInstanceContext[F]
Attributes
- Graph
-
- Supertypes
-
trait CpsPureMonadInstanceContext[F]trait CatsMonad[F]trait CpsMonad[F]class Objecttrait Matchableclass AnyShow all
Members list
Value members
Inherited methods
run with this instance
run with this instance
Attributes
- Inherited from:
- CpsPureMonadInstanceContext
bind combinator, which compose f
over fa
Wrap and flatten of monadic expression..
Wrap and flatten of monadic expression..
Attributes
- Inherited from:
- CpsMonad
Attributes
- Inherited from:
- CpsMonad
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:
- CatsMonad
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