Expand description

This module contains the Entities type and related functionality.

Structs

  • Attribute type structure used in SchemaType
  • Struct used to parse context from JSON.
  • Represents an entity hierarchy, and allows looking up Entity objects by UID. Note that Entities is Serialize and Deserialize, but currently this is only used for the Dafny-FFI layer in DRT. All others use (and should use) the from_json_*() and write_to_json() methods as necessary.
  • Serde JSON format for a single entity
  • Struct used to parse entities from JSON.
  • Structure expected by the __extn escape
  • Simple type that implements ContextSchema by expecting an empty context
  • Simple type that implements Schema by expecting no attributes to exist
  • Structure expected by the __entity escape
  • Struct used to parse Cedar values from JSON.

Enums

  • Results from dereferencing values from the Entity Store
  • Error type for errors raised in entities.rs.
  • Serde JSON format for Cedar values where we know we’re expecting an entity reference
  • Serde JSON format for Cedar values where we know we’re expecting an extension value
  • The canonical JSON representation of a Cedar value. Many Cedar values have a natural one-to-one mapping to and from JSON values. Cedar values of some types, like entity references or extension values, cannot easily be represented in JSON and thus are represented using the __expr, __entity, or __extn escapes.
  • Errors thrown during deserialization from JSON
  • Gives information about the context of a JSON deserialization error (e.g., where we were in the JSON document).
  • Errors thrown during serialization to JSON
  • Possible types that schema-based parsing can expect for Cedar values.
  • Describes the option for how the TC (transitive closure) of the entity hierarchy is computed

Traits

  • Trait for schemas that can inform the parsing of Context data
  • Trait for Schemas that can inform the parsing of Entity JSON data

Type Definitions

  • Type alias for convenience