Struct clarity_repl::clarity::analysis::type_checker::contexts::TypingContext

pub struct TypingContext<'a> {
    pub variable_types: HashMap<ClarityName, TypeSignature>,
    pub traits_references: HashMap<ClarityName, TraitIdentifier>,
    pub parent: Option<&'a TypingContext<'a>>,
    pub depth: u16,
}

Fields

variable_types: HashMap<ClarityName, TypeSignature>

traits_references: HashMap<ClarityName, TraitIdentifier>

parent: Option<&'a TypingContext<'a>>

depth: u16

Implementations

impl<'a> TypingContext<'a>

pub fn new() -> TypingContext<'static>

pub fn extend<'b>(&'b self) -> CheckResult<TypingContext<'b>>

pub fn lookup_variable_type(&self, name: &str) -> Option<&TypeSignature>

pub fn add_trait_reference(
    &mut self,
    name: &ClarityName,
    value: &TraitIdentifier
)

pub fn lookup_trait_reference_type(
    &self,
    name: &str
) -> Option<&TraitIdentifier>