Enum TypedError 

pub enum TypedError {
    InvalidScalar {
        wit_name: String,
        token: String,
        reason: String,
    },
    InvalidBool(String),
    InvalidFelt(String),
    InvalidNumber {
        token: String,
        ty: String,
    },
    FeltOutOfRange(String),
    IntOutOfRange {
        token: String,
        ty: String,
    },
    ArgumentCount {
        procedure: String,
        expected: usize,
        actual: usize,
    },
    UnsupportedParameter {
        procedure: String,
    },
    UnsupportedResult {
        procedure: String,
    },
    ResultStackTooShort {
        procedure: String,
        expected: usize,
        actual: usize,
    },
    MalformedResult {
        ty: String,
        reason: &'static str,
    },
    InvalidTypeInfo {
        ty: String,
        reason: &'static str,
    },
    TokenCountMismatch,
    FeltCountMismatch,
    CodecWidthMismatch {
        wit_name: String,
        expected: usize,
        actual: usize,
    },
    UnsupportedCallConv {
        procedure: String,
        abi: String,
    },
    ZeroWidthArray {
        ty: String,
    },
    UnsupportedType(&'static str),
}

Errors from turning argument tokens into felts, or result felts into text, for a procedure signature.

Variants

InvalidScalar

We could not read a token for a WIT type that has a WitScalarCodec.

Fields

wit_name: String

token: String

reason: String

InvalidBool(String)

InvalidFelt(String)

InvalidNumber

We could not read a token as the number type the signature asks for.

Fields

token: String

ty: String

FeltOutOfRange(String)

IntOutOfRange

Fields

token: String

ty: String

ArgumentCount

Fields

procedure: String

expected: usize

actual: usize

UnsupportedParameter

Fields

procedure: String

UnsupportedResult

Fields

procedure: String

ResultStackTooShort

Fields

procedure: String

expected: usize

actual: usize

MalformedResult

The felts we got back are not a valid value of the type in the signature. If we printed them, a bad result would look like a good one.

Fields

ty: String

reason: &'static str

InvalidTypeInfo

ty names the type the problem is in. A signature shows a named struct as its name only, so a bad struct nested in one never appears there, and this is the only place it is named.

Fields

ty: String

reason: &'static str

TokenCountMismatch

The token count and the encoder do not agree on how many tokens a signature needs. Both walk the same types, so this is our bug, not bad input.

FeltCountMismatch

The felt count and the decoder do not agree on how many felts a signature returns. Same idea as Self::TokenCountMismatch, and also our bug.

CodecWidthMismatch

A codec made a different number of felts than its type takes on the stack. We stop here and do not put a value of the wrong width on the stack.

Fields

wit_name: String

expected: usize

actual: usize

UnsupportedCallConv

The calling convention says how a value is laid out in felts. We support one layout: the canonical one, with one stack slot per leaf field.

Fields

procedure: String

abi: String

ZeroWidthArray

An array whose elements take no felts. It reads nothing from the stack, so its length comes only from the type: [empty; 1_000_000] would be a million lines that say nothing.

Fields

ty: String

UnsupportedType(&'static str)

Trait Implementations

impl Debug for TypedError

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

Formats the value using the given formatter.

impl Display for TypedError

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

Formats the value using the given formatter.

impl Error for TypedError

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.