Module Values.AdminGetDeviceRequestSource

Represents the request to get the device, as an administrator.

Sourcetype nonrec t = {
  1. deviceKey : DeviceKeyType.t;
    (*

    The key of the device that you want to delete.

    *)
  2. userPoolId : UserPoolIdType.t;
    (*

    The ID of the user pool where the device owner is a user.

    *)
  3. username : UsernameType.t;
    (*

    The name of the user that you want to query or modify. The value of this parameter is typically your user's username, but it can be any of their alias attributes. If username isn't an alias attribute in your user pool, this value must be the sub of a local user or the username of a user from a third-party IdP.

    *)
}
Sourceval context_ : string
Sourceval make : deviceKey:DeviceKeyType.t -> userPoolId:UserPoolIdType.t -> username:UsernameType.t -> unit -> t
Sourceval to_value : t -> [> `Structure of (string * [> `String of DeviceKeyType.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