turbolift-core/turbolift.std_effects/ErrorSig

ErrorSig

trait ErrorSig[E, E1] extends Signature
trait Signature
class Object
trait Matchable
class Any
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorG[M, K, V]
trait ErrorGK[M, K, F, V]
trait ErrorK[F, E]

Type members

Inherited types

type !@![A, U]
Inherited from:
Signature
type ThisEffect
Inherited from:
Signature

Value members

Abstract methods

def katch[A, U <: ThisEffect](body: Computation[A, U])(f: E => Computation[A, U]): A !@! U
def raise(e: E1): Nothing !@! ThisEffect
def raises(e: E): Nothing !@! ThisEffect