Enum EffectRuntimeError 

pub enum EffectRuntimeError {
    UnhandledEffect {
        effect: String,
        operation: String,
    },
    UnknownOperation {
        effect: String,
        operation: String,
    },
    MultipleResumeInClause {
        operation: String,
    },
    NoDischarge {
        operation: String,
    },
    ForwardWithoutOuterHandler {
        effect: String,
    },
    Internal(String),
}

Errors raised at runtime by the effects FSM.

All variants are CT-1 (compiler-bug) or CT-2 (program-bug) territory in the AXON blame calculus — the typechecker should have caught any well-formedness issue before lowering. The runtime surfaces them anyway so the FSM is operationally complete.

Variants

UnhandledEffect

Performed an effect that has no enclosing handler in scope. Typechecker D9 should reject this statically; if it gets here the compiler has a bug.

Fields

effect: String

operation: String

UnknownOperation

Performed an operation that does not exist on the named effect.

Fields

effect: String

operation: String

MultipleResumeInClause

Handler clause invoked resume more than once on a single path. Typechecker D10 should reject this statically.

Fields

operation: String

NoDischarge

Handler clause finished without invoking resume / abort / forward. Typechecker D10 should reject this statically.

Fields

operation: String

ForwardWithoutOuterHandler

forward invoked outside a handler clause body — same as a regular perform with no handler.

Fields

effect: String

Internal(String)

Generic dispatch error (panic-converted).

Trait Implementations

impl Debug for EffectRuntimeError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for EffectRuntimeError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for EffectRuntimeError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.