Struct fungi_lang::bitype::Der

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>

fn is_err(&self) -> bool

fn is_ok(&self) -> bool

Trait Implementations

impl<Rule: Clone + HasClas + DerRule> Clone for Der<Rule> where
    Rule::Clas: Clone, 

fn clone(&self) -> Der<Rule>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Rule: Debug + HasClas + DerRule> Debug for Der<Rule> where
    Rule::Clas: Debug, 

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Rule: Eq + HasClas + DerRule> Eq for Der<Rule> where
    Rule::Clas: Eq, 

impl<Rule: PartialEq + HasClas + DerRule> PartialEq for Der<Rule> where
    Rule::Clas: PartialEq, 

fn eq(&self, __arg_0: &Der<Rule>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Der<Rule>) -> bool

This method tests for !=.

impl<Rule: Hash + HasClas + DerRule> Hash for Der<Rule> where
    Rule::Clas: Hash, 

fn hash<__HRule: Hasher>(&self, __arg_0: &mut __HRule)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].