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 Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

type Context = CpsPureMonadInstanceContextBody[F]

Attributes

Inherited from:
CpsPureMonadInstanceContext
type WF[X] = F[X]

Attributes

Inherited from:
CpsMonad

Value members

Inherited methods

def apply[T](op: Context => F[T]): F[T]

run with this instance

run with this instance

Attributes

Inherited from:
CpsPureMonadInstanceContext
def flatMap[A, B](fa: F[A])(f: A => F[B]): F[B]

bind combinator, which compose f over fa

bind combinator, which compose f over fa

Attributes

Inherited from:
CatsMonad
def flatWrap[T](op: => F[T]): F[T]

Wrap and flatten of monadic expression..

Wrap and flatten of monadic expression..

Attributes

Inherited from:
CpsMonad
def flatten[T](ffa: F[F[T]]): F[T]

Attributes

Inherited from:
CpsMonad
def map[A, B](fa: F[A])(f: A => B): F[B]

map a function f over fa

map a function f over fa

Attributes

Inherited from:
CatsMonad
def pure[A](a: A): F[A]

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
def wrap[T](op: => T): F[T]

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