root
API
Generated with
root/cps/CpsThrowMonad

CpsThrowMonad

cps.CpsThrowMonad
trait CpsThrowMonad[F[_]] extends CpsMonad[F], CpsThrowSupport[F]

Monad, where we can throw error but can catch one only outside of a monad context.

An example as monad which interpret in sync context, such as Option or collections.

Attributes

Source
CpsMonad.scala
Graph
Supertypes
trait CpsThrowSupport[F]
trait CpsMonad[F]
class Object
trait Matchable
class Any
Known subtypes
class IterableCpsMonad[C]
trait CpsTryMonad[F]
object FreeCpsMonad
trait CpsAsyncMonad[F]
trait CpsTryContextMonad[F, Ctx]
Show all

Members list

Type members

Types

override type Context <: CpsThrowMonadContext[F]

Attributes

Source
CpsMonad.scala

Inherited types

type WF[X] = F[X]

Attributes

Inherited from:
CpsMonad
Source
CpsMonad.scala

Value members

Inherited methods

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

run op in the context environment.

run op in the context environment.

Attributes

Inherited from:
CpsMonad
Source
CpsMonad.scala
def error[A](e: Throwable): F[A]

represent error e in monadic context.

represent error e in monadic context.

Attributes

Inherited from:
CpsThrowSupport
Source
CpsMonad.scala
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