ErrorSignature

turbolift.effects.ErrorSignature
trait ErrorSignature[E, E1] extends Signature

Attributes

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorG[M, K, V]
trait ErrorGK[M, K, F, V]
trait ErrorK[F, E]

Members list

Type members

Inherited and Abstract types

type ThisEffect

Self-reference to the effect being described by this Signature.

Self-reference to the effect being described by this Signature.

Becomes an alias of this.type, once the signature is inherited from Effect.

Attributes

Inherited from:
Signature

Value members

Abstract methods

def catchAllEff[A, U <: ThisEffect](body: Computation[A, U])(f: E => Computation[A, U]): Computation[A, U]
def raise(e: E1): Computation[Nothing, ThisEffect]
def raises(e: E): Computation[Nothing, ThisEffect]
def toEither[A, U <: ThisEffect](body: Computation[A, U]): Computation[Either[E, A], U]