Enum fungi_lang::reduce::Stuck

pub enum Stuck {
    LamNonAppCont,
    HostEvalFnNonAppCont,
    RetNonLetCont,
    RefNonName,
    ThunkNonName,
    SplitNonPair,
    CaseNonInj,
    IfNonBool,
    GetNonRef,
    ForceNonThunk,
    NatPrim,
    NameBin,
    UnrollNonRoll,
    UnpackNonPack,
    WriteScope,
    NameFnApp,
    RefThunkNonThunk,
}

Dynamic type errors ("stuck cases" for reduction)

For each place in the reduce function where a dynamic type error may arise that prevents us from progressing, we give a constructor with the relevant information (first for documentation purposes, and secondly for future error messages).

Variants

LamNonAppContHostEvalFnNonAppContRetNonLetContRefNonNameThunkNonNameSplitNonPairCaseNonInjIfNonBoolGetNonRefForceNonThunkNatPrimNameBinUnrollNonRollUnpackNonPackWriteScopeNameFnAppRefThunkNonThunk

Trait Implementations

impl Clone for Stuck

fn clone(&self) -> Stuck

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Stuck

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

Formats the value using the given formatter.

impl Eq for Stuck

impl PartialEq for Stuck

fn eq(&self, other: &Stuck) -> 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 !=.

impl Hash for Stuck

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].