Struct lark_ty::GenericDeclarations

pub struct GenericDeclarations {
    pub parent_item: Option<Entity>,
    pub declarations: IndexVec<BoundVar, GenericKind<GenericTyDeclaration>>,
}

The "generic declarations" list out the generic parameters for a given item. Since items inherit generic items from one another (e.g., from their parents),

Fields

parent_item: Option<Entity>

declarations: IndexVec<BoundVar, GenericKind<GenericTyDeclaration>>

Methods

impl GenericDeclarations

pub fn empty(parent_item: Option<Entity>) -> Arc<Self>

pub fn is_empty(&self) -> bool

Trait Implementations

impl Eq for GenericDeclarations

impl Clone for GenericDeclarations

fn clone(&self) -> GenericDeclarations

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<GenericDeclarations> for GenericDeclarations

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

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

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

This method tests for !=.

impl Default for GenericDeclarations

fn default() -> GenericDeclarations

Returns the "default value" for a type.

impl Hash for GenericDeclarations

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

impl Debug for GenericDeclarations

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

Formats the value using the given formatter.

impl DebugWith for GenericDeclarations

fn fmt_with<Cx: ?Sized>(&self, cx: &Cx, fmt: &mut Formatter) -> Result

fn debug_with<Cx>(&'me self, cx: &'me Cx) -> DebugCxPair<'me, &'me Self, Cx> where
    Cx: ?Sized, 

fn into_debug_with<Cx>(self, cx: &'me Cx) -> DebugCxPair<'me, Self, Cx> where
    Cx: ?Sized,