Struct TypeTable

pub struct TypeTable<T, Name = Var>(/* private fields */)
where
    Name: Hash + Eq;

Implementations

impl<K: Hash + Eq, V> TypeTable<V, K>

pub fn empty() -> Self

pub fn remove<Q>(&mut self, key: &Q)

where K: Borrow<Q>, Q: Hash + Eq,

pub fn keys(&self) -> impl Iterator<Item = &K>

impl TypeTable<Vec<MonomorphicType>>

pub fn push(&mut self, key: impl Into<Var>, value: impl Into<MonomorphicType>)

pub fn get<K>(&self, key: &K) -> Cow<'_, [MonomorphicType]>

where Var: Borrow<K>, K: Hash + Eq,

pub fn single(key: impl Into<Var>, value: impl Into<MonomorphicType>) -> Self

pub fn merge_many( iter: impl IntoIterator<Item = AssumptionSet>, ) -> AssumptionSet

impl TypeTable<PolymorphicType>

pub fn substitute_mut(&mut self, substitutions: &Substitutions) -> &mut Self

pub fn push(&mut self, key: impl Into<Var>, value: impl Into<PolymorphicType>)

pub fn iter(&self) -> impl Iterator<Item = (&Var, &PolymorphicType)>

Trait Implementations

impl<K, V> Add<&TypeTable<V, K>> for TypeTable<V, K>

where K: Hash + Eq, Self: Clone + TypeTableOps,

type Output = TypeTable<V, K>

The resulting type after applying the + operator.

fn add(self, rhs: &TypeTable<V, K>) -> Self::Output

Performs the + operation.

impl<K, V> Add for TypeTable<V, K>

where K: Hash + Eq, Self: TypeTableOps,

type Output = TypeTable<V, K>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<T: Clone, Name> Clone for TypeTable<T, Name>

where Name: Hash + Eq + Clone,

fn clone(&self) -> TypeTable<T, Name>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<K: Hash + Eq, V> Debug for TypeTable<V, K>

where Self: Display,

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

Formats the value using the given formatter.

impl<K: Hash + Eq, V> Default for TypeTable<V, K>

fn default() -> Self

Returns the “default value” for a type.

impl<T: PartialEq, Name> PartialEq for TypeTable<T, Name>

where Name: Hash + Eq + PartialEq,

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T, Name> StructuralPartialEq for TypeTable<T, Name>

where Name: Hash + Eq,