Enum FailCode 

#[repr(i32)]
pub enum FailCode {
    IndexOutOfBounds = 1,
    DivisionByZero = 2,
    InvalidUtf8 = 3,
    OutOfMemory = 4,
    ListIndexTooWide = 5,
    TextIndexTooWide = 6,
    ListStoreIndexTooWide = 7,
    IntTooWide = 8,
}

Why a compiled module stopped, for the failures whose message needs a runtime value.

Variants

IndexOutOfBounds = 1

item i of xs where i names no element. The value is the index the program asked for.

DivisionByZero = 2

An integer division or modulo by zero. The value is unused.

InvalidUtf8 = 3

text_from_bytes(bytes) where the bytes are not valid UTF-8. The value is unused: the reference tier appends the standard library’s own description of the fault, which a compiled module has no way to reproduce, so the module reports the sentence they share.

OutOfMemory = 4

The allocator could not grow linear memory far enough for the next allocation. The value is unused: there is nothing more specific to report than the shape of the failure itself.

ListIndexTooWide = 5

item i of xs on a list, where i is an integer past a machine word. The value is unused: the reference tier names the index’s type, not its digits.

TextIndexTooWide = 6

item i of t on a Text, where i is an integer past a machine word. The value is unused.

ListStoreIndexTooWide = 7

Set item i of xs to v, where i is an integer past a machine word. The value is unused.

IntTooWide = 8

An integer past a machine word reaching a place the module holds a machine word: an element, a field, a builtin’s argument. The value is unused.

Implementations

impl FailCode

pub fn code(self) -> i32

The wire value the module reports. Append-only.

Trait Implementations

impl Clone for FailCode

fn clone(&self) -> FailCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FailCode

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

Formats the value using the given formatter.

impl PartialEq for FailCode

fn eq(&self, other: &FailCode) -> 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 FailCode

impl Eq for FailCode

impl StructuralPartialEq for FailCode