pub struct StoreFieldIr {
pub field: String,
pub kind: StoreKindIr,
pub init: Option<IrExpr>,
pub indexed: Vec<IndexIr>,
}Expand description
P6.7’s real store-field state shape (design/bynk-greenfield-compiler.md
§6.6, R6.14, #1163) — the payload of an agent store field declaration,
bynk_lower::lower_store_field_ir’s own return value. Mirrors
checker::StoreField’s own five-kind dispatch
(bynk-check/src/checker.rs) in shape, but is persistent IR data with no
consumer yet, not that checking pass’s own ephemeral, per-agent scratch
value — the two are deliberately not unified (see
bynk_lower::lower_store_field_ir’s own doc comment). No IrItem variant
references this yet — IrItem::Agent/Service remain unconstructed
(IrItem’s own doc comment names exactly what still blocks them).
Fields§
§field: StringThe field’s own declared name ([DECISION A]: String, sourced
directly from StoreField.name.name — this module’s own “no arena
exists in this codebase” substitution, applied to the reference’s
own FieldId arena slot).
kind: StoreKindIr§init: Option<IrExpr>The fresh-key initialiser, constructed only for a Cell field
([DECISION D]) — None for every other kind, regardless of whether
the AST grammatically parsed one there. A non-Cell field’s init
expression is parsed but never type-checked (a real, pre-existing
checker gap; see bynk_lower::lower_store_field_ir’s own doc comment),
so on a certified program it has no expr_types entry to lower.
indexed: Vec<IndexIr>@indexed(by: …) sibling-table keys, in the annotation’s own
by:-argument order — one entry per distinct by: argument
([DECISION C]), no sort ([DECISION E]). Deduplicated: the checker
validates each by: argument independently with no duplicate check
(validate_indexed_keys), so @indexed(by: k, by: k) certifies —
bynk_lower::lower_store_field_ir guards against it, mirroring the
shipped emitter’s own store_map_indexes dedup. Empty for every kind
but Map, the only kind @indexed attaches to (ANNOTATIONS’s own
registry, bynk-check/src/context_checks.rs).
Trait Implementations§
Source§impl Clone for StoreFieldIr
impl Clone for StoreFieldIr
Source§fn clone(&self) -> StoreFieldIr
fn clone(&self) -> StoreFieldIr
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreAuto Trait Implementations§
impl Freeze for StoreFieldIr
impl RefUnwindSafe for StoreFieldIr
impl Send for StoreFieldIr
impl Sync for StoreFieldIr
impl Unpin for StoreFieldIr
impl UnsafeUnpin for StoreFieldIr
impl UnwindSafe for StoreFieldIr
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Paint for Twhere
T: ?Sized,
impl<T> Paint for Twhere
T: ?Sized,
§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();§fn bright_black(&self) -> Painted<&T>
fn bright_black(&self) -> Painted<&T>
§fn bright_red(&self) -> Painted<&T>
fn bright_red(&self) -> Painted<&T>
§fn bright_green(&self) -> Painted<&T>
fn bright_green(&self) -> Painted<&T>
§fn bright_yellow(&self) -> Painted<&T>
fn bright_yellow(&self) -> Painted<&T>
§fn bright_blue(&self) -> Painted<&T>
fn bright_blue(&self) -> Painted<&T>
§fn bright_magenta(&self) -> Painted<&T>
fn bright_magenta(&self) -> Painted<&T>
§fn bright_cyan(&self) -> Painted<&T>
fn bright_cyan(&self) -> Painted<&T>
§fn bright_white(&self) -> Painted<&T>
fn bright_white(&self) -> Painted<&T>
§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();§fn on_primary(&self) -> Painted<&T>
fn on_primary(&self) -> Painted<&T>
§fn on_magenta(&self) -> Painted<&T>
fn on_magenta(&self) -> Painted<&T>
§fn on_bright_black(&self) -> Painted<&T>
fn on_bright_black(&self) -> Painted<&T>
§fn on_bright_red(&self) -> Painted<&T>
fn on_bright_red(&self) -> Painted<&T>
§fn on_bright_green(&self) -> Painted<&T>
fn on_bright_green(&self) -> Painted<&T>
§fn on_bright_yellow(&self) -> Painted<&T>
fn on_bright_yellow(&self) -> Painted<&T>
§fn on_bright_blue(&self) -> Painted<&T>
fn on_bright_blue(&self) -> Painted<&T>
§fn on_bright_magenta(&self) -> Painted<&T>
fn on_bright_magenta(&self) -> Painted<&T>
§fn on_bright_cyan(&self) -> Painted<&T>
fn on_bright_cyan(&self) -> Painted<&T>
§fn on_bright_white(&self) -> Painted<&T>
fn on_bright_white(&self) -> Painted<&T>
§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();§fn rapid_blink(&self) -> Painted<&T>
fn rapid_blink(&self) -> Painted<&T>
§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();§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.§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);