Struct clarity_repl::clarity::analysis::type_checker::contexts::TypingContext
source · [−]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
sourceimpl<'a> TypingContext<'a>
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>
Auto Trait Implementations
impl<'a> RefUnwindSafe for TypingContext<'a>
impl<'a> Send for TypingContext<'a>
impl<'a> Sync for TypingContext<'a>
impl<'a> Unpin for TypingContext<'a>
impl<'a> UnwindSafe for TypingContext<'a>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> Instrument for T
impl<T> Instrument for T
sourcefn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
sourcefn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
pub fn vzip(self) -> V
sourceimpl<T> WithSubscriber for T
impl<T> WithSubscriber for T
sourcefn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
sourcefn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more