Module Values.CheckNoNewAccessResponseSource

Checks whether new access is allowed for an updated policy when compared to the existing policy. You can find examples for reference policies and learn how to set up and run a custom policy check for new access in the IAM Access Analyzer custom policy checks samples repository on GitHub. The reference policies in this repository are meant to be passed to the existingPolicyDocument request parameter.

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

    The result of the check for new access. If the result is PASS, no new access is allowed by the updated policy. If the result is FAIL, the updated policy might allow new access.

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

    The message indicating whether the updated policy allows new access.

    *)
  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