Enum fungi_lang::bitype::DeclRule

pub enum DeclRule {
    UseAll(UseAllModuleDer),
    NmTm(String, NmTmDer),
    IdxTm(String, IdxTmDer),
    Type(String, Type),
    Val(String, ValDer),
    Fn(String, ValDer),
}

Module declaration typing rule

Variants

UseAll(UseAllModuleDer)NmTm(String, NmTmDer)IdxTm(String, IdxTmDer)Type(String, Type)Val(String, ValDer)Fn(String, ValDer)

Trait Implementations

impl DerRule for DeclRule

fn term_desc() -> &'static str

short term family description

fn short(&self) -> &str

short name for rule

impl Clone for DeclRule

fn clone(&self) -> DeclRule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DeclRule

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

Formats the value using the given formatter.

impl Eq for DeclRule

impl PartialEq for DeclRule

fn eq(&self, __arg_0: &DeclRule) -> bool

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

fn ne(&self, __arg_0: &DeclRule) -> bool

This method tests for !=.

impl Hash for DeclRule

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

impl HasClas for DeclRule

type Term = ()

type Clas = DeclClas

fn tm_fam() -> String