Enum fungi_lang::reduce::Stuck
source · pub enum Stuck {
Show 17 variants
LamNonAppCont,
HostEvalFnNonAppCont,
RetNonLetCont,
RefNonName,
ThunkNonName,
SplitNonPair,
CaseNonInj,
IfNonBool,
GetNonRef,
ForceNonThunk,
NatPrim,
NameBin,
UnrollNonRoll,
UnpackNonPack,
WriteScope,
NameFnApp,
RefThunkNonThunk,
}
Expand description
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
LamNonAppCont
HostEvalFnNonAppCont
RetNonLetCont
RefNonName
ThunkNonName
SplitNonPair
CaseNonInj
IfNonBool
GetNonRef
ForceNonThunk
NatPrim
NameBin
UnrollNonRoll
UnpackNonPack
WriteScope
NameFnApp
RefThunkNonThunk
Trait Implementations
impl Eq for Stuck
impl StructuralEq for Stuck
impl StructuralPartialEq for Stuck
Auto Trait Implementations
impl RefUnwindSafe for Stuck
impl Send for Stuck
impl Sync for Stuck
impl Unpin for Stuck
impl UnwindSafe for Stuck
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more