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 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

Predefined handlers for this effect.

Predefined handlers for this effect.

Inherited classlikes

abstract class Proxy[Fx] extends Proxy[Fx] with ThisInterpreter

Base class for user-defined Proxy Interpreter for this effect.

Base class for user-defined Proxy Interpreter for this effect.

Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter

Base class for user-defined Stateful Interpreter for this effect.

Base class for user-defined Stateful Interpreter for this effect.

Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter

Base class for user-defined Stateless Interpreter for this effect.

Base class for user-defined Stateless Interpreter for this effect.

Inherited from:
CanInterpret
object ThisHandler

Defines type aliases for Handler, specialized to eliminate this effect.

Defines type aliases for Handler, specialized to eliminate this effect.

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]

Alias for Handler, specialized to eliminate this effect.

Alias for Handler, specialized to eliminate this effect.

Inherited from:
CanInterpret

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]]

Default handler for this effect.

Default handler for this effect.

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]

Combines with another Effect instance, so that a single Handler for 2 effects can be created.

Combines with another Effect instance, so that a single Handler for 2 effects can be created.

Inherited from:
Effect
final def perform[A, U <: ThisEffect](f: ErrorSig[E, E1] & Signature { type ThisEffect = U; } => A !@! U { def apply(z: ErrorSig[E, E1] & Signature { type ThisEffect = U; }): A !@! U; }): Computation[A, U]

Lifts an invocation of this Signature's method into the Computation monad.

Lifts an invocation of this Signature's method into the Computation monad.

The purpose of perform is similar to:

  • send function form various effect systems (Eff monad, etc.)
  • serviceWith from ZIO 1.x.
  • serviceWithZIO from ZIO 2.x.

⚠️ Scaladoc displays the definition of perform as more complex than it actually is:

final def perform[A, U <: ThisEffect](f: (z: Z & Signature { type ThisEffect = U }) => z.!@![A, U]): A !! U
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]

Like !!.pure(a), but with effect-set up-casted to ThisEffect

Like !!.pure(a), but with effect-set up-casted to ThisEffect

Inherited from:
CanPerform