Struct fungi_lang::bitype::TypeInfo

pub struct TypeInfo<TD: HasType> {
    pub dir: Dir,
    pub ctxt: TCtxt,
    pub typ: Result<TD::Type, TypeError>,
    pub node: Rc<TD>,
}

Fields

dir: Dir

ctxt: TCtxt

typ: Result<TD::Type, TypeError>

node: Rc<TD>

Methods

impl<A: HasType> TypeInfo<A>

fn is_err(&self) -> bool

fn is_ok(&self) -> bool

Trait Implementations

impl<TD: Clone + HasType> Clone for TypeInfo<TD> where
    TD::Type: Clone, 

fn clone(&self) -> TypeInfo<TD>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<TD: Debug + HasType> Debug for TypeInfo<TD> where
    TD::Type: Debug, 

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

Formats the value using the given formatter.

impl<TD: Eq + HasType> Eq for TypeInfo<TD> where
    TD::Type: Eq, 

impl<TD: PartialEq + HasType> PartialEq for TypeInfo<TD> where
    TD::Type: PartialEq, 

fn eq(&self, __arg_0: &TypeInfo<TD>) -> bool

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

fn ne(&self, __arg_0: &TypeInfo<TD>) -> bool

This method tests for !=.

impl<TD: Hash + HasType> Hash for TypeInfo<TD> where
    TD::Type: Hash, 

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

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