Enum fungi_lang::decide::effect::Error

pub enum Error {
    CannotSubtractFromIdxTm(IdxTm, IdxTm),
    CannotSubtractFromVar(Var, IdxTm),
    CannotSubtractNmSetTmFromNmSet(NmSet, NmSetTm),
    CannotSubtract(Effect, Effect),
    CannotSequence(Effect, Effect),
    CannotDecideReadSubset(Rc<DecError>),
    TODO,
}

Effect-related decision errors

Variants

CannotSubtractFromIdxTm(IdxTm, IdxTm)

Cannot subtract the second index term from the first

CannotSubtractFromVar(Var, IdxTm)

Cannot subtract structure from a variable with unknown structure

CannotSubtractNmSetTmFromNmSet(NmSet, NmSetTm)

Cannot subtract a name set term from a name set

CannotSubtract(Effect, Effect)

The Archivist cannot subtract the second effect from the first

CannotSequence(Effect, Effect)

The Archivist cannot sequence the two effects

CannotDecideReadSubset(Rc<DecError>)

The Archivist cannot prove that the current effect typing context permits a given read set

TODO

TODO

Trait Implementations

impl Clone for Error

fn clone(&self) -> Error

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Error

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

Formats the value using the given formatter.

impl Eq for Error

impl PartialEq for Error

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Hash for Error

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where     H: Hasher,

Feeds a slice of this type into the given [Hasher].