Struct SemanticContext

pub struct SemanticContext { /* private fields */ }

Implementations

impl SemanticContext

pub fn push_type_scope(&mut self)

pub fn push_type_scope_with_variables( &mut self, type_variables: &[String], ) -> Result<(), SemanticError>

pub fn pop_type_scope(&mut self)

pub fn declare_type_variable(&mut self, name: &str) -> Result<(), SemanticError>

Errors

Panics

if no stack is present

pub fn resolve_type_variable(&self, name: &str) -> Option<Type>

Trait Implementations

impl Debug for SemanticContext

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

Formats the value using the given formatter.

impl Default for SemanticContext

fn default() -> SemanticContext

Returns the “default value” for a type.