For AI agents: visit https://public.docs.kivera.io/llms.txt for an index of all pages formatted in Markdown and endpoints in OpenAPI.
enum_IdentityType := [ "SystemAssigned" ]
valid {
input.Body.identity.type == enum_IdentityType[_]
input.Body.properties == {}
input.Body.location == STRING
input.Body.tags.STRING == 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.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.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
valid {
input.Body.tags.STRING == 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.ReqMap.location == STRING
input.ReqMap.invitationId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.properties.invitationId == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_DataSetMappingKind := [ "Blob", "Container", "BlobFolder", "AdlsGen2FileSystem", "AdlsGen2Folder", "AdlsGen2File", "KustoCluster", "KustoDatabase", "KustoTable", "SqlDBTable", "SqlDWTable", "SynapseWorkspaceSqlPoolTable" ]
valid {
input.Body.kind == enum_DataSetMappingKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == STRING
input.ReqMap.dataSetMappingName == 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.ReqMap.shareSubscriptionName == STRING
input.ReqMap.dataSetMappingName == 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.ReqMap.shareSubscriptionName == STRING
input.ReqMap.dataSetMappingName == 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.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_DataSetKind := [ "Blob", "Container", "BlobFolder", "AdlsGen2FileSystem", "AdlsGen2Folder", "AdlsGen2File", "AdlsGen1Folder", "AdlsGen1File", "KustoCluster", "KustoDatabase", "KustoTable", "SqlDBTable", "SqlDWTable", "SynapseWorkspaceSqlPoolTable" ]
valid {
input.Body.kind == enum_DataSetKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == STRING
input.ReqMap.dataSetName == 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.ReqMap.shareName == STRING
input.ReqMap.dataSetName == 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.ReqMap.shareName == STRING
input.ReqMap.dataSetName == 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.ReqMap.shareName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.activationCode == STRING
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.location == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.properties.expirationDate == STRING
input.Body.properties.targetActiveDirectoryId == STRING
input.Body.properties.targetEmail == STRING
input.Body.properties.targetObjectId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == STRING
input.ReqMap.invitationName == 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.ReqMap.shareName == STRING
input.ReqMap.invitationName == 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.ReqMap.shareName == STRING
input.ReqMap.invitationName == 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.ReqMap.shareName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == 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.Body.properties.expirationDate == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == STRING
input.ReqMap.providerShareSubscriptionId == 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.ReqMap.shareName == STRING
input.ReqMap.providerShareSubscriptionId == 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.ReqMap.shareName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.properties.expirationDate == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == STRING
input.ReqMap.providerShareSubscriptionId == 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.ReqMap.shareName == STRING
input.ReqMap.providerShareSubscriptionId == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.synchronizationId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.properties.expirationDate == STRING
input.Body.properties.invitationId == STRING
input.Body.properties.sourceShareLocation == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == 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.ReqMap.shareSubscriptionName == 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.ReqMap.shareSubscriptionName == 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.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == 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.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.synchronizationId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == 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.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_SynchronizeSynchronizationMode := [ "Incremental", "FullSync" ]
valid {
input.Body.synchronizationMode == enum_SynchronizeSynchronizationMode[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_SharePropertiesShareKind := [ "CopyBased", "InPlace" ]
valid {
input.Body.properties.description == STRING
input.Body.properties.shareKind == enum_SharePropertiesShareKind[_]
input.Body.properties.terms == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == 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.ReqMap.shareName == 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.ReqMap.shareName == 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.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
valid {
input.Body.consumerEmail == STRING
input.Body.consumerName == STRING
input.Body.consumerTenantName == STRING
input.Body.durationMs == INTEGER
input.Body.endTime == STRING
input.Body.message == STRING
input.Body.startTime == STRING
input.Body.status == STRING
input.Body.synchronizationId == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == 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.ReqMap.shareName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.Qs.$filter == STRING
input.Qs.$orderby == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_SynchronizationSettingKind := [ "ScheduleBased" ]
valid {
input.Body.kind == enum_SynchronizationSettingKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareName == STRING
input.ReqMap.synchronizationSettingName == 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.ReqMap.shareName == STRING
input.ReqMap.synchronizationSettingName == 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.ReqMap.shareName == STRING
input.ReqMap.synchronizationSettingName == 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.ReqMap.shareName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
enum_TriggerKind := [ "ScheduleBased" ]
valid {
input.Body.kind == enum_TriggerKind[_]
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.accountName == STRING
input.ReqMap.shareSubscriptionName == STRING
input.ReqMap.triggerName == 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.ReqMap.shareSubscriptionName == STRING
input.ReqMap.triggerName == 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.ReqMap.shareSubscriptionName == STRING
input.ReqMap.triggerName == 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.ReqMap.shareSubscriptionName == STRING
input.Qs.api-version == STRING
input.Qs.$skipToken == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}