Module cedar_policy_validator::json_schema

Structures defining the JSON syntax for Cedar schemas

Structs

• ActionEntityUID
  Represents the cedar_policy_core::ast::EntityUID of an action
• ActionType
  An ActionType describes a specific action entity. It also describes what principals/resources/contexts are valid for the action.
• ApplySpec
  The apply spec specifies what principals and resources an action can be used with. This specification can either be done through containing to entity types. An empty list is interpreted as specifying that there are no principals or resources that an action applies to.
• CommonTypeId
  An UnreservedId that cannot be reserved JSON schema keywords like Set, Long, and etc.
• EntityAttributeType
  Describes the type of an entity attribute. It contains the type of the attribute and whether the attribute is required. The type is flattened for serialization, so, in JSON format, this appears as a regular type with one extra property required.
• EntityAttributesInternal
  Helper struct containing the contents of EntityAttributes::EntityAttributes. This doesn’t cover all possible legal JSON forms for entity attributes (use EntityAttributes for that) – in particular this struct doesn’t accept a single common-type reference; it requires a record declaration. But, this struct does cover all legal JSON forms for entity attributes that aren’t accepted as legal JSON forms for record attributes.
• EntityType
  Represents the full definition of an entity type in the schema. Entity types describe the relationships in the entity store, including what entities can be members of groups of what types, and what attributes can/should be included on entities of each type.
• Fragment
  A Fragment is split into multiple namespace definitions, and is just a map from namespace name to namespace definition (i.e., definitions of common types, entity types, and actions in that namespace). The namespace name is implicitly applied to all definitions in the corresponding [NamespaceDefinition]. See [NamespaceDefinition].
• RecordAttributeType
  Describes the type of a record attribute. It contains the type of the attribute and whether the attribute is required. The type is flattened for serialization, so, in JSON format, this appears as a regular type with one extra property required.
• RecordOrContextAttributes
  Declaration of record attributes, or of an action context. These share a JSON format.
• RecordType
  Represents the type-level information about a record type.

Enums

• EntityAttributeTypeInternal
  Describes the underlying type of an entity attribute (not including the required/optional flag).
• EntityAttributes
  Declaration of entity attributes
• Type
  A restricted version of the crate::types::Type enum containing only the types which are exposed to users.
• TypeVariant
  All the variants of Type other than common types, which are handled directly in Type. See notes on Type for why it’s necessary to have a separate enum here.