Struct Request

pub struct Request { /* private fields */ }

Represents the request tuple <P, A, R, C> (see the Cedar design doc).

Implementations

impl Request

pub fn new<S: RequestSchema>( principal: (EntityUID, Option<Loc>), action: (EntityUID, Option<Loc>), resource: (EntityUID, Option<Loc>), context: Context, schema: Option<&S>, extensions: &Extensions<'_>, ) -> Result<Self, S::Error>

Default constructor.

If schema is provided, this constructor validates that this Request complies with the given schema.

pub fn new_with_unknowns<S: RequestSchema>( principal: EntityUIDEntry, action: EntityUIDEntry, resource: EntityUIDEntry, context: Option<Context>, schema: Option<&S>, extensions: &Extensions<'_>, ) -> Result<Self, S::Error>

Create a new Request with potentially unknown (for partial eval) variables.

If schema is provided, this constructor validates that this Request complies with the given schema (at least to the extent that we can validate with the given information)

pub fn new_unchecked( principal: EntityUIDEntry, action: EntityUIDEntry, resource: EntityUIDEntry, context: Option<Context>, ) -> Self

Create a new Request with potentially unknown (for partial eval) variables/context and without schema validation.

pub fn principal(&self) -> &EntityUIDEntry

Get the principal associated with the request

pub fn action(&self) -> &EntityUIDEntry

Get the action associated with the request

pub fn resource(&self) -> &EntityUIDEntry

Get the resource associated with the request

pub fn context(&self) -> Option<&Context>

Get the context associated with the request Returning None means the variable is unknown, and will result in a residual expression

pub fn to_request_type(&self) -> Option<RequestType>

Get the request types that correspond to this request. This includes the types of the principal, action, and resource. RequestType is used by the entity manifest. The context type is implied by the action’s type. Returns None if the request is not fully concrete.

Trait Implementations

impl Clone for Request

fn clone(&self) -> Request

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Request

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

Formats the value using the given formatter.

impl Display for Request

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

Formats the value using the given formatter.

impl Serialize for Request

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

where __S: Serializer,

Serialize this value into the given Serde serializer.