Enum fungi_lang::decide::apart::IdxTmRule [−][src]
pub enum IdxTmRule { Var(Var2), Sym(IdxTmDec), Proj1(IdxTmDec), Proj2(IdxTmDec), Lam(Var2, Sort, IdxTmDec), App(IdxTmDec, IdxTmDec), Beta(IdxTmDec, IdxTmDer, IdxTmDer), Empty(NmTmDec), Sing(NmTmDec), Apart(IdxTmDec, IdxTmDec), Map(NmTmDec, IdxTmDec), FlatMap(IdxTmDec, IdxTmDec), FlatMapStar(IdxTmDec, IdxTmDec), NoParse(String), }
Index term apartness rules
Fig. 29 of https://arxiv.org/abs/1610.00097v5
Variants
Var(Var2)
Sym(IdxTmDec)
Proj1(IdxTmDec)
Proj2(IdxTmDec)
Lam(Var2, Sort, IdxTmDec)
App(IdxTmDec, IdxTmDec)
Beta(IdxTmDec, IdxTmDer, IdxTmDer)
Empty(NmTmDec)
Sing(NmTmDec)
Apart(IdxTmDec, IdxTmDec)
Map(NmTmDec, IdxTmDec)
FlatMap(IdxTmDec, IdxTmDec)
FlatMapStar(IdxTmDec, IdxTmDec)
NoParse(String)
Trait Implementations
impl Clone for IdxTmRule
[src]
impl Clone for IdxTmRule
fn clone(&self) -> IdxTmRule
[src]
fn clone(&self) -> IdxTmRule
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
1.0.0
[src]Performs copy-assignment from source
. Read more
impl Debug for IdxTmRule
[src]
impl Debug for IdxTmRule
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl Eq for IdxTmRule
[src]
impl Eq for IdxTmRule
impl PartialEq for IdxTmRule
[src]
impl PartialEq for IdxTmRule
fn eq(&self, other: &IdxTmRule) -> bool
[src]
fn eq(&self, other: &IdxTmRule) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &IdxTmRule) -> bool
[src]
fn ne(&self, other: &IdxTmRule) -> bool
This method tests for !=
.
impl Hash for IdxTmRule
[src]
impl Hash for IdxTmRule
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
Feeds this value into the given [Hasher
]. Read more
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0
[src]Feeds a slice of this type into the given [Hasher
]. Read more
impl HasClas for IdxTmRule
[src]
impl HasClas for IdxTmRule