---
updatedAt: 2025-11-12T01:09:14.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# WORKSPACES-THIN-CLIENT

<Embed url="https://docs.aws.amazon.com/" title="AWS documentation" provider="docs.aws.amazon.com" href="https://docs.aws.amazon.com/" />

# CreateEnvironment

```erlang
enum_ApplyTimeOf := [ "UTC", "DEVICE" ]
enum_DayOfWeek := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MaintenanceWindowType := [ "SYSTEM", "CUSTOM" ]
enum_SoftwareSetUpdateMode := [ "USE_LATEST", "USE_DESIRED" ]
enum_SoftwareSetUpdateSchedule := [ "USE_MAINTENANCE_WINDOW", "APPLY_IMMEDIATELY" ]

valid {
    input.Body.name == STRING
    input.Body.desktopArn == STRING
    input.Body.desktopEndpoint == STRING
    input.Body.softwareSetUpdateSchedule == enum_SoftwareSetUpdateSchedule[_]
    input.Body.maintenanceWindow.type == enum_MaintenanceWindowType[_]
    input.Body.maintenanceWindow.startTimeHour == INTEGER
    input.Body.maintenanceWindow.startTimeMinute == INTEGER
    input.Body.maintenanceWindow.endTimeHour == INTEGER
    input.Body.maintenanceWindow.endTimeMinute == INTEGER
    input.Body.maintenanceWindow.daysOfTheWeek[_] == enum_DayOfWeek[_]
    input.Body.maintenanceWindow.applyTimeOf == enum_ApplyTimeOf[_]
    input.Body.softwareSetUpdateMode == enum_SoftwareSetUpdateMode[_]
    input.Body.desiredSoftwareSetId == STRING
    input.Body.kmsKeyArn == STRING
    input.Body.clientToken == STRING
    input.Body.tags.STRING == STRING
    input.Body.deviceCreationTags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DeleteDevice

```erlang
valid {
    input.ReqMap.id == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DeleteEnvironment

```erlang
valid {
    input.ReqMap.id == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DeregisterDevice

```erlang
enum_TargetDeviceStatus := [ "DEREGISTERED", "ARCHIVED" ]

valid {
    input.Body.targetDeviceStatus == enum_TargetDeviceStatus[_]
    input.Body.clientToken == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GetDevice

```erlang
valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GetEnvironment

```erlang
valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GetSoftwareSet

```erlang
valid {
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListDevices

```erlang
valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListEnvironments

```erlang
valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListSoftwareSets

```erlang
valid {
    input.Qs.nextToken == STRING
    input.Qs.maxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListTagsForResource

```erlang
valid {
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TagResource

```erlang
valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# UntagResource

```erlang
valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# UpdateDevice

```erlang
enum_SoftwareSetUpdateSchedule := [ "USE_MAINTENANCE_WINDOW", "APPLY_IMMEDIATELY" ]

valid {
    input.Body.name == STRING
    input.Body.desiredSoftwareSetId == STRING
    input.Body.softwareSetUpdateSchedule == enum_SoftwareSetUpdateSchedule[_]
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# UpdateEnvironment

```erlang
enum_ApplyTimeOf := [ "UTC", "DEVICE" ]
enum_DayOfWeek := [ "MONDAY", "TUESDAY", "WEDNESDAY", "THURSDAY", "FRIDAY", "SATURDAY", "SUNDAY" ]
enum_MaintenanceWindowType := [ "SYSTEM", "CUSTOM" ]
enum_SoftwareSetUpdateMode := [ "USE_LATEST", "USE_DESIRED" ]
enum_SoftwareSetUpdateSchedule := [ "USE_MAINTENANCE_WINDOW", "APPLY_IMMEDIATELY" ]

valid {
    input.Body.name == STRING
    input.Body.desktopArn == STRING
    input.Body.desktopEndpoint == STRING
    input.Body.softwareSetUpdateSchedule == enum_SoftwareSetUpdateSchedule[_]
    input.Body.maintenanceWindow.type == enum_MaintenanceWindowType[_]
    input.Body.maintenanceWindow.startTimeHour == INTEGER
    input.Body.maintenanceWindow.startTimeMinute == INTEGER
    input.Body.maintenanceWindow.endTimeHour == INTEGER
    input.Body.maintenanceWindow.endTimeMinute == INTEGER
    input.Body.maintenanceWindow.daysOfTheWeek[_] == enum_DayOfWeek[_]
    input.Body.maintenanceWindow.applyTimeOf == enum_ApplyTimeOf[_]
    input.Body.softwareSetUpdateMode == enum_SoftwareSetUpdateMode[_]
    input.Body.desiredSoftwareSetId == STRING
    input.Body.deviceCreationTags.STRING == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# UpdateSoftwareSet

```erlang
enum_SoftwareSetValidationStatus := [ "VALIDATED", "NOT_VALIDATED" ]

valid {
    input.Body.validationStatus == enum_SoftwareSetValidationStatus[_]
    input.ReqMap.id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```