Enum PanicKind 

pub enum PanicKind {
    Overflow,
    DivideByZero,
    DecodeError,
    TypeError,
    DerivationError,
    CapiMisuse,
    Internal,
}

The classification of a runtime failure.

This is the panic effect made concrete (design §3.3): anything that can go wrong at runtime is one of these kinds, and hosts receive it through the C ABI as a structured error, never as an unwind.

Variants

Overflow

Integer overflow in an arithmetic primitive.

DivideByZero

Zero divisor in integer / or %.

DecodeError

Input JSON rejected by type-directed decode.

TypeError

A value of the wrong shape reached an operation (defensive; the checker prevents this in checked code).

DerivationError

A derived operation (eq/compare/hash/show) was invoked on a type marked non-derivable, or reached a closure.

CapiMisuse

The C ABI was used against its documented contract (undefined TypeId, wrong arity, use after teardown).

Internal

A bug in the runtime itself, caught at the C ABI boundary.

Implementations

impl PanicKind

pub fn name(self) -> &'static str

Trait Implementations

impl Clone for PanicKind

fn clone(&self) -> PanicKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PanicKind

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

Formats the value using the given formatter.

impl PartialEq for PanicKind

fn eq(&self, other: &PanicKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for PanicKind

impl Eq for PanicKind

impl StructuralPartialEq for PanicKind