Module Values.CheckAccessNotGrantedResponseSource

Checks whether the specified access isn't allowed by a policy.

Sourcetype nonrec t = {
  1. result : CheckAccessNotGrantedResult.t option;
    (*

    The result of the check for whether the access is allowed. If the result is PASS, the specified policy doesn't allow any of the specified permissions in the access object. If the result is FAIL, the specified policy might allow some or all of the permissions in the access object.

    *)
  2. message : String_.t option;
    (*

    The message indicating whether the specified access is allowed.

    *)
  3. reasons : ReasonSummaryList.t option;
    (*

    A description of the reasoning of the result.

    *)
}
Sourcetype nonrec error = [
  1. | `AccessDeniedException of AccessDeniedException.t
  2. | `InternalServerException of InternalServerException.t
  3. | `InvalidParameterException of InvalidParameterException.t
  4. | `ThrottlingException of ThrottlingException.t
  5. | `UnprocessableEntityException of UnprocessableEntityException.t
  6. | `ValidationException of ValidationException.t
  7. | `Unknown_operation_error of string * string option
]
Sourceval make : ?result:??? -> ?message:??? -> ?reasons:??? -> unit -> t
Sourceval error_of_json : string -> Yojson.Safe.t -> [> `AccessDeniedException of AccessDeniedException.t | `InternalServerException of InternalServerException.t | `InvalidParameterException of InvalidParameterException.t | `ThrottlingException of ThrottlingException.t | `Unknown_operation_error of string * string option | `UnprocessableEntityException of UnprocessableEntityException.t | `ValidationException of ValidationException.t ]
Sourceval error_of_xml : string -> Awso.Xml.t -> [> `AccessDeniedException of AccessDeniedException.t | `InternalServerException of InternalServerException.t | `InvalidParameterException of InvalidParameterException.t | `ThrottlingException of ThrottlingException.t | `Unknown_operation_error of string * string option | `UnprocessableEntityException of UnprocessableEntityException.t | `ValidationException of ValidationException.t ]
Sourceval error_to_json : error -> Yojson.Safe.t
Sourceval to_value : t -> [> `Structure of (string * [> `Enum of string | `List of [> `Structure of (string * [> `Integer of Integer.t | `String of String_.t ]) list ] list | `String of String_.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