Module Values.PolicyDefinitionSource

A structure that contains the details for a Cedar policy definition. It includes the policy type, a description, and a policy body. This is a top level data type used to create a policy. This data type is used as a request parameter for the CreatePolicy operation. This structure must always have either an static or a templateLinked element.

Sourcetype nonrec t = {
  1. static : StaticPolicyDefinition.t option;
    (*

    A structure that describes a static policy. An static policy doesn't use a template or allow placeholders for entities.

    *)
  2. templateLinked : TemplateLinkedPolicyDefinition.t option;
    (*

    A structure that describes a policy that was instantiated from a template. The template can specify placeholders for principal and resource. When you use CreatePolicy to create a policy from a template, you specify the exact principal and resource to use for the instantiated policy.

    *)
}
Sourceval make : ?static:??? -> ?templateLinked:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Structure of (string * [> `String of StaticPolicyDescription.t | `Structure of (string * [> `String of EntityType.t ]) list ]) list ]) list ]
Sourceval to_query : t -> Awso.Client.Query.t
Sourceval of_xml : Awso.Xml.t -> t
Sourceval of_string : string -> t
Sourceval of_json : Yojson.Safe.t -> t
Sourceval to_json : t -> Yojson.Safe.t