pub struct TypeEnv { /* private fields */ }Expand description
Type environment — tracks variable types across scopes.
Implementations§
Source§impl TypeEnv
impl TypeEnv
pub fn new() -> Self
pub fn scope_depth(&self) -> u32
pub fn push_scope(&mut self)
pub fn pop_scope(&mut self)
pub fn define(&mut self, name: String, ty: Type)
pub fn lookup(&self, name: &str) -> Option<&Type>
pub fn define_fn(&mut self, name: String, sig: FnSig)
pub fn lookup_fn(&self, name: &str) -> Option<&FnSig>
pub fn define_struct(&mut self, name: String, fields: Vec<(String, Type)>)
pub fn lookup_struct(&self, name: &str) -> Option<&Vec<(String, Type)>>
pub fn define_enum(&mut self, name: String, variants: Vec<(String, Vec<Type>)>)
pub fn lookup_enum(&self, name: &str) -> Option<&Vec<(String, Vec<Type>)>>
pub fn fresh_var(&mut self) -> Type
pub fn define_trait(&mut self, name: String, info: TraitInfo)
pub fn lookup_trait(&self, name: &str) -> Option<&TraitInfo>
pub fn register_type_alias( &mut self, name: String, type_params: Vec<String>, value: TypeExpr, )
pub fn lookup_type_alias(&self, name: &str) -> Option<&(Vec<String>, TypeExpr)>
Sourcepub fn is_resolving_alias(&self, name: &str) -> bool
pub fn is_resolving_alias(&self, name: &str) -> bool
Check if an alias is currently being resolved (cycle detection).
Sourcepub fn start_resolving_alias(&mut self, name: String)
pub fn start_resolving_alias(&mut self, name: String)
Mark an alias as being resolved.
Sourcepub fn stop_resolving_alias(&mut self, name: &str)
pub fn stop_resolving_alias(&mut self, name: &str)
Unmark an alias after resolution.
Sourcepub fn register_sensitive_field(
&mut self,
type_name: String,
field_name: String,
annotation: String,
)
pub fn register_sensitive_field( &mut self, type_name: String, field_name: String, annotation: String, )
Register a sensitive field annotation.
Sourcepub fn is_field_sensitive(&self, type_name: &str, field_name: &str) -> bool
pub fn is_field_sensitive(&self, type_name: &str, field_name: &str) -> bool
Check if a field is annotated as sensitive.
Sourcepub fn get_field_annotations(
&self,
type_name: &str,
) -> Option<&Vec<(String, String)>>
pub fn get_field_annotations( &self, type_name: &str, ) -> Option<&Vec<(String, String)>>
Get sensitive annotations for a type’s field.
pub fn register_trait_impl( &mut self, trait_name: String, type_name: String, method_names: Vec<String>, )
pub fn lookup_trait_impl( &self, trait_name: &str, type_name: &str, ) -> Option<&Vec<String>>
Sourcepub fn type_satisfies_trait(&self, ty: &Type, trait_name: &str) -> bool
pub fn type_satisfies_trait(&self, ty: &Type, trait_name: &str) -> bool
Check if a type satisfies a trait bound (including built-in trait hierarchy).
Trait Implementations§
Auto Trait Implementations§
impl Freeze for TypeEnv
impl RefUnwindSafe for TypeEnv
impl Send for TypeEnv
impl Sync for TypeEnv
impl Unpin for TypeEnv
impl UnsafeUnpin for TypeEnv
impl UnwindSafe for TypeEnv
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
Source§fn fg(&self, value: Color) -> Painted<&T>
fn fg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the foreground set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like red() and
green(), which have the same functionality but are
pithier.
§Example
Set foreground color to white using fg():
use yansi::{Paint, Color};
painted.fg(Color::White);Set foreground color to white using white().
use yansi::Paint;
painted.white();Source§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
Source§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
Source§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
Source§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
Source§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
Source§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
Source§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
Source§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
Source§fn bg(&self, value: Color) -> Painted<&T>
fn bg(&self, value: Color) -> Painted<&T>
Returns a styled value derived from self with the background set to
value.
This method should be used rarely. Instead, prefer to use color-specific
builder methods like on_red() and
on_green(), which have the same functionality but
are pithier.
§Example
Set background color to red using fg():
use yansi::{Paint, Color};
painted.bg(Color::Red);Set background color to red using on_red().
use yansi::Paint;
painted.on_red();Source§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
Source§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
Source§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
Source§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
Source§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
Source§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
Source§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
Source§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
Source§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
Source§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
Source§fn attr(&self, value: Attribute) -> Painted<&T>
fn attr(&self, value: Attribute) -> Painted<&T>
Enables the styling Attribute value.
This method should be used rarely. Instead, prefer to use
attribute-specific builder methods like bold() and
underline(), which have the same functionality
but are pithier.
§Example
Make text bold using attr():
use yansi::{Paint, Attribute};
painted.attr(Attribute::Bold);Make text bold using using bold().
use yansi::Paint;
painted.bold();Source§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
Source§fn quirk(&self, value: Quirk) -> Painted<&T>
fn quirk(&self, value: Quirk) -> Painted<&T>
Enables the yansi Quirk value.
This method should be used rarely. Instead, prefer to use quirk-specific
builder methods like mask() and
wrap(), which have the same functionality but are
pithier.
§Example
Enable wrapping using .quirk():
use yansi::{Paint, Quirk};
painted.quirk(Quirk::Wrap);Enable wrapping using wrap().
use yansi::Paint;
painted.wrap();Source§fn clear(&self) -> Painted<&T>
👎Deprecated since 1.0.1: renamed to resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.
fn clear(&self) -> Painted<&T>
resetting() due to conflicts with Vec::clear().
The clear() method will be removed in a future release.Source§fn whenever(&self, value: Condition) -> Painted<&T>
fn whenever(&self, value: Condition) -> Painted<&T>
Conditionally enable styling based on whether the Condition value
applies. Replaces any previous condition.
See the crate level docs for more details.
§Example
Enable styling painted only when both stdout and stderr are TTYs:
use yansi::{Paint, Condition};
painted.red().on_yellow().whenever(Condition::STDOUTERR_ARE_TTY);