Enum LowerError 

pub enum LowerError {
    Store(Error),
    NotAModule,
    Hole,
    Effectful(String),
    UnknownCallee(String),
    UnresolvedRef(String),
    Unsupported(&'static str),
}

Why a tree could not be lowered. These are “not supported yet” or “not lowerable” conditions, distinct from store errors.

Variants

Store(Error)

NotAModule

The root was not a Module.

Hole

A hole was reached; an incomplete program cannot be lowered.

Effectful(String)

A function declares effects; only pure functions lower in step 3.

UnknownCallee(String)

A call named a function the module does not define.

UnresolvedRef(String)

A name did not resolve to a parameter or prior binding.

Unsupported(&'static str)

A construct the seed model does not lower yet.

Trait Implementations

impl Debug for LowerError

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

Formats the value using the given formatter.

impl Display for LowerError

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

Formats the value using the given formatter.

impl Error for LowerError

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.

impl From<Error> for LowerError

fn from(e: Error) -> Self

Converts to this type from the input type.