ErrorCreation

org.specs2.control.eff.ErrorCreation
trait ErrorCreation[F] extends ErrorTypes[F]

Attributes

Graph
Supertypes
trait ErrorTypes[F]
class Object
trait Matchable
class Any
Known subtypes
trait ErrorEffect[F]
object ErrorEffect.type

Members list

Type members

Inherited types

type Error = Either[Throwable, F]

type of errors: exceptions or failure messages

type of errors: exceptions or failure messages

Attributes

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

Attributes

Inherited from:
ErrorTypes

Attributes

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

Attributes

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

Attributes

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

Attributes

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

create an Eff value from an exception

create an Eff value from an exception

Attributes

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

create an Eff value from a failure

create an Eff value from a failure

Attributes

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

create an Eff value from a computation

create an Eff value from a computation

Attributes