Type Alias Environment 

pub type Environment = TypeTable<PolymorphicType, Var>;

Aliased Type

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

Implementations

impl Environment

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 Display for Environment

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

Formats the value using the given formatter.

impl EnvironmentProvider<Var> for Environment

type Error = Infallible

fn maybe_get( &self, key: &Var, ) -> Result<Option<Cow<'_, PolymorphicType>>, Self::Error>

fn get(&self, key: &Key) -> Option<Cow<'_, PolymorphicType>>

where Self::Error: Debug,

👎Deprecated

impl TypeTableOps for Environment

fn merge(&mut self, other: Self)