Struct fungi_lang::bitype::Der

pub struct Der<Rule: HasClas + DerRule> {
    pub ctx: Ctx,
    pub dir: Dir<Rule>,
    pub term: Rc<Rule::Term>,
    pub clas: Result<Rule::Clas, TypeError>,
    pub rule: Rc<Rule>,
    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>

term: Rc<Rule::Term>

clas: Result<Rule::Clas, TypeError>

rule: Rc<Rule>

vis: DerVis

Methods

impl<Rule: HasClas + DerRule> Der<Rule>

pub fn is_err(&self) -> bool

pub fn is_ok(&self) -> bool

Trait Implementations

impl<Rule: Clone + HasClas + DerRule> Clone for Der<Rule> where     Rule::Term: Clone,     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::Term: Debug,     Rule::Clas: Debug,

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

Formats the value using the given formatter.

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

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

fn hash<__HRule: Hasher>(&self, state: &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].

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

fn eq(&self, other: &Self) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.