Enum fungi_lang::bitype::IdxTmRule
[−]
[src]
pub enum IdxTmRule { Var(Var), Sing(NmTmDer), Empty, Apart(IdxTmDer, IdxTmDer), Union(IdxTmDer, IdxTmDer), Unit, Pair(IdxTmDer, IdxTmDer), Proj1(IdxTmDer), Proj2(IdxTmDer), Lam(Var, Sort, IdxTmDer), App(IdxTmDer, IdxTmDer), Map(NmTmDer, IdxTmDer), FlatMap(IdxTmDer, IdxTmDer), Star(IdxTmDer, IdxTmDer), NoParse(String), }
Index term sorting rule
Variants
Var(Var)
Sing(NmTmDer)
Empty
Apart(IdxTmDer, IdxTmDer)
Union(IdxTmDer, IdxTmDer)
Unit
Pair(IdxTmDer, IdxTmDer)
Proj1(IdxTmDer)
Proj2(IdxTmDer)
Lam(Var, Sort, IdxTmDer)
App(IdxTmDer, IdxTmDer)
Map(NmTmDer, IdxTmDer)
FlatMap(IdxTmDer, IdxTmDer)
Star(IdxTmDer, IdxTmDer)
NoParse(String)
Trait Implementations
impl Clone for IdxTmRule
[src]
fn clone(&self) -> IdxTmRule
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Debug for IdxTmRule
[src]
impl Eq for IdxTmRule
[src]
impl PartialEq for IdxTmRule
[src]
fn eq(&self, __arg_0: &IdxTmRule) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &IdxTmRule) -> bool
[src]
This method tests for !=
.
impl Hash for IdxTmRule
[src]
fn hash<__H: Hasher>(&self, __arg_0: &mut __H)
[src]
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]
H: Hasher,
Feeds a slice of this type into the given [Hasher
]. Read more