pub struct TcEnv {
pub values: Vec<PartialExpr>,
pub value_origins: Vec<ValueOrigin>,
pub errors: Vec<TypeError>,
/* private fields */
}Fields§
§values: Vec<PartialExpr>§value_origins: Vec<ValueOrigin>§errors: Vec<TypeError>Implementations§
Source§impl TcEnv
impl TcEnv
pub fn beta_reduce(&mut self, i: UnionIndex) -> UnionIndex
Source§impl TcEnv
impl TcEnv
pub fn beta_reduce_head( &self, start_expr: UnionIndex, start_env: Env, ) -> (UnionIndex, Env)
Source§impl TcEnv
impl TcEnv
pub fn index_to_string(&self, i: UnionIndex) -> String
pub fn index_to_sm_string(&mut self, i: UnionIndex) -> String
pub fn index_to_br_string(&mut self, i: UnionIndex) -> String
Source§impl TcEnv
impl TcEnv
Sourcepub fn expect_beq_assert(
&mut self,
expr: UnionIndex,
expr_type: UnionIndex,
expected_type: UnionIndex,
s: &Env,
)
pub fn expect_beq_assert( &mut self, expr: UnionIndex, expr_type: UnionIndex, expected_type: UnionIndex, s: &Env, )
Expect i1 to be equal to i2 in s
Sourcepub fn expect_beq_type(&mut self, io: UnionIndex, s: &Env)
pub fn expect_beq_type(&mut self, io: UnionIndex, s: &Env)
Expect io to be equal to Type.
Sourcepub fn expect_beq_fn_type(
&mut self,
ft: UnionIndex,
at: UnionIndex,
rt: UnionIndex,
s: &Env,
)
pub fn expect_beq_fn_type( &mut self, ft: UnionIndex, at: UnionIndex, rt: UnionIndex, s: &Env, )
Expect f to be a function type with argument type i_at both valid in s.
rt should be free.
Source§impl TcEnv
impl TcEnv
pub fn expect_beq_internal( &mut self, (i1o, s1, var_map1): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>), (i2o, s2, var_map2): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>), ) -> bool
pub fn expect_beq_in_destruct( &mut self, f1: UnionIndex, s1: &Env, var_map1: &mut HashMap<UniqueVariableId, usize>, (i2, s2, var_map2): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>), ) -> bool
Sourcepub fn expect_beq_free(
&mut self,
(i1, s1, var_map1): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>),
(i2, s2, var_map2): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>),
) -> bool
pub fn expect_beq_free( &mut self, (i1, s1, var_map1): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>), (i2, s2, var_map2): (UnionIndex, &Env, &mut HashMap<UniqueVariableId, usize>), ) -> bool
Precondition: i2 should be free
pub fn handle_constraints(&mut self, i2: UnionIndex, s2: &Env) -> bool
Source§impl TcEnv
impl TcEnv
pub fn insert_from_action_result<'arn>( &mut self, value: &ActionResult<'arn, '_>, program: &'arn str, _arena: Allocs<'_>, ) -> UnionIndex
Source§impl TcEnv
impl TcEnv
pub fn is_beta_equal( &mut self, i1: UnionIndex, s1: &Env, i2: UnionIndex, s2: &Env, ) -> bool
Source§impl TcEnv
impl TcEnv
pub fn simplify(&mut self, i: UnionIndex) -> UnionIndex
Source§impl TcEnv
impl TcEnv
pub fn type_check( &mut self, root: UnionIndex, ) -> Result<UnionIndex, AggregatedTypeError>
Source§impl TcEnv
impl TcEnv
pub fn store_from_source(&mut self, e: PartialExpr, span: Span) -> UnionIndex
pub fn store_test(&mut self, e: PartialExpr) -> UnionIndex
pub fn reset(&mut self)
Trait Implementations§
Auto Trait Implementations§
impl Freeze for TcEnv
impl RefUnwindSafe for TcEnv
impl !Send for TcEnv
impl !Sync for TcEnv
impl Unpin for TcEnv
impl UnwindSafe for TcEnv
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);