Enum fungi_lang::decide::subset::IdxTmRule
source · pub enum IdxTmRule {
Show 21 variants
Var(Var2),
Refl(IdxTmDer),
Sing(NmTmDec),
Empty,
Apart(IdxTmDec, IdxTmDec),
Union(IdxTmDec, IdxTmDec),
Bin(IdxTmDec, IdxTmDec),
Unit,
Pair(IdxTmDec, IdxTmDec),
Proj1(IdxTmDec),
Proj2(IdxTmDec),
Lam(Var2, Sort, IdxTmDec),
App(IdxTmDec, IdxTmDec),
Map(NmTmDec, IdxTmDec),
FlatMap(IdxTmDec, IdxTmDec),
FlatMapStar(IdxTmDec, IdxTmDec),
EmptySet,
SubsetRefl(NmSetTm),
Subset(NmSet, NmSet),
NoParse(String),
Fail,
}
Expand description
Index term equivalence rules
Variants
Var(Var2)
Refl(IdxTmDer)
Sing(NmTmDec)
Empty
Apart(IdxTmDec, IdxTmDec)
Union(IdxTmDec, IdxTmDec)
Bin(IdxTmDec, IdxTmDec)
Unit
Pair(IdxTmDec, IdxTmDec)
Proj1(IdxTmDec)
Proj2(IdxTmDec)
Lam(Var2, Sort, IdxTmDec)
App(IdxTmDec, IdxTmDec)
Map(NmTmDec, IdxTmDec)
FlatMap(IdxTmDec, IdxTmDec)
FlatMapStar(IdxTmDec, IdxTmDec)
EmptySet
SubsetRefl(NmSetTm)
Subset(NmSet, NmSet)
NoParse(String)
Fail
Trait Implementations
impl Eq for IdxTmRule
impl StructuralEq for IdxTmRule
impl StructuralPartialEq for IdxTmRule
Auto Trait Implementations
impl !RefUnwindSafe for IdxTmRule
impl !Send for IdxTmRule
impl !Sync for IdxTmRule
impl Unpin for IdxTmRule
impl !UnwindSafe for IdxTmRule
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