pub struct IrRegion {
pub until: bool,
pub condition: String,
pub lapse_binding: Option<String>,
pub effects: Vec<IrRegionEffect>,
pub body_removed: String,
pub body_lapsed: String,
}Expand description
DR-0043 Decision 5: a rule’s during/until region, pre-rendered as the
three body variants the kernel lowers against. IrRule.body itself is the
condition-HOLDS variant (region spliced inline), so every existing text
scanner and effect-id derivation is untouched; the kernel swaps in
body_removed (region gone – post-lapse suppression) or body_lapsed
(region replaced by its arm) per the region’s durable state. NOT rendered
into the .ir snapshot (derived, deterministic).
Fields§
§until: bool§condition: StringGuard-grammar condition text; the kernel parses and evaluates it atomically inside each advancing commit.
lapse_binding: Option<String>§effects: Vec<IrRegionEffect>§body_removed: String§body_lapsed: StringTrait Implementations§
impl Eq for IrRegion
impl StructuralPartialEq for IrRegion
Auto Trait Implementations§
impl Freeze for IrRegion
impl RefUnwindSafe for IrRegion
impl Send for IrRegion
impl Sync for IrRegion
impl Unpin for IrRegion
impl UnsafeUnpin for IrRegion
impl UnwindSafe for IrRegion
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
Mutably borrows from an owned value. Read more