Struct Rule 

pub struct Rule {
    pub condition: Expression,
    pub effects: Vec<Effect>,
    pub source: String,
}

One compiled rule: a predicate plus the effects to fire when it matches.

effects is always non-empty for parser-produced rules. The historical “single Allow/Deny” cases are represented by a one-element Vec — slightly more allocation than a flat enum, but keeps one dispatch path instead of two and eliminates the ambiguity of having both Action::Allow and Effect::Allow in the IR.

Fields

condition: Expression

effects: Vec<Effect>

source: String

Human-readable source (original YAML line, file path, etc.). Surfaces in audit logs and policy violation diagnostics.

Implementations

impl Rule

pub fn single( condition: Expression, effect: Effect, source: impl Into<String>, ) -> Self

Construct a single-effect rule. Convenience for the common Allow / Deny shapes that don’t need a vec![] at the call site.

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Rule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Rule

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Rule> for Effect

Rule is structurally identical to Effect::When. The From impl lets callers that already hold a Rule (notably the parser’s inner helpers and the test fixtures) drop a .into() instead of re-spelling all three fields. Bridges the few remaining producers while the migration completes; will probably stay long-term because the parser still builds Rule incrementally before deciding it’s an Effect::When.

fn from(r: Rule) -> Effect

Converts to this type from the input type.

impl Serialize for Rule

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.