cps-async-connect-cats-effect
API
Generated with
cps-async-connect-cats-effect/cps.monads.catsEffect/CatsMonadPure

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

Lazy variant of pure, which by default - create monadic expression according to the choosen monad types. (i.e. delaing for effect monads, starting for eager monand, pure by defiault)

Lazy variant of pure, which by default - create monadic expression according to the choosen monad types. (i.e. delaing for effect monads, starting for eager monand, pure by defiault)

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
Generated with