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)(`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])(`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)(`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)(`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)(`evidence$1`: _errorOrOk[R]): Eff[R, A]

create an Eff value from a computation

create an Eff value from a computation