root
API
Generated with
root/cps/CpsContextMonad

CpsContextMonad

cps.CpsContextMonad
trait CpsContextMonad[F[_], Ctx <: CpsMonadContext[F]] extends CpsMonad[F]

Base trait of CpsContextMonad which provide Ctx as a monad context Mixin this trait into your CosMonad in cases, when you monad have internal API and you potentially want to use moand context as generic type.

Attributes

Source
CpsMonadContext.scala
Graph
Supertypes
trait CpsMonad[F]
class Object
trait Matchable
class Any
Known subtypes
trait CpsTryContextMonad[F, Ctx]

Members list

Type members

Types

type Context = Ctx

Attributes

Source
CpsMonadContext.scala

Inherited types

type WF[X] = F[X]

Attributes

Inherited from:
CpsMonad
Source
CpsMonad.scala

Value members

Abstract methods

def applyContext[T](op: Ctx => F[T]): F[T]

Evaluate operation in context.

Evaluate operation in context.

Attributes

Source
CpsMonadContext.scala

Concrete methods

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

delegated to applyContext

delegated to applyContext

Attributes

See also

applyContext

Source
CpsMonadContext.scala

Inherited methods

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:
CpsMonad
Source
CpsMonad.scala
def flatWrap[T](op: => F[T]): F[T]

Wrap and flatten of monadic expression..

Wrap and flatten of monadic expression..

Attributes

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

Attributes

Inherited from:
CpsMonad
Source
CpsMonad.scala
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:
CpsMonad
Source
CpsMonad.scala
def pure[T](t: T): F[T]

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
Source
CpsMonad.scala
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
Source
CpsMonad.scala
Generated with