root/cps/CpsTryMonad

CpsTryMonad

trait CpsTryMonad[F[_]] extends CpsMonad[F]

If you monad supports this typeclass, than you can use try/catch/finally inside await.

Companion:
object
Source:
CpsMonad.scala
trait CpsMonad[F]
trait CpsAwaitable[F]
class Object
trait Matchable
class Any
trait CpsAsyncMonad[F]
object FreeCpsMonad.type
object JSFutureCpsMonad.type

Type members

Inherited types

type Context <: CpsMonadContext[F]
Inherited from:
CpsMonad
Source:
CpsMonad.scala
type WF[X] = F[X]
Inherited from:
CpsMonad
Source:
CpsMonad.scala

Value members

Abstract methods

def error[A](e: Throwable): F[A]

represent error e in monadic context.

represent error e in monadic context.

Source:
CpsMonad.scala
def flatMapTry[A, B](fa: F[A])(f: Try[A] => F[B]): F[B]

flatMap over result of checked evaluation of A

flatMap over result of checked evaluation of A

Source:
CpsMonad.scala

Concrete methods

def fromTry[A](r: Try[A]): F[A]

transform r into pure value or error.

transform r into pure value or error.

Source:
CpsMonad.scala
def mapTry[A, B](fa: F[A])(f: Try[A] => B): F[B]

map over result of checked evaluation of A

map over result of checked evaluation of A

Source:
CpsMonad.scala
def mapTryAsync[A, B](fa: F[A])(f: Try[A] => F[B]): F[B]

synonym for flatMapTry needed for processing awaits inside mapTry.

synonym for flatMapTry needed for processing awaits inside mapTry.

Source:
CpsMonad.scala
def restore[A](fa: F[A])(fx: Throwable => F[A]): F[A]

restore fa, ie if fa sucessful - return fa, otherwise apply fx to received error.

restore fa, ie if fa sucessful - return fa, otherwise apply fx to received error.

Source:
CpsMonad.scala
def tryImpure[A](a: => F[A]): F[A]

try to evaluate async operation and wrap successful or failed result into F.

try to evaluate async operation and wrap successful or failed result into F.

Source:
CpsMonad.scala
def tryPure[A](a: => A): F[A]

try to evaluate synchonious operation and wrap successful or failed result into F.

try to evaluate synchonious operation and wrap successful or failed result into F.

Source:
CpsMonad.scala
def tryPureAsync[A](a: () => F[A]): F[A]

async shift of tryPure.

async shift of tryPure.

Source:
CpsMonad.scala
def withAction[A](fa: F[A])(action: => Unit): F[A]

ensure that action will run before getting value from fa

ensure that action will run before getting value from fa

Source:
CpsMonad.scala
def withActionAsync[A](fa: F[A])(action: () => F[Unit]): F[A]

async shift of withAction.

async shift of withAction.

This method is substituted instead withAction, when we use await inside withAction argument.

Source:
CpsMonad.scala
def withAsyncAction[A](fa: F[A])(action: => F[Unit]): F[A]

return result of fa after completition of action.

return result of fa after completition of action.

Source:
CpsMonad.scala

Inherited methods

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

run op in the context environment.

run op in the context environment.

Inherited from:
CpsMonad
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

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

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.

Inherited from:
CpsMonad
Source:
CpsMonad.scala