Struct fungi_lang::bitype::Der
[−]
[src]
pub struct Der<Rule: HasClas + DerRule> { pub ctx: Ctx, pub dir: Dir<Rule>, pub rule: Rc<Rule>, pub clas: Result<Rule::Clas, TypeError>, pub vis: DerVis, }
Typing derivation: A context (ctx
), a direction (dir
), a classifier (type, sort, etc) and a rule (rule
).
Fields
ctx: Ctx
dir: Dir<Rule>
rule: Rc<Rule>
clas: Result<Rule::Clas, TypeError>
vis: DerVis
Methods
impl<Rule: HasClas + DerRule> Der<Rule>
[src]
Trait Implementations
impl<Rule: Clone + HasClas + DerRule> Clone for Der<Rule> where
Rule::Clas: Clone,
[src]
Rule::Clas: Clone,
fn clone(&self) -> Der<Rule>
[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<Rule: Debug + HasClas + DerRule> Debug for Der<Rule> where
Rule::Clas: Debug,
[src]
Rule::Clas: Debug,
impl<Rule: Eq + HasClas + DerRule> Eq for Der<Rule> where
Rule::Clas: Eq,
[src]
Rule::Clas: Eq,
impl<Rule: PartialEq + HasClas + DerRule> PartialEq for Der<Rule> where
Rule::Clas: PartialEq,
[src]
Rule::Clas: PartialEq,
fn eq(&self, __arg_0: &Der<Rule>) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &Der<Rule>) -> bool
[src]
This method tests for !=
.
impl<Rule: Hash + HasClas + DerRule> Hash for Der<Rule> where
Rule::Clas: Hash,
[src]
Rule::Clas: Hash,