Enum fungi_lang::bitype::DeclClas
source · Expand description
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 Eq for DeclClas
impl StructuralEq for DeclClas
impl StructuralPartialEq for DeclClas
Auto Trait Implementations
impl RefUnwindSafe for DeclClas
impl !Send for DeclClas
impl !Sync for DeclClas
impl Unpin for DeclClas
impl UnwindSafe for DeclClas
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more