For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_ApplyUpdatePropertiesStatus := [ "Pending", "InProgress", "Completed", "RetryNow", "RetryLater", "NoUpdatesPending", "Cancel", "Cancelled" ]
valid {
input.Body.properties.status == enum_ApplyUpdatePropertiesStatus[_]
input.Body.properties.resourceId == STRING
input.Body.properties.lastUpdateTime == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.applyUpdateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.applyUpdateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.applyUpdateName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
valid {
input.Body.location == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.resourceId == STRING
input.Body.properties.filter.resourceTypes[_] == STRING
input.Body.properties.filter.resourceGroups[_] == STRING
input.Body.properties.filter.osTypes[_] == STRING
input.Body.properties.filter.locations[_] == STRING
input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
valid {
input.Body.location == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.resourceId == STRING
input.Body.properties.filter.resourceTypes[_] == STRING
input.Body.properties.filter.resourceGroups[_] == STRING
input.Body.properties.filter.osTypes[_] == STRING
input.Body.properties.filter.locations[_] == STRING
input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
valid {
input.Body.location == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.resourceId == STRING
input.Body.properties.filter.resourceTypes[_] == STRING
input.Body.properties.filter.resourceGroups[_] == STRING
input.Body.properties.filter.osTypes[_] == STRING
input.Body.properties.filter.locations[_] == STRING
input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
valid {
input.Body.location == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.resourceId == STRING
input.Body.properties.filter.resourceTypes[_] == STRING
input.Body.properties.filter.resourceGroups[_] == STRING
input.Body.properties.filter.osTypes[_] == STRING
input.Body.properties.filter.locations[_] == STRING
input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
valid {
input.Body.location == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.resourceId == STRING
input.Body.properties.filter.resourceTypes[_] == STRING
input.Body.properties.filter.resourceGroups[_] == STRING
input.Body.properties.filter.osTypes[_] == STRING
input.Body.properties.filter.locations[_] == STRING
input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
valid {
input.Body.location == STRING
input.Body.properties.maintenanceConfigurationId == STRING
input.Body.properties.resourceId == STRING
input.Body.properties.filter.resourceTypes[_] == STRING
input.Body.properties.filter.resourceGroups[_] == STRING
input.Body.properties.filter.osTypes[_] == STRING
input.Body.properties.filter.locations[_] == STRING
input.Body.properties.filter.tagSettings.tags.STRING[_] == STRING
input.Body.properties.filter.tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.configurationAssignmentName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_InputPatchConfigurationRebootSetting := [ "IfRequired", "Never", "Always" ]
enum_MaintenanceConfigurationPropertiesMaintenanceScope := [ "Host", "Resource", "OSImage", "Extension", "InGuestPatch", "SQLDB", "SQLManagedInstance" ]
enum_MaintenanceConfigurationPropertiesVisibility := [ "Custom", "Public" ]
valid {
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.Body.properties.namespace == STRING
input.Body.properties.extensionProperties.STRING == STRING
input.Body.properties.maintenanceScope == enum_MaintenanceConfigurationPropertiesMaintenanceScope[_]
input.Body.properties.maintenanceWindow.startDateTime == STRING
input.Body.properties.maintenanceWindow.expirationDateTime == STRING
input.Body.properties.maintenanceWindow.duration == STRING
input.Body.properties.maintenanceWindow.timeZone == STRING
input.Body.properties.maintenanceWindow.recurEvery == STRING
input.Body.properties.visibility == enum_MaintenanceConfigurationPropertiesVisibility[_]
input.Body.properties.installPatches.rebootSetting == enum_InputPatchConfigurationRebootSetting[_]
input.Body.properties.installPatches.windowsParameters.kbNumbersToExclude[_] == STRING
input.Body.properties.installPatches.windowsParameters.kbNumbersToInclude[_] == STRING
input.Body.properties.installPatches.windowsParameters.classificationsToInclude[_] == STRING
input.Body.properties.installPatches.windowsParameters.excludeKbsRequiringReboot == BOOLEAN
input.Body.properties.installPatches.linuxParameters.packageNameMasksToExclude[_] == STRING
input.Body.properties.installPatches.linuxParameters.packageNameMasksToInclude[_] == STRING
input.Body.properties.installPatches.linuxParameters.classificationsToInclude[_] == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_InputPatchConfigurationRebootSetting := [ "IfRequired", "Never", "Always" ]
enum_MaintenanceConfigurationPropertiesMaintenanceScope := [ "Host", "Resource", "OSImage", "Extension", "InGuestPatch", "SQLDB", "SQLManagedInstance" ]
enum_MaintenanceConfigurationPropertiesVisibility := [ "Custom", "Public" ]
valid {
input.Body.location == STRING
input.Body.tags.STRING == STRING
input.Body.properties.namespace == STRING
input.Body.properties.extensionProperties.STRING == STRING
input.Body.properties.maintenanceScope == enum_MaintenanceConfigurationPropertiesMaintenanceScope[_]
input.Body.properties.maintenanceWindow.startDateTime == STRING
input.Body.properties.maintenanceWindow.expirationDateTime == STRING
input.Body.properties.maintenanceWindow.duration == STRING
input.Body.properties.maintenanceWindow.timeZone == STRING
input.Body.properties.maintenanceWindow.recurEvery == STRING
input.Body.properties.visibility == enum_MaintenanceConfigurationPropertiesVisibility[_]
input.Body.properties.installPatches.rebootSetting == enum_InputPatchConfigurationRebootSetting[_]
input.Body.properties.installPatches.windowsParameters.kbNumbersToExclude[_] == STRING
input.Body.properties.installPatches.windowsParameters.kbNumbersToInclude[_] == STRING
input.Body.properties.installPatches.windowsParameters.classificationsToInclude[_] == STRING
input.Body.properties.installPatches.windowsParameters.excludeKbsRequiringReboot == BOOLEAN
input.Body.properties.installPatches.linuxParameters.packageNameMasksToExclude[_] == STRING
input.Body.properties.installPatches.linuxParameters.packageNameMasksToInclude[_] == STRING
input.Body.properties.installPatches.linuxParameters.classificationsToInclude[_] == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.ReqMap.scheduledEventId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.providerName == STRING
input.ReqMap.resourceParentType == STRING
input.ReqMap.resourceParentName == STRING
input.ReqMap.resourceType == STRING
input.ReqMap.resourceName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}