turbolift-core/turbolift.std_effects/ErrorEffect

ErrorEffect

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

Type members

Classlikes

object handlers

Inherited classlikes

abstract class Proxy[Fx] extends ProxyWithParam[Fx] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter
Inherited from:
CanInterpret
object ThisHandler
Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
final override type ThisEffect = Effect
Inherited from:
Effect
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]
Inherited from:
CanInterpret
final override type ThisSignature = Z
Inherited from:
Effect

Value members

Concrete methods

final def fromEither[A](x: Either[E1, A]): Computation[A, ErrorEffect[E, E1]]
final def fromOption[A](x: Option[A])(e: => E1): Computation[A, ErrorEffect[E, E1]]
final def fromTry[A](x: Try[A])(implicit ev: Throwable <:< E1): Computation[A, ErrorEffect[E, E1]]
final def handler(implicit E: E1 =:= E): Free[[_] =>> Either[E, _$4]]
final override def katch[A, U <: ErrorEffect[E, E1]](body: Computation[A, U])(f: E => Computation[A, U]): Computation[A, U]
Definition Classes
final override def raise(e: E1): Computation[Nothing, ErrorEffect[E, E1]]
Definition Classes
final def raise[K, V1](k: K, v: V1)(implicit ev: (K, V1) <:< E1): Computation[Unit, ErrorEffect[E, E1]]
final override def raises(e: E): Computation[Nothing, ErrorEffect[E, E1]]
Definition Classes
final def raises[K, V](k: K, v: V)(implicit ev: (K, V) <:< E): Computation[Unit, ErrorEffect[E, E1]]

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[ErrorEffect[E, E1], Fx2]
Inherited from:
Effect
final def perform[A, U <: ThisEffect](f: ErrorSig[E, E1] & Apply[U] => A !@! U { def apply(z: ErrorSig[E, E1] & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform
final override def signatures: Array[Signature]
Definition Classes
Effect -> CanInterpret
Inherited from:
Effect