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.ChannelFlowArn == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelMembershipType := [ "DEFAULT", "HIDDEN" ]
valid {
input.Body.Type == enum_ChannelMembershipType[_]
input.Body.MemberArns[_] == STRING
input.Body.SubChannelId == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_PushNotificationType := [ "DEFAULT", "VOIP" ]
valid {
input.Body.CallbackId == STRING
input.Body.DeleteResource == BOOLEAN
input.Body.ChannelMessage.MessageId == STRING
input.Body.ChannelMessage.Content == STRING
input.Body.ChannelMessage.Metadata == STRING
input.Body.ChannelMessage.PushNotification.Title == STRING
input.Body.ChannelMessage.PushNotification.Body == STRING
input.Body.ChannelMessage.PushNotification.Type == enum_PushNotificationType[_]
input.Body.ChannelMessage.MessageAttributes.STRING.StringValues[_] == STRING
input.Body.ChannelMessage.SubChannelId == STRING
input.Body.ChannelMessage.ContentType == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelMode := [ "UNRESTRICTED", "RESTRICTED" ]
enum_ChannelPrivacy := [ "PUBLIC", "PRIVATE" ]
enum_ExpirationCriterion := [ "CREATED_TIMESTAMP", "LAST_MESSAGE_TIMESTAMP" ]
valid {
input.Body.AppInstanceArn == STRING
input.Body.Name == STRING
input.Body.Mode == enum_ChannelMode[_]
input.Body.Privacy == enum_ChannelPrivacy[_]
input.Body.Metadata == STRING
input.Body.ClientRequestToken == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.Body.ChannelId == STRING
input.Body.MemberArns[_] == STRING
input.Body.ModeratorArns[_] == STRING
input.Body.ElasticChannelConfiguration.MaximumSubChannels == INTEGER
input.Body.ElasticChannelConfiguration.TargetMembershipsPerSubChannel == INTEGER
input.Body.ElasticChannelConfiguration.MinimumMembershipPercentage == INTEGER
input.Body.ExpirationSettings.ExpirationDays == INTEGER
input.Body.ExpirationSettings.ExpirationCriterion == enum_ExpirationCriterion[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.MemberArn == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_FallbackAction := [ "CONTINUE", "ABORT" ]
enum_InvocationType := [ "ASYNC" ]
valid {
input.Body.AppInstanceArn == STRING
input.Body.Processors[_].Name == STRING
input.Body.Processors[_].Configuration.Lambda.ResourceArn == STRING
input.Body.Processors[_].Configuration.Lambda.InvocationType == enum_InvocationType[_]
input.Body.Processors[_].ExecutionOrder == INTEGER
input.Body.Processors[_].FallbackAction == enum_FallbackAction[_]
input.Body.Name == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.Body.ClientRequestToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelMembershipType := [ "DEFAULT", "HIDDEN" ]
valid {
input.Body.MemberArn == STRING
input.Body.Type == enum_ChannelMembershipType[_]
input.Body.SubChannelId == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ChannelModeratorArn == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.memberArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelFlowArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.memberArn == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.messageId == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.channelModeratorArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.appInstanceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.memberArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelFlowArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.memberArn == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.Qs.app-instance-user-arn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.Qs.app-instance-user-arn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.channelModeratorArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.channelFlowArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.memberArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.messageId == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ReqMap.messageId == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_NetworkType := [ "IPV4_ONLY", "DUAL_STACK" ]
valid {
input.Qs.network-type == enum_NetworkType[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.appInstanceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.app-instance-arn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelMembershipType := [ "DEFAULT", "HIDDEN" ]
valid {
input.ReqMap.channelArn == STRING
input.Qs.type == enum_ChannelMembershipType[_]
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.app-instance-user-arn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_SortOrder := [ "ASCENDING", "DESCENDING" ]
valid {
input.ReqMap.channelArn == STRING
input.Qs.sort-order == enum_SortOrder[_]
input.Qs.not-before == TIMESTAMP
input.Qs.not-after == TIMESTAMP
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.Qs.sub-channel-id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelPrivacy := [ "PUBLIC", "PRIVATE" ]
valid {
input.Qs.app-instance-arn == STRING
input.Qs.privacy == enum_ChannelPrivacy[_]
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.channel-flow-arn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.app-instance-user-arn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Qs.arn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ExpirationCriterion := [ "CREATED_TIMESTAMP", "LAST_MESSAGE_TIMESTAMP" ]
valid {
input.Body.ExpirationSettings.ExpirationDays == INTEGER
input.Body.ExpirationSettings.ExpirationCriterion == enum_ExpirationCriterion[_]
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_AllowNotifications := [ "ALL", "NONE", "FILTERED" ]
valid {
input.Body.Preferences.PushNotifications.AllowNotifications == enum_AllowNotifications[_]
input.Body.Preferences.PushNotifications.FilterRule == STRING
input.ReqMap.channelArn == STRING
input.ReqMap.memberArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_MessagingDataType := [ "Channel", "ChannelMessage" ]
valid {
input.Body.StreamingConfigurations[_].DataType == enum_MessagingDataType[_]
input.Body.StreamingConfigurations[_].ResourceArn == STRING
input.ReqMap.appInstanceArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.SubChannelId == STRING
input.ReqMap.channelArn == STRING
input.ReqMap.messageId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_SearchFieldKey := [ "MEMBERS" ]
enum_SearchFieldOperator := [ "EQUALS", "INCLUDES" ]
valid {
input.Body.Fields[_].Key == enum_SearchFieldKey[_]
input.Body.Fields[_].Values[_] == STRING
input.Body.Fields[_].Operator == enum_SearchFieldOperator[_]
input.Qs.max-results == INTEGER
input.Qs.next-token == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelMessagePersistenceType := [ "PERSISTENT", "NON_PERSISTENT" ]
enum_ChannelMessageType := [ "STANDARD", "CONTROL" ]
enum_PushNotificationType := [ "DEFAULT", "VOIP" ]
valid {
input.Body.Content == STRING
input.Body.Type == enum_ChannelMessageType[_]
input.Body.Persistence == enum_ChannelMessagePersistenceType[_]
input.Body.Metadata == STRING
input.Body.ClientRequestToken == STRING
input.Body.PushNotification.Title == STRING
input.Body.PushNotification.Body == STRING
input.Body.PushNotification.Type == enum_PushNotificationType[_]
input.Body.MessageAttributes.STRING.StringValues[_] == STRING
input.Body.SubChannelId == STRING
input.Body.ContentType == STRING
input.Body.Target[_].MemberArn == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceARN == STRING
input.Body.Tags[_].Key == STRING
input.Body.Tags[_].Value == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.ResourceARN == STRING
input.Body.TagKeys[_] == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_ChannelMode := [ "UNRESTRICTED", "RESTRICTED" ]
valid {
input.Body.Name == STRING
input.Body.Mode == enum_ChannelMode[_]
input.Body.Metadata == STRING
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
enum_FallbackAction := [ "CONTINUE", "ABORT" ]
enum_InvocationType := [ "ASYNC" ]
valid {
input.Body.Processors[_].Name == STRING
input.Body.Processors[_].Configuration.Lambda.ResourceArn == STRING
input.Body.Processors[_].Configuration.Lambda.InvocationType == enum_InvocationType[_]
input.Body.Processors[_].ExecutionOrder == INTEGER
input.Body.Processors[_].FallbackAction == enum_FallbackAction[_]
input.Body.Name == STRING
input.ReqMap.channelFlowArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.Body.Content == STRING
input.Body.Metadata == STRING
input.Body.SubChannelId == STRING
input.Body.ContentType == STRING
input.ReqMap.channelArn == STRING
input.ReqMap.messageId == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}
valid {
input.ReqMap.channelArn == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}