Struct Substitutions 

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

Implementations

impl Substitutions

pub fn compose(&self, other: &Substitutions) -> Self

pub fn merge(&mut self, other: Substitutions)

pub fn empty() -> Substitutions

pub fn single(from: TVar, to: MonomorphicType) -> Substitutions

pub fn get(&self, key: &TVar) -> Option<&MonomorphicType>

pub fn remove(&mut self, key: &TVar)

Trait Implementations

impl Add<&Substitutions> for Substitutions

type Output = Substitutions

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<Substitutions> for &Substitutions

type Output = Substitutions

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add for &Substitutions

type Output = Substitutions

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add for Substitutions

type Output = Substitutions

The resulting type after applying the + operator.

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

Performs the + operation.

impl BitAnd<&Substitutions> for &MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: &Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<&Substitutions> for &PolymorphicType

type Output = PolymorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: &Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<&Substitutions> for MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: &Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<&Substitutions> for PolymorphicType

type Output = PolymorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: &Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<Substitutions> for &MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<Substitutions> for &PolymorphicType

type Output = PolymorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<Substitutions> for MonomorphicType

type Output = MonomorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: Substitutions) -> Self::Output

Performs the & operation.

impl BitAnd<Substitutions> for PolymorphicType

type Output = PolymorphicType

The resulting type after applying the & operator.

fn bitand(self, rhs: Substitutions) -> Self::Output

Performs the & operation.

impl Clone for Substitutions

fn clone(&self) -> Substitutions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Substitutions

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

Formats the value using the given formatter.

impl Display for Substitutions

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

Formats the value using the given formatter.

impl<M: Into<MonomorphicType>> FromIterator<(TVar, M)> for Substitutions

fn from_iter<T: IntoIterator<Item = (TVar, M)>>(iter: T) -> Self

Creates a value from an iterator.

impl PartialEq for Substitutions

fn eq(&self, other: &Substitutions) -> 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 StructuralPartialEq for Substitutions