Enum fungi_lang::bitype::DeclClas
[−]
[src]
pub enum DeclClas { Sort(Sort), Kind(Kind), Type(Type), CEffect(CEffect), }
Classifier for declared object in a module
Variants
Sort(Sort)
Classifier g
for name terms N
and index terms i
Kind(Kind)
Classifier K
for types A
Type(Type)
Classifier A
for values v
CEffect(CEffect)
Classifier E
for function bodies e
(implied thunk type is Thk[0] E
)
Trait Implementations
impl Clone for DeclClas
[src]
fn clone(&self) -> DeclClas
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl Debug for DeclClas
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Eq for DeclClas
[src]
impl PartialEq for DeclClas
[src]
fn eq(&self, __arg_0: &DeclClas) -> bool
[src]
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, __arg_0: &DeclClas) -> bool
[src]
This method tests for !=
.