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 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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<Error> 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: &Rhs) -> bool

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

impl Serialize for Error

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Error

impl StructuralEq for Error

impl StructuralPartialEq for Error