scalazIO

cps.monads.scalaz.ScalazIOCpsMonad$package$.scalazIO$
object scalazIO extends CpsTryMonad[IO], CpsMonadInstanceContext[IO]

Attributes

Graph
Supertypes
trait CpsMonadInstanceContext[IO]
trait CpsTryMonadInstanceContext[IO]
trait CpsTryMonad[IO]
trait CpsTrySupport[IO]
trait CpsThrowMonad[IO]
trait CpsThrowSupport[IO]
trait CpsMonad[IO]
class Object
trait Matchable
class Any
Show all
Self type
scalazIO.type

Members list

Type members

Types

type F[T] = IO[T]

Inherited types

override type Context = CpsTryMonadInstanceContextBody[F]

Attributes

Inherited from:
CpsTryMonadInstanceContext
type WF[X] = F[X]

Attributes

Inherited from:
CpsMonad

Value members

Concrete methods

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

represent error e in monadic context.

represent error e in monadic context.

Attributes

def flatMap[A, B](fa: IO[A])(f: A => IO[B]): IO[B]

bind combinator, which compose f over fa

bind combinator, which compose f over fa

Attributes

def flatMapTry[A, B](fa: IO[A])(f: Try[A] => IO[B]): IO[B]

flatMap over result of checked evaluation of A

flatMap over result of checked evaluation of A

Attributes

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

map a function f over fa

map a function f over fa

Attributes

def pure[A](a: A): IO[A]

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 methods

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

run op in the context environment.

run op in the context environment.

Attributes

Definition Classes
CpsTryMonadInstanceContext -> CpsMonad
Inherited from:
CpsTryMonadInstanceContext
def fromTry[A](r: Try[A]): F[A]

transform r into pure value or error.

transform r into pure value or error.

Attributes

Inherited from:
CpsTryMonad
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)

Attributes

Inherited from:
CpsMonad
def mapTry[A, B](fa: IO[A])(f: Try[A] => B): F[B]

map over result of checked evaluation of A

map over result of checked evaluation of A

Attributes

Inherited from:
CpsTryMonad
def mapTryAsync[A, B](fa: IO[A])(f: Try[A] => IO[B]): F[B]

synonym for flatMapTry needed for processing awaits inside mapTry.

synonym for flatMapTry needed for processing awaits inside mapTry.

Attributes

Inherited from:
CpsTryMonad
def restore[A](fa: IO[A])(fx: Throwable => IO[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.

Attributes

Inherited from:
CpsTryMonad
def tryImpure[A](a: => IO[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.

Attributes

Inherited from:
CpsTryMonad
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.

Attributes

Inherited from:
CpsTryMonad
def tryPureAsync[A](a: () => IO[A]): F[A]

async shift of tryPure.

async shift of tryPure.

Attributes

Inherited from:
CpsTryMonad
def withAction[A](fa: IO[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

Attributes

Inherited from:
CpsTryMonad
def withActionAsync[A](fa: IO[A])(action: () => IO[Unit]): F[A]

async shift of withAction.

async shift of withAction.

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

Attributes

Inherited from:
CpsTryMonad
def withAsyncAction[A](fa: IO[A])(action: => IO[Unit]): F[A]

return result of fa after completition of action.

return result of fa after completition of action.

Attributes

Inherited from:
CpsTryMonad
def withAsyncErrorHandler[A](fa: IO[A])(f: Throwable => IO[A]): F[A]

Attributes

Inherited from:
CpsTrySupport
def withAsyncFinalizer[A](fa: IO[A])(f: => IO[Unit]): F[A]

Attributes

Inherited from:
CpsTrySupport