dotty-cps-async-loom
API
Generated with
dotty-cps-async-loom/cps/CpsMonad

CpsMonad

cps.CpsMonad
See theCpsMonad companion object
trait CpsMonad[F[_]]

Basic CpsMonad operations. Implementing this typeclass is enough to use async/await with supports of basic control-flow constructions (if, loops, but no exceptions).

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait CpsContextMonad[F, Ctx]
trait CpsTryContextMonad[F, Ctx]
trait CpsEffectMonad[F]
trait CpsThrowMonad[F]
class IterableCpsMonad[C]
trait CpsTryMonad[F]
object FreeCpsMonad
trait CpsAsyncMonad[F]
Show all

Members list

Type members

Types

type WF[X] = F[X]

Value members

Abstract methods

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

run op in the context environment.

run op in the context environment.

Attributes

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

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

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

Concrete methods

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

Wrap and flatten of monadic expression..

Wrap and flatten of monadic expression..

Attributes

def flatten[T](ffa: F[F[T]]): F[T]
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

Generated with