Module Values.ContextDefinitionSource

Contains additional details about the context of the request. Verified Permissions evaluates this information in an authorization request as part of the when and unless clauses in a policy. This data type is used as a request parameter for the IsAuthorized, BatchIsAuthorized, and IsAuthorizedWithToken operations. If you're passing context as part of the request, exactly one instance of context must be passed. If you don't want to pass context, omit the context parameter from your request rather than sending context {}. Example: "context":{"contextMap":{"<KeyName1>":{"boolean":true},"<KeyName2>":{"long":1234}}}

Sourcetype nonrec t = {
  1. contextMap : ContextMap.t option;
    (*

    An list of attributes that are needed to successfully evaluate an authorization request. Each attribute in this array must include a map of a data type and its value. Example: "contextMap":{"<KeyName1>":{"boolean":true},"<KeyName2>":{"long":1234}}

    *)
  2. cedarJson : CedarJson.t option;
    (*

    A Cedar JSON string representation of the context needed to successfully evaluate an authorization request. Example: {"cedarJson":"{\"<KeyName1>\": true, \"<KeyName2>\": 1234}" }

    *)
}
Sourceval make : ?contextMap:??? -> ?cedarJson:??? -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `Map of ([> `String of String_.t ] * Awso.Botodata.value) list | `String of CedarJson.t ]) 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