Struct Subst 

pub struct Subst { /* private fields */ }

A substitution mapping type variables to types.

Implementations

impl Subst

pub fn new() -> Self

Creates an empty substitution.

pub fn insert(&mut self, var: &TyVar, ty: Ty)

Inserts a mapping from a type variable to a type.

pub fn get(&self, var: &TyVar) -> Option<&Ty>

Looks up a type variable in the substitution.

pub fn contains(&self, var: &TyVar) -> bool

Checks if a type variable has a mapping in this substitution.

pub fn apply(&self, ty: &Ty) -> Ty

Applies this substitution to a type.

pub fn apply_nat(&self, n: &TyNat) -> TyNat

Applies this substitution to a type-level natural.

pub fn apply_ty_list(&self, l: &TyList) -> TyList

Applies this substitution to a type-level list.

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

Composes two substitutions: (self . other)

pub fn is_empty(&self) -> bool

Returns true if this substitution is empty.

Trait Implementations

impl Clone for Subst

fn clone(&self) -> Subst

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Subst

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

Formats the value using the given formatter.

impl Default for Subst

fn default() -> Subst

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Subst

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Subst

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.