core/org.atnos.eff/ErrorCreation

ErrorCreation

trait ErrorCreation[F] extends ErrorTypes[F]
trait ErrorTypes[F]
class Object
trait Matchable
class Any
trait ErrorEffect[F]

Type members

Inherited types

type Error = Either[Throwable, F]

type of errors: exceptions or failure messages

type of errors: exceptions or failure messages

Inherited from
ErrorTypes
type ErrorOrOk[A] = Evaluate[F, A]

base type for this effect: either an error or a computation to evaluate a "by-name" value

base type for this effect: either an error or a computation to evaluate a "by-name" value

Inherited from
ErrorTypes
type _ErrorOrOk[R] = Member[ErrorOrOk, R]
Inherited from
ErrorTypes
type _errorOrOk[R] = MemberIn[ErrorOrOk, R]
Inherited from
ErrorTypes

Value members

Concrete methods

def error[R, A](error: Error)(implicit evidence$3: _errorOrOk[R]): Eff[R, A]

create an Eff value from an error

create an Eff value from an error

def eval[R, A](a: Eval[A])(implicit evidence$2: _errorOrOk[R]): Eff[R, A]

create an Eff value from a computation

create an Eff value from a computation

def exception[R, A](t: Throwable)(implicit evidence$5: _errorOrOk[R]): Eff[R, A]

create an Eff value from an exception

create an Eff value from an exception

def fail[R, A](failure: F)(implicit evidence$4: _errorOrOk[R]): Eff[R, A]

create an Eff value from a failure

create an Eff value from a failure

def ok[R, A](a: => A)(implicit evidence$1: _errorOrOk[R]): Eff[R, A]

create an Eff value from a computation

create an Eff value from a computation