ErrorCreation

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

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

Value members

Concrete methods

def error[R : _errorOrOk, A](error: Error): Eff[R, A]

create an Eff value from an error

create an Eff value from an error

def eval[R : _errorOrOk, A](a: Name[A]): Eff[R, A]

create an Eff value from a computation

create an Eff value from a computation

def exception[R : _errorOrOk, A](t: Throwable): Eff[R, A]

create an Eff value from an exception

create an Eff value from an exception

def fail[R : _errorOrOk, A](failure: F): Eff[R, A]

create an Eff value from a failure

create an Eff value from a failure

def ok[R : _errorOrOk, A](a: => A): Eff[R, A]

create an Eff value from a computation

create an Eff value from a computation