Enum lark_ty::GenericKind

pub enum GenericKind<T> {
    Ty(T),
}

An enum that lists out the various "kinds" of generic arguments (currently only types) and a distinct type of value for each kind.

Variants

Ty(T)

Methods

impl<T> GenericKind<T>

pub fn assert_ty(self) -> T

Trait Implementations

impl<T: Eq> Eq for GenericKind<T>

impl<T: Clone> Clone for GenericKind<T>

fn clone(&self) -> GenericKind<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

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<T: Copy> Copy for GenericKind<T>

impl<T: PartialEq> PartialEq<GenericKind<T>> for GenericKind<T>

fn eq(&self, other: &GenericKind<T>) -> bool

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

fn ne(&self, other: &GenericKind<T>) -> bool

This method tests for !=.

impl<T: Hash> Hash for GenericKind<T>

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

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: 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<T: Debug> Debug for GenericKind<T>

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

Formats the value using the given formatter.

impl<T: DebugWith> DebugWith for GenericKind<T>

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,