Struct GateRequest 

pub struct GateRequest {
    pub actor: ActorRef,
    pub namespace: Namespace,
    pub verb: String,
    pub args: Value,
    pub context: GateContext,
}

What the gate sees on every verb invocation.

The JSON projection of this struct is the input shape policies receive (e.g. Rego’s input.actor, input.verb, input.args). The shape is a public contract — changing field names is a breaking change.

Invariant: verb must be non-empty. actor is validated by ActorRef. Enforced at construction and deserialization.

Fields

actor: ActorRef

namespace: Namespace

verb: String

args: Value

context: GateContext

Implementations

impl GateRequest

pub fn try_new( actor: ActorRef, namespace: Namespace, verb: impl Into<String>, args: Value, ) -> Result<GateRequest, GateValidationError>

Create a validated GateRequest. Returns Err if verb is empty.

pub fn new( actor: ActorRef, namespace: Namespace, verb: impl Into<String>, args: Value, ) -> GateRequest

Builds a GateRequest with default (empty) context. Panics if verb is empty.

pub fn with_context(self, context: GateContext) -> GateRequest

Attaches a GateContext (session, timestamp, source) to this request.

Trait Implementations

impl Clone for GateRequest

fn clone(&self) -> GateRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GateRequest

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for GateRequest

fn deserialize<D>( deserializer: D, ) -> Result<GateRequest, <D as Deserializer<'de>>::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for GateRequest

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<RawGateRequest> for GateRequest

type Error = GateValidationError

The type returned in the event of a conversion error.

fn try_from( raw: RawGateRequest, ) -> Result<GateRequest, <GateRequest as TryFrom<RawGateRequest>>::Error>

Performs the conversion.