Struct lark_ty::Generics

pub struct Generics<F: TypeFamily> { /* fields omitted */ }

A set of generic arguments; e.g., in a type like Vec<i32>, this would be [i32].

Methods

impl<F: TypeFamily> Generics<F>

pub fn empty() -> Self

pub fn is_empty(&self) -> bool

pub fn is_not_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn iter(
    &self
) -> impl Iterator<Item = Generic<F>> + '_

pub fn elements(&self) -> &[Generic<F>]

pub fn push(&mut self, generic: Generic<F>)

Append an item to this vector; if this set of generics is shared, this will clone the contents so that we own them privately. (Effectively generic lists are a copy-on-write data structure.)

Trait Implementations

impl<S, T> Map<S, T> for Generics<S> where
    S: TypeFamily,
    T: TypeFamily, 

type Output = Generics<T>

fn map(
    &self,
    mapper: &mut impl FamilyMapper<S, T>
) -> Self::Output

impl<F: Clone + TypeFamily> Clone for Generics<F>

fn clone(&self) -> Generics<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: TypeFamily, 'iter> IntoIterator for &'iter Generics<F>

type IntoIter = Cloned<Iter<'iter, Generic<F>>>

Which kind of iterator are we turning this into?

type Item = Generic<F>

The type of the elements being iterated over.

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<F: Eq + TypeFamily> Eq for Generics<F>

impl<F> Extend<GenericKind<Ty<F>>> for Generics<F> where
    F: TypeFamily, 

Append items to this generics, cloning if it is shared with others. (Generics are effectively a simple persistent vector.)

fn extend<T>(&mut self, iter: T) where
    T: IntoIterator<Item = Generic<F>>, 

Extends a collection with the contents of an iterator.

impl<F: PartialEq + TypeFamily> PartialEq<Generics<F>> for Generics<F>

fn eq(&self, other: &Generics<F>) -> bool

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

fn ne(&self, other: &Generics<F>) -> bool

This method tests for !=.

impl<F: Hash + TypeFamily> Hash for Generics<F>

fn hash<__HF: Hasher>(&self, state: &mut __HF)

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<F> Index<BoundVar> for Generics<F> where
    F: TypeFamily, 

type Output = Generic<F>

The returned type after indexing.

fn index(&self, index: BoundVar) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<F: TypeFamily> FromIterator<GenericKind<Ty<F>>> for Generics<F>

fn from_iter<T>(iter: T) -> Self where
    T: IntoIterator<Item = Generic<F>>, 

Creates a value from an iterator.

impl<F: Debug + TypeFamily> Debug for Generics<F>

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

Formats the value using the given formatter.

impl<F: TypeFamily> DebugWith for Generics<F>

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,