Type Alias AssumptionSet

pub type AssumptionSet = TypeTable<Vec<MonomorphicType>, Var>;

Aliased Type

pub struct AssumptionSet(/* private fields */);

Implementations

impl AssumptionSet

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

Trait Implementations

impl Display for AssumptionSet

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

Formats the value using the given formatter.

impl TypeTableOps for AssumptionSet

fn merge(&mut self, other: Self)