Module cedar_policy_validator::types

Defines the type structure for typechecking and various utilities for constructing and manipulating types.

Structs

• AttributeType
  Contains the type of a record attribute and if the attribute is required.
• Attributes
  Represents the attributes of a record or entity type. Each attribute has an identifier, a flag indicating weather it is required, and a type.
• Effect
  Represent a single effect, which is an expression and some attribute that is known to exist for that expression.
• EffectSet
  A set of effects. Used to represent knowledge about attribute existence before and after evaluating an expression.
• EntityLUB
  Represents the least upper bound of multiple entity types. This can be used to represent the least upper bound of a single entity type, in which case it is exactly that entity type.

Enums

• EntityRecordKind
  Represents whether a type is an entity type, record type, or could be either
• OpenTag
  Used to tag record types to indicate if their attributes record is open or closed.
• Primitive
  Represent the possible primitive types.
• RequestEnv
• Type
  The main type structure.