Enum lark_ty::BoundVarOr

pub enum BoundVarOr<T> {
    BoundVar(BoundVar),
    Known(T),
}

A "bound variable" refers to one of the generic type parameters in scope within a declaration. So, for example, if you have struct Foo<T> { x: T }, then the bound var #0 would be T.

Variants

BoundVar(BoundVar)Known(T)

Methods

impl<T> BoundVarOr<T>

pub fn assert_known(self) -> T

Trait Implementations

impl<T: Eq> Eq for BoundVarOr<T>

impl<T: Clone> Clone for BoundVarOr<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: PartialEq> PartialEq<BoundVarOr<T>> for BoundVarOr<T>

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

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

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

This method tests for !=.

impl<T: Hash> Hash for BoundVarOr<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<T: Debug> Debug for BoundVarOr<T>

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

Formats the value using the given formatter.

impl<T: DebugWith> DebugWith for BoundVarOr<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, 

impl Intern<DeclarationTables> for BoundVarOr<BaseData<Declaration>>

type Key = Base

fn intern(self, tables: &dyn AsRef<DeclarationTables>) -> Base

impl InternDirect<DeclarationTables> for BoundVarOr<BaseData<Declaration>>

fn table(
    tables: &dyn AsRef<DeclarationTables>
) -> &RwLock<InternTable<Base, BoundVarOr<BaseData<Declaration>>>>