This file validates requests and entity stores against partial schemas.

def Cedar.Validation.PartialEntitySchemaEntry.validationView : PartialEntitySchemaEntry → EntitySchemaEntry

Equations

• (Cedar.Validation.PartialEntitySchemaEntry.defined entry).validationView = entry
• (Cedar.Validation.PartialEntitySchemaEntry.external ancestors).validationView = Cedar.Validation.EntitySchemaEntry.standard { ancestors := ancestors, attrs := Cedar.Data.Map.empty, tags := none }

def Cedar.Validation.PartialActionSchemaEntry.validationView : PartialActionSchemaEntry → ActionSchemaEntry

Equations

• One or more equations did not get rendered due to their size.
• (Cedar.Validation.PartialActionSchemaEntry.defined entry).validationView = entry

def Cedar.Validation.PartialSchema.validationView (ps : PartialSchema) : Schema

Equations

• One or more equations did not get rendered due to their size.

def Cedar.Validation.PartialSchema.validateRequest (ps : PartialSchema) (request : Spec.Request) : RequestValidationResult

Equations

• ps.validateRequest request = Cedar.Validation.validateRequest ps.validationView request

def Cedar.Validation.PartialSchema.validateEntities (ps : PartialSchema) (entities : Spec.Entities) : EntityValidationResult

Validate, treating external schema as empty schema declarations. Does validate actions with external type. Does NOT validate entities with external type.

Equations

• One or more equations did not get rendered due to their size.