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.Body.name == STRING
input.Body.type == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
enum_IdentityType := [ "SystemAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.identity == {}
input.Body.properties.storageAccountName == STRING
input.Body.plan.type == enum_IdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.kind.name == STRING
input.Body.kind.tier == enum_SkuTier[_]
input.Body.kind.size == STRING
input.Body.kind.family == STRING
input.Body.kind.capacity == INTEGER
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == 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.accountName == 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.accountName == 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
}
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.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_AccountKeyRegenerateRequestSerial := [ 1, 2 ]
valid {
input.Body.serial == enum_AccountKeyRegenerateRequestSerial[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_IdentityType := [ "SystemAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.identity.type == enum_IdentityType[_]
input.Body.properties.storageAccountName == STRING
input.Body.plan.type == enum_IdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.kind.name == STRING
input.Body.kind.tier == enum_SkuTier[_]
input.Body.kind.size == STRING
input.Body.kind.family == STRING
input.Body.kind.capacity == INTEGER
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == 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
}
enum_IdentityType := [ "SystemAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.properties.storageAccountName == STRING
input.Body.identity.type == enum_IdentityType[_]
input.Body.plan.type == enum_IdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.kind.name == STRING
input.Body.kind.tier == enum_SkuTier[_]
input.Body.kind.size == STRING
input.Body.kind.family == STRING
input.Body.kind.capacity == INTEGER
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == 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.accountName == 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.accountName == 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.accountName == 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
}
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.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_AccountKeyRegenerateRequestSerial := [ 1, 2 ]
valid {
input.Body.serial == enum_AccountKeyRegenerateRequestSerial[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_IdentityType := [ "SystemAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.properties.storageAccountName == STRING
input.Body.identity.type == enum_IdentityType[_]
input.Body.plan.type == enum_IdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.kind.name == STRING
input.Body.kind.tier == enum_SkuTier[_]
input.Body.kind.size == STRING
input.Body.kind.family == STRING
input.Body.kind.capacity == INTEGER
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_IdentityType := [ "SystemAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.properties.storageAccountName == STRING
input.Body.identity.type == enum_IdentityType[_]
input.Body.plan.type == enum_IdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.kind.name == STRING
input.Body.kind.tier == enum_SkuTier[_]
input.Body.kind.size == STRING
input.Body.kind.family == STRING
input.Body.kind.capacity == INTEGER
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == 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.accountName == 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.accountName == 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.accountName == 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
}
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.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_AccountKeyRegenerateRequestSerial := [ 1, 2 ]
valid {
input.Body.serial == enum_AccountKeyRegenerateRequestSerial[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_IdentityType := [ "SystemAssigned" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]
valid {
input.Body.properties.storageAccountName == STRING
input.Body.identity.type == enum_IdentityType[_]
input.Body.plan.type == enum_IdentityType[_]
input.Body.sku.name == STRING
input.Body.sku.tier == enum_SkuTier[_]
input.Body.sku.size == STRING
input.Body.sku.family == STRING
input.Body.sku.capacity == INTEGER
input.Body.kind.name == STRING
input.Body.kind.tier == enum_SkuTier[_]
input.Body.kind.size == STRING
input.Body.kind.family == STRING
input.Body.kind.capacity == INTEGER
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}