Up – Package index » awso » Library awso.cognito-idp » Awso_cognito_idp » DeleteResourceServerRequest

Module `Awso_cognito_idp.DeleteResourceServerRequest`Source

Deletes a resource server. After you delete a resource server, users can no longer generate access tokens with scopes that are associate with that resource server. Resource servers are associated with custom scopes and machine-to-machine (M2M) authorization. For more information, see Access control with resource servers. Amazon Cognito evaluates Identity and Access Management (IAM) policies in requests for this API operation. For this operation, you must use IAM credentials to authorize requests, and you must grant yourself the corresponding IAM permission in a policy. Learn more Signing Amazon Web Services API Requests Using the Amazon Cognito user pools API and user pool endpoints

Sourcetype nonrec t = {

userPoolId : UserPoolIdType.t;
(*
The ID of the user pool where you want to delete the resource server.
*)
identifier : ResourceServerIdentifierType.t;
(*
The identifier of the resource server that you want to delete.
*)

}

Sourceval context_ : string

Source

val make : 
  userPoolId:UserPoolIdType.t ->
  identifier:ResourceServerIdentifierType.t ->
  unit ->
  t

Source

val to_value : 
  t ->
  [> `Structure of (string * [> `String of UserPoolIdType.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