dotty-cps-async/cps/CpsMonad

CpsMonad

trait CpsMonad[F[_]] extends CpsAwaitable[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).

Companion:
object
trait CpsAwaitable[F]
class Object
trait Matchable
class Any
trait CpsContextMonad[F, Ctx]
object FreeCpsMonad.type
trait CpsTryMonad[F]
trait CpsAsyncMonad[F]

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.

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

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

map a function f over fa

map a function f over fa

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.

Concrete methods

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)