Struct fungi_lang::bitype::Ext

pub struct Ext {
    pub last_label: Option<Rc<String>>,
    pub write_scope: NameTm,
}

"Extra" typing information carried by the typing judgements

Fields

last_label: Option<Rc<String>>

The last programmer-chosen label encountered in the AST; for visualizations, error messages, etc.

write_scope: NameTm

Write scope, as a (sorted) name term function (of sort Nm -> Nm).

Methods

impl Ext

pub fn empty() -> Ext

Trait Implementations

impl Clone for Ext

fn clone(&self) -> Ext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ext

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

Formats the value using the given formatter.

impl Eq for Ext

impl PartialEq for Ext

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

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

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

This method tests for !=.

impl Hash for Ext

fn hash<__H: Hasher>(&self, state: &mut __H)

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].