ErrorEffect

Type Members

type Error = \/[Throwable, String]

type of errors: exceptions or failure messages
type of errors: exceptions or failure messages

Definition Classes
ErrorTypes
type ErrorOrOk[A] = \/[Error, Need[A]]

base type for this effect: either an error or a computation to evaluate scala.Name represents "by-name" value: values not yet evaluated
base type for this effect: either an error or a computation to evaluate scala.Name represents "by-name" value: values not yet evaluated

Definition Classes
ErrorTypes

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def andFinally[R <: Effects, A](action: Eff[R, A], last: Eff[R, Unit])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action whether the first is successful or not

Definition Classes
ErrorInterpretation
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def error[R, A](error: Error)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

create an Eff value from an error
create an Eff value from an error

Definition Classes
ErrorCreation
def eval[R, A](a: EvalEffect.Eval[A])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

create an Eff value from a computation
create an Eff value from a computation

Definition Classes
ErrorCreation
def exception[R, A](t: Throwable)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

create an Eff value from an exception
create an Eff value from an exception

Definition Classes
ErrorCreation
def fail[R, A](failure: String)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

create an Eff value from a failure
create an Eff value from a failure

Definition Classes
ErrorCreation
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def ok[R, A](a: ⇒ A)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

create an Eff value from a computation
create an Eff value from a computation

Definition Classes
ErrorCreation
def orElse[R <: Effects, A](action: Eff[R, A], onError: Eff[R, A])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action if the first one is not successful

Definition Classes
ErrorInterpretation
def render(t: Throwable): String
def renderWithStack(t: Throwable): String
def runError[R <: Effects, U <: Effects, A](r: Eff[R, A])(implicit m: Aux[ErrorOrOk, R, U]): Eff[U, \/[Error, A]]

Run an error effect.
Run an error effect.
Stop all computation if there is an exception or a failure.

Definition Classes
ErrorInterpretation
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def trace(t: Throwable): String
def traceWithIndent(t: Throwable, indent: String): String
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def whenFailed[R <: Effects, A](action: Eff[R, A], onError: (Error) ⇒ Eff[R, A])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

evaluate 1 action possibly having error effects
evaluate 1 action possibly having error effects
Execute a second action if the first one is not successful, based on the error

Definition Classes
ErrorInterpretation

Related Docs: trait ErrorEffect | package eff

object ErrorEffect extends ErrorEffect[String]

Type Members

type Error = \/[Throwable, String]

type ErrorOrOk[A] = \/[Error, Need[A]]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def andFinally[R <: Effects, A](action: Eff[R, A], last: Eff[R, Unit])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def error[R, A](error: Error)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

def eval[R, A](a: EvalEffect.Eval[A])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

def exception[R, A](t: Throwable)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

def fail[R, A](failure: String)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def ok[R, A](a: ⇒ A)(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

def orElse[R <: Effects, A](action: Eff[R, A], onError: Eff[R, A])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

def render(t: Throwable): String

def renderWithStack(t: Throwable): String

def runError[R <: Effects, U <: Effects, A](r: Eff[R, A])(implicit m: Aux[ErrorOrOk, R, U]): Eff[U, \/[Error, A]]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def trace(t: Throwable): String

def traceWithIndent(t: Throwable, indent: String): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

def whenFailed[R <: Effects, A](action: Eff[R, A], onError: (Error) ⇒ Eff[R, A])(implicit m: <=[ErrorOrOk, R]): Eff[R, A]

Inherited from ErrorEffect[String]

Inherited from ErrorInterpretation[String]

Inherited from ErrorCreation[String]

Inherited from ErrorTypes[String]

Inherited from AnyRef

Inherited from Any

Ungrouped