Values.IsAuthorizedInputSourceMakes an authorization decision about a service request described in the parameters. The information in the parameters can also define additional context that Verified Permissions can include in the evaluation. The request is evaluated against all matching policies in the specified policy store. The result of the decision is either Allow or Deny, along with a list of the policies that resulted in the decision.
type nonrec t = {policyStoreId : PolicyStoreId.t;Specifies the ID of the policy store. Policies in this policy store will be used to make an authorization decision for the input. To specify a policy store, use its ID or alias name. When using an alias name, prefix it with policy-store-alias/. For example: ID: PSEXAMPLEabcdefg111111 Alias name: policy-store-alias/example-policy-store To view aliases, use ListPolicyStoreAliases.
*)principal : EntityIdentifier.t option;Specifies the principal for which the authorization decision is to be made.
*)action : ActionIdentifier.t option;Specifies the requested action to be authorized. For example, is the principal authorized to perform this action on the resource?
*)resource : EntityIdentifier.t option;Specifies the resource for which the authorization decision is to be made.
*)context : ContextDefinition.t option;Specifies additional context that can be used to make more granular authorization decisions.
*)entities : EntitiesDefinition.t option;(Optional) Specifies the list of resources and principals and their associated attributes that Verified Permissions can examine when evaluating the policies. These additional entities and their attributes can be referenced and checked by conditional elements in the policies in the specified policy store. You can include only principal and resource entities in this parameter; you can't include actions. You must specify actions in the schema.
*)}val make :
?principal:??? ->
?action:??? ->
?resource:??? ->
?context:??? ->
?entities:??? ->
policyStoreId:PolicyStoreId.t ->
unit ->
tval to_value :
t ->
[> `Structure of
(string
* [> `String of PolicyStoreId.t
| `Structure of
(string
* [> `List of
[> `Structure of
(string
* [> `List of
[> `Structure of
(string * [> `String of EntityType.t ])
list ]
list
| `Map of
([> `String of String_.t ] * Awso.Botodata.value)
list
| `Structure of
(string * [> `String of EntityType.t ]) list ])
list ]
list
| `Map of ([> `String of String_.t ] * Awso.Botodata.value) list
| `String of EntityType.t ])
list ])
list ]