comamazonawsdynamodbsmithygenerated

package
v0.1.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Jan 15, 2025 License: Apache-2.0 Imports: 10 Imported by: 2

Documentation

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func BackupInUseException_FromDafny 

func BackupInUseException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.BackupInUseException

func BackupInUseException_ToDafny 

func BackupInUseException_ToDafny(nativeInput types.BackupInUseException) ComAmazonawsDynamodbTypes.Error

func BackupNotFoundException_FromDafny 

func BackupNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.BackupNotFoundException

func BackupNotFoundException_ToDafny 

func BackupNotFoundException_ToDafny(nativeInput types.BackupNotFoundException) ComAmazonawsDynamodbTypes.Error

func BatchExecuteStatementInput_FromDafny 

func BatchExecuteStatementInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchExecuteStatementInput) dynamodb.BatchExecuteStatementInput

func BatchExecuteStatementInput_ToDafny 

func BatchExecuteStatementInput_ToDafny(nativeInput dynamodb.BatchExecuteStatementInput) ComAmazonawsDynamodbTypes.BatchExecuteStatementInput

func BatchExecuteStatementOutput_FromDafny 

func BatchExecuteStatementOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.BatchExecuteStatementOutput) dynamodb.BatchExecuteStatementOutput

func BatchExecuteStatementOutput_ToDafny 

func BatchExecuteStatementOutput_ToDafny(nativeOutput dynamodb.BatchExecuteStatementOutput) ComAmazonawsDynamodbTypes.BatchExecuteStatementOutput

func BatchGetItemInput_FromDafny 

func BatchGetItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchGetItemInput) dynamodb.BatchGetItemInput

func BatchGetItemInput_ToDafny 

func BatchGetItemInput_ToDafny(nativeInput dynamodb.BatchGetItemInput) ComAmazonawsDynamodbTypes.BatchGetItemInput

func BatchGetItemOutput_FromDafny 

func BatchGetItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.BatchGetItemOutput) dynamodb.BatchGetItemOutput

func BatchGetItemOutput_ToDafny 

func BatchGetItemOutput_ToDafny(nativeOutput dynamodb.BatchGetItemOutput) ComAmazonawsDynamodbTypes.BatchGetItemOutput

func BatchWriteItemInput_FromDafny 

func BatchWriteItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchWriteItemInput) dynamodb.BatchWriteItemInput

func BatchWriteItemInput_ToDafny 

func BatchWriteItemInput_ToDafny(nativeInput dynamodb.BatchWriteItemInput) ComAmazonawsDynamodbTypes.BatchWriteItemInput

func BatchWriteItemOutput_FromDafny 

func BatchWriteItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.BatchWriteItemOutput) dynamodb.BatchWriteItemOutput

func BatchWriteItemOutput_ToDafny 

func BatchWriteItemOutput_ToDafny(nativeOutput dynamodb.BatchWriteItemOutput) ComAmazonawsDynamodbTypes.BatchWriteItemOutput

func ConditionalCheckFailedException_FromDafny 

func ConditionalCheckFailedException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ConditionalCheckFailedException

func ConditionalCheckFailedException_ToDafny 

func ConditionalCheckFailedException_ToDafny(nativeInput types.ConditionalCheckFailedException) ComAmazonawsDynamodbTypes.Error

func ContinuousBackupsUnavailableException_FromDafny 

func ContinuousBackupsUnavailableException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ContinuousBackupsUnavailableException

func ContinuousBackupsUnavailableException_ToDafny 

func ContinuousBackupsUnavailableException_ToDafny(nativeInput types.ContinuousBackupsUnavailableException) ComAmazonawsDynamodbTypes.Error

func CreateBackupInput_FromDafny 

func CreateBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.CreateBackupInput) dynamodb.CreateBackupInput

func CreateBackupInput_ToDafny 

func CreateBackupInput_ToDafny(nativeInput dynamodb.CreateBackupInput) ComAmazonawsDynamodbTypes.CreateBackupInput

func CreateBackupOutput_FromDafny 

func CreateBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.CreateBackupOutput) dynamodb.CreateBackupOutput

func CreateBackupOutput_ToDafny 

func CreateBackupOutput_ToDafny(nativeOutput dynamodb.CreateBackupOutput) ComAmazonawsDynamodbTypes.CreateBackupOutput

func CreateGlobalTableInput_FromDafny 

func CreateGlobalTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.CreateGlobalTableInput) dynamodb.CreateGlobalTableInput

func CreateGlobalTableInput_ToDafny 

func CreateGlobalTableInput_ToDafny(nativeInput dynamodb.CreateGlobalTableInput) ComAmazonawsDynamodbTypes.CreateGlobalTableInput

func CreateGlobalTableOutput_FromDafny 

func CreateGlobalTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.CreateGlobalTableOutput) dynamodb.CreateGlobalTableOutput

func CreateGlobalTableOutput_ToDafny 

func CreateGlobalTableOutput_ToDafny(nativeOutput dynamodb.CreateGlobalTableOutput) ComAmazonawsDynamodbTypes.CreateGlobalTableOutput

func CreateTableInput_FromDafny 

func CreateTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.CreateTableInput) dynamodb.CreateTableInput

func CreateTableInput_ToDafny 

func CreateTableInput_ToDafny(nativeInput dynamodb.CreateTableInput) ComAmazonawsDynamodbTypes.CreateTableInput

func CreateTableOutput_FromDafny 

func CreateTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.CreateTableOutput) dynamodb.CreateTableOutput

func CreateTableOutput_ToDafny 

func CreateTableOutput_ToDafny(nativeOutput dynamodb.CreateTableOutput) ComAmazonawsDynamodbTypes.CreateTableOutput

func DeleteBackupInput_FromDafny 

func DeleteBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteBackupInput) dynamodb.DeleteBackupInput

func DeleteBackupInput_ToDafny 

func DeleteBackupInput_ToDafny(nativeInput dynamodb.DeleteBackupInput) ComAmazonawsDynamodbTypes.DeleteBackupInput

func DeleteBackupOutput_FromDafny 

func DeleteBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteBackupOutput) dynamodb.DeleteBackupOutput

func DeleteBackupOutput_ToDafny 

func DeleteBackupOutput_ToDafny(nativeOutput dynamodb.DeleteBackupOutput) ComAmazonawsDynamodbTypes.DeleteBackupOutput

func DeleteItemInput_FromDafny 

func DeleteItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteItemInput) dynamodb.DeleteItemInput

func DeleteItemInput_ToDafny 

func DeleteItemInput_ToDafny(nativeInput dynamodb.DeleteItemInput) ComAmazonawsDynamodbTypes.DeleteItemInput

func DeleteItemOutput_FromDafny 

func DeleteItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteItemOutput) dynamodb.DeleteItemOutput

func DeleteItemOutput_ToDafny 

func DeleteItemOutput_ToDafny(nativeOutput dynamodb.DeleteItemOutput) ComAmazonawsDynamodbTypes.DeleteItemOutput

func DeleteResourcePolicyInput_FromDafny 

func DeleteResourcePolicyInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteResourcePolicyInput) dynamodb.DeleteResourcePolicyInput

func DeleteResourcePolicyInput_ToDafny 

func DeleteResourcePolicyInput_ToDafny(nativeInput dynamodb.DeleteResourcePolicyInput) ComAmazonawsDynamodbTypes.DeleteResourcePolicyInput

func DeleteResourcePolicyOutput_FromDafny 

func DeleteResourcePolicyOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteResourcePolicyOutput) dynamodb.DeleteResourcePolicyOutput

func DeleteResourcePolicyOutput_ToDafny 

func DeleteResourcePolicyOutput_ToDafny(nativeOutput dynamodb.DeleteResourcePolicyOutput) ComAmazonawsDynamodbTypes.DeleteResourcePolicyOutput

func DeleteTableInput_FromDafny 

func DeleteTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteTableInput) dynamodb.DeleteTableInput

func DeleteTableInput_ToDafny 

func DeleteTableInput_ToDafny(nativeInput dynamodb.DeleteTableInput) ComAmazonawsDynamodbTypes.DeleteTableInput

func DeleteTableOutput_FromDafny 

func DeleteTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteTableOutput) dynamodb.DeleteTableOutput

func DeleteTableOutput_ToDafny 

func DeleteTableOutput_ToDafny(nativeOutput dynamodb.DeleteTableOutput) ComAmazonawsDynamodbTypes.DeleteTableOutput

func DescribeBackupInput_FromDafny 

func DescribeBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeBackupInput) dynamodb.DescribeBackupInput

func DescribeBackupInput_ToDafny 

func DescribeBackupInput_ToDafny(nativeInput dynamodb.DescribeBackupInput) ComAmazonawsDynamodbTypes.DescribeBackupInput

func DescribeBackupOutput_FromDafny 

func DescribeBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeBackupOutput) dynamodb.DescribeBackupOutput

func DescribeBackupOutput_ToDafny 

func DescribeBackupOutput_ToDafny(nativeOutput dynamodb.DescribeBackupOutput) ComAmazonawsDynamodbTypes.DescribeBackupOutput

func DescribeContinuousBackupsInput_FromDafny 

func DescribeContinuousBackupsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeContinuousBackupsInput) dynamodb.DescribeContinuousBackupsInput

func DescribeContinuousBackupsInput_ToDafny 

func DescribeContinuousBackupsInput_ToDafny(nativeInput dynamodb.DescribeContinuousBackupsInput) ComAmazonawsDynamodbTypes.DescribeContinuousBackupsInput

func DescribeContinuousBackupsOutput_FromDafny 

func DescribeContinuousBackupsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeContinuousBackupsOutput) dynamodb.DescribeContinuousBackupsOutput

func DescribeContinuousBackupsOutput_ToDafny 

func DescribeContinuousBackupsOutput_ToDafny(nativeOutput dynamodb.DescribeContinuousBackupsOutput) ComAmazonawsDynamodbTypes.DescribeContinuousBackupsOutput

func DescribeContributorInsightsInput_FromDafny 

func DescribeContributorInsightsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeContributorInsightsInput) dynamodb.DescribeContributorInsightsInput

func DescribeContributorInsightsInput_ToDafny 

func DescribeContributorInsightsInput_ToDafny(nativeInput dynamodb.DescribeContributorInsightsInput) ComAmazonawsDynamodbTypes.DescribeContributorInsightsInput

func DescribeContributorInsightsOutput_FromDafny 

func DescribeContributorInsightsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeContributorInsightsOutput) dynamodb.DescribeContributorInsightsOutput

func DescribeContributorInsightsOutput_ToDafny 

func DescribeContributorInsightsOutput_ToDafny(nativeOutput dynamodb.DescribeContributorInsightsOutput) ComAmazonawsDynamodbTypes.DescribeContributorInsightsOutput

func DescribeEndpointsInput_FromDafny 

func DescribeEndpointsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeEndpointsRequest) dynamodb.DescribeEndpointsInput

func DescribeEndpointsInput_ToDafny 

func DescribeEndpointsInput_ToDafny(nativeInput dynamodb.DescribeEndpointsInput) ComAmazonawsDynamodbTypes.DescribeEndpointsRequest

func DescribeEndpointsOutput_FromDafny 

func DescribeEndpointsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeEndpointsResponse) dynamodb.DescribeEndpointsOutput

func DescribeEndpointsOutput_ToDafny 

func DescribeEndpointsOutput_ToDafny(nativeOutput dynamodb.DescribeEndpointsOutput) ComAmazonawsDynamodbTypes.DescribeEndpointsResponse

func DescribeExportInput_FromDafny 

func DescribeExportInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeExportInput) dynamodb.DescribeExportInput

func DescribeExportInput_ToDafny 

func DescribeExportInput_ToDafny(nativeInput dynamodb.DescribeExportInput) ComAmazonawsDynamodbTypes.DescribeExportInput

func DescribeExportOutput_FromDafny 

func DescribeExportOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeExportOutput) dynamodb.DescribeExportOutput

func DescribeExportOutput_ToDafny 

func DescribeExportOutput_ToDafny(nativeOutput dynamodb.DescribeExportOutput) ComAmazonawsDynamodbTypes.DescribeExportOutput

func DescribeGlobalTableInput_FromDafny 

func DescribeGlobalTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeGlobalTableInput) dynamodb.DescribeGlobalTableInput

func DescribeGlobalTableInput_ToDafny 

func DescribeGlobalTableInput_ToDafny(nativeInput dynamodb.DescribeGlobalTableInput) ComAmazonawsDynamodbTypes.DescribeGlobalTableInput

func DescribeGlobalTableOutput_FromDafny 

func DescribeGlobalTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeGlobalTableOutput) dynamodb.DescribeGlobalTableOutput

func DescribeGlobalTableOutput_ToDafny 

func DescribeGlobalTableOutput_ToDafny(nativeOutput dynamodb.DescribeGlobalTableOutput) ComAmazonawsDynamodbTypes.DescribeGlobalTableOutput

func DescribeGlobalTableSettingsInput_FromDafny 

func DescribeGlobalTableSettingsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsInput) dynamodb.DescribeGlobalTableSettingsInput

func DescribeGlobalTableSettingsInput_ToDafny 

func DescribeGlobalTableSettingsInput_ToDafny(nativeInput dynamodb.DescribeGlobalTableSettingsInput) ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsInput

func DescribeGlobalTableSettingsOutput_FromDafny 

func DescribeGlobalTableSettingsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsOutput) dynamodb.DescribeGlobalTableSettingsOutput

func DescribeGlobalTableSettingsOutput_ToDafny 

func DescribeGlobalTableSettingsOutput_ToDafny(nativeOutput dynamodb.DescribeGlobalTableSettingsOutput) ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsOutput

func DescribeImportInput_FromDafny 

func DescribeImportInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeImportInput) dynamodb.DescribeImportInput

func DescribeImportInput_ToDafny 

func DescribeImportInput_ToDafny(nativeInput dynamodb.DescribeImportInput) ComAmazonawsDynamodbTypes.DescribeImportInput

func DescribeImportOutput_FromDafny 

func DescribeImportOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeImportOutput) dynamodb.DescribeImportOutput

func DescribeImportOutput_ToDafny 

func DescribeImportOutput_ToDafny(nativeOutput dynamodb.DescribeImportOutput) ComAmazonawsDynamodbTypes.DescribeImportOutput

func DescribeKinesisStreamingDestinationInput_FromDafny 

func DescribeKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationInput) dynamodb.DescribeKinesisStreamingDestinationInput

func DescribeKinesisStreamingDestinationInput_ToDafny 

func DescribeKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.DescribeKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationInput

func DescribeKinesisStreamingDestinationOutput_FromDafny 

func DescribeKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationOutput) dynamodb.DescribeKinesisStreamingDestinationOutput

func DescribeKinesisStreamingDestinationOutput_ToDafny 

func DescribeKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.DescribeKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationOutput

func DescribeLimitsInput_FromDafny 

func DescribeLimitsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeLimitsInput) dynamodb.DescribeLimitsInput

func DescribeLimitsInput_ToDafny 

func DescribeLimitsInput_ToDafny(nativeInput dynamodb.DescribeLimitsInput) ComAmazonawsDynamodbTypes.DescribeLimitsInput

func DescribeLimitsOutput_FromDafny 

func DescribeLimitsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeLimitsOutput) dynamodb.DescribeLimitsOutput

func DescribeLimitsOutput_ToDafny 

func DescribeLimitsOutput_ToDafny(nativeOutput dynamodb.DescribeLimitsOutput) ComAmazonawsDynamodbTypes.DescribeLimitsOutput

func DescribeTableInput_FromDafny 

func DescribeTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeTableInput) dynamodb.DescribeTableInput

func DescribeTableInput_ToDafny 

func DescribeTableInput_ToDafny(nativeInput dynamodb.DescribeTableInput) ComAmazonawsDynamodbTypes.DescribeTableInput

func DescribeTableOutput_FromDafny 

func DescribeTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeTableOutput) dynamodb.DescribeTableOutput

func DescribeTableOutput_ToDafny 

func DescribeTableOutput_ToDafny(nativeOutput dynamodb.DescribeTableOutput) ComAmazonawsDynamodbTypes.DescribeTableOutput

func DescribeTableReplicaAutoScalingInput_FromDafny 

func DescribeTableReplicaAutoScalingInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingInput) dynamodb.DescribeTableReplicaAutoScalingInput

func DescribeTableReplicaAutoScalingInput_ToDafny 

func DescribeTableReplicaAutoScalingInput_ToDafny(nativeInput dynamodb.DescribeTableReplicaAutoScalingInput) ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingInput

func DescribeTableReplicaAutoScalingOutput_FromDafny 

func DescribeTableReplicaAutoScalingOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingOutput) dynamodb.DescribeTableReplicaAutoScalingOutput

func DescribeTableReplicaAutoScalingOutput_ToDafny 

func DescribeTableReplicaAutoScalingOutput_ToDafny(nativeOutput dynamodb.DescribeTableReplicaAutoScalingOutput) ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingOutput

func DescribeTimeToLiveInput_FromDafny 

func DescribeTimeToLiveInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeTimeToLiveInput) dynamodb.DescribeTimeToLiveInput

func DescribeTimeToLiveInput_ToDafny 

func DescribeTimeToLiveInput_ToDafny(nativeInput dynamodb.DescribeTimeToLiveInput) ComAmazonawsDynamodbTypes.DescribeTimeToLiveInput

func DescribeTimeToLiveOutput_FromDafny 

func DescribeTimeToLiveOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeTimeToLiveOutput) dynamodb.DescribeTimeToLiveOutput

func DescribeTimeToLiveOutput_ToDafny 

func DescribeTimeToLiveOutput_ToDafny(nativeOutput dynamodb.DescribeTimeToLiveOutput) ComAmazonawsDynamodbTypes.DescribeTimeToLiveOutput

func DisableKinesisStreamingDestinationInput_FromDafny 

func DisableKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationInput) dynamodb.DisableKinesisStreamingDestinationInput

func DisableKinesisStreamingDestinationInput_ToDafny 

func DisableKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.DisableKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationInput

func DisableKinesisStreamingDestinationOutput_FromDafny 

func DisableKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationOutput) dynamodb.DisableKinesisStreamingDestinationOutput

func DisableKinesisStreamingDestinationOutput_ToDafny 

func DisableKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.DisableKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationOutput

func DuplicateItemException_FromDafny 

func DuplicateItemException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.DuplicateItemException

func DuplicateItemException_ToDafny 

func DuplicateItemException_ToDafny(nativeInput types.DuplicateItemException) ComAmazonawsDynamodbTypes.Error

func EnableKinesisStreamingDestinationInput_FromDafny 

func EnableKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationInput) dynamodb.EnableKinesisStreamingDestinationInput

func EnableKinesisStreamingDestinationInput_ToDafny 

func EnableKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.EnableKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationInput

func EnableKinesisStreamingDestinationOutput_FromDafny 

func EnableKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationOutput) dynamodb.EnableKinesisStreamingDestinationOutput

func EnableKinesisStreamingDestinationOutput_ToDafny 

func EnableKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.EnableKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationOutput

func Error_FromDafny 

func Error_FromDafny(err ComAmazonawsDynamodbTypes.Error) error

func Error_ToDafny 

func Error_ToDafny(err error) ComAmazonawsDynamodbTypes.Error

func ExecuteStatementInput_FromDafny 

func ExecuteStatementInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ExecuteStatementInput) dynamodb.ExecuteStatementInput

func ExecuteStatementInput_ToDafny 

func ExecuteStatementInput_ToDafny(nativeInput dynamodb.ExecuteStatementInput) ComAmazonawsDynamodbTypes.ExecuteStatementInput

func ExecuteStatementOutput_FromDafny 

func ExecuteStatementOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ExecuteStatementOutput) dynamodb.ExecuteStatementOutput

func ExecuteStatementOutput_ToDafny 

func ExecuteStatementOutput_ToDafny(nativeOutput dynamodb.ExecuteStatementOutput) ComAmazonawsDynamodbTypes.ExecuteStatementOutput

func ExecuteTransactionInput_FromDafny 

func ExecuteTransactionInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ExecuteTransactionInput) dynamodb.ExecuteTransactionInput

func ExecuteTransactionInput_ToDafny 

func ExecuteTransactionInput_ToDafny(nativeInput dynamodb.ExecuteTransactionInput) ComAmazonawsDynamodbTypes.ExecuteTransactionInput

func ExecuteTransactionOutput_FromDafny 

func ExecuteTransactionOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ExecuteTransactionOutput) dynamodb.ExecuteTransactionOutput

func ExecuteTransactionOutput_ToDafny 

func ExecuteTransactionOutput_ToDafny(nativeOutput dynamodb.ExecuteTransactionOutput) ComAmazonawsDynamodbTypes.ExecuteTransactionOutput

func ExportConflictException_FromDafny 

func ExportConflictException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ExportConflictException

func ExportConflictException_ToDafny 

func ExportConflictException_ToDafny(nativeInput types.ExportConflictException) ComAmazonawsDynamodbTypes.Error

func ExportNotFoundException_FromDafny 

func ExportNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ExportNotFoundException

func ExportNotFoundException_ToDafny 

func ExportNotFoundException_ToDafny(nativeInput types.ExportNotFoundException) ComAmazonawsDynamodbTypes.Error

func ExportTableToPointInTimeInput_FromDafny 

func ExportTableToPointInTimeInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ExportTableToPointInTimeInput) dynamodb.ExportTableToPointInTimeInput

func ExportTableToPointInTimeInput_ToDafny 

func ExportTableToPointInTimeInput_ToDafny(nativeInput dynamodb.ExportTableToPointInTimeInput) ComAmazonawsDynamodbTypes.ExportTableToPointInTimeInput

func ExportTableToPointInTimeOutput_FromDafny 

func ExportTableToPointInTimeOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ExportTableToPointInTimeOutput) dynamodb.ExportTableToPointInTimeOutput

func ExportTableToPointInTimeOutput_ToDafny 

func ExportTableToPointInTimeOutput_ToDafny(nativeOutput dynamodb.ExportTableToPointInTimeOutput) ComAmazonawsDynamodbTypes.ExportTableToPointInTimeOutput

func GetItemInput_FromDafny 

func GetItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.GetItemInput) dynamodb.GetItemInput

func GetItemInput_ToDafny 

func GetItemInput_ToDafny(nativeInput dynamodb.GetItemInput) ComAmazonawsDynamodbTypes.GetItemInput

func GetItemOutput_FromDafny 

func GetItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.GetItemOutput) dynamodb.GetItemOutput

func GetItemOutput_ToDafny 

func GetItemOutput_ToDafny(nativeOutput dynamodb.GetItemOutput) ComAmazonawsDynamodbTypes.GetItemOutput

func GetResourcePolicyInput_FromDafny 

func GetResourcePolicyInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.GetResourcePolicyInput) dynamodb.GetResourcePolicyInput

func GetResourcePolicyInput_ToDafny 

func GetResourcePolicyInput_ToDafny(nativeInput dynamodb.GetResourcePolicyInput) ComAmazonawsDynamodbTypes.GetResourcePolicyInput

func GetResourcePolicyOutput_FromDafny 

func GetResourcePolicyOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.GetResourcePolicyOutput) dynamodb.GetResourcePolicyOutput

func GetResourcePolicyOutput_ToDafny 

func GetResourcePolicyOutput_ToDafny(nativeOutput dynamodb.GetResourcePolicyOutput) ComAmazonawsDynamodbTypes.GetResourcePolicyOutput

func GlobalTableAlreadyExistsException_FromDafny 

func GlobalTableAlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.GlobalTableAlreadyExistsException

func GlobalTableAlreadyExistsException_ToDafny 

func GlobalTableAlreadyExistsException_ToDafny(nativeInput types.GlobalTableAlreadyExistsException) ComAmazonawsDynamodbTypes.Error

func GlobalTableNotFoundException_FromDafny 

func GlobalTableNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.GlobalTableNotFoundException

func GlobalTableNotFoundException_ToDafny 

func GlobalTableNotFoundException_ToDafny(nativeInput types.GlobalTableNotFoundException) ComAmazonawsDynamodbTypes.Error

func IdempotentParameterMismatchException_FromDafny 

func IdempotentParameterMismatchException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.IdempotentParameterMismatchException

func IdempotentParameterMismatchException_ToDafny 

func IdempotentParameterMismatchException_ToDafny(nativeInput types.IdempotentParameterMismatchException) ComAmazonawsDynamodbTypes.Error

func ImportConflictException_FromDafny 

func ImportConflictException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ImportConflictException

func ImportConflictException_ToDafny 

func ImportConflictException_ToDafny(nativeInput types.ImportConflictException) ComAmazonawsDynamodbTypes.Error

func ImportNotFoundException_FromDafny 

func ImportNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ImportNotFoundException

func ImportNotFoundException_ToDafny 

func ImportNotFoundException_ToDafny(nativeInput types.ImportNotFoundException) ComAmazonawsDynamodbTypes.Error

func ImportTableInput_FromDafny 

func ImportTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ImportTableInput) dynamodb.ImportTableInput

func ImportTableInput_ToDafny 

func ImportTableInput_ToDafny(nativeInput dynamodb.ImportTableInput) ComAmazonawsDynamodbTypes.ImportTableInput

func ImportTableOutput_FromDafny 

func ImportTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ImportTableOutput) dynamodb.ImportTableOutput

func ImportTableOutput_ToDafny 

func ImportTableOutput_ToDafny(nativeOutput dynamodb.ImportTableOutput) ComAmazonawsDynamodbTypes.ImportTableOutput

func IndexNotFoundException_FromDafny 

func IndexNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.IndexNotFoundException

func IndexNotFoundException_ToDafny 

func IndexNotFoundException_ToDafny(nativeInput types.IndexNotFoundException) ComAmazonawsDynamodbTypes.Error

func InternalServerError_FromDafny 

func InternalServerError_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InternalServerError

func InternalServerError_ToDafny 

func InternalServerError_ToDafny(nativeInput types.InternalServerError) ComAmazonawsDynamodbTypes.Error

func InvalidEndpointException_FromDafny 

func InvalidEndpointException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InvalidEndpointException

func InvalidEndpointException_ToDafny 

func InvalidEndpointException_ToDafny(nativeInput types.InvalidEndpointException) ComAmazonawsDynamodbTypes.Error

func InvalidExportTimeException_FromDafny 

func InvalidExportTimeException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InvalidExportTimeException

func InvalidExportTimeException_ToDafny 

func InvalidExportTimeException_ToDafny(nativeInput types.InvalidExportTimeException) ComAmazonawsDynamodbTypes.Error

func InvalidRestoreTimeException_FromDafny 

func InvalidRestoreTimeException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InvalidRestoreTimeException

func InvalidRestoreTimeException_ToDafny 

func InvalidRestoreTimeException_ToDafny(nativeInput types.InvalidRestoreTimeException) ComAmazonawsDynamodbTypes.Error

func ItemCollectionSizeLimitExceededException_FromDafny 

func ItemCollectionSizeLimitExceededException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ItemCollectionSizeLimitExceededException

func ItemCollectionSizeLimitExceededException_ToDafny 

func ItemCollectionSizeLimitExceededException_ToDafny(nativeInput types.ItemCollectionSizeLimitExceededException) ComAmazonawsDynamodbTypes.Error

func LimitExceededException_FromDafny 

func LimitExceededException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.LimitExceededException

func LimitExceededException_ToDafny 

func LimitExceededException_ToDafny(nativeInput types.LimitExceededException) ComAmazonawsDynamodbTypes.Error

func ListBackupsInput_FromDafny 

func ListBackupsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListBackupsInput) dynamodb.ListBackupsInput

func ListBackupsInput_ToDafny 

func ListBackupsInput_ToDafny(nativeInput dynamodb.ListBackupsInput) ComAmazonawsDynamodbTypes.ListBackupsInput

func ListBackupsOutput_FromDafny 

func ListBackupsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListBackupsOutput) dynamodb.ListBackupsOutput

func ListBackupsOutput_ToDafny 

func ListBackupsOutput_ToDafny(nativeOutput dynamodb.ListBackupsOutput) ComAmazonawsDynamodbTypes.ListBackupsOutput

func ListContributorInsightsInput_FromDafny 

func ListContributorInsightsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListContributorInsightsInput) dynamodb.ListContributorInsightsInput

func ListContributorInsightsInput_ToDafny 

func ListContributorInsightsInput_ToDafny(nativeInput dynamodb.ListContributorInsightsInput) ComAmazonawsDynamodbTypes.ListContributorInsightsInput

func ListContributorInsightsOutput_FromDafny 

func ListContributorInsightsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListContributorInsightsOutput) dynamodb.ListContributorInsightsOutput

func ListContributorInsightsOutput_ToDafny 

func ListContributorInsightsOutput_ToDafny(nativeOutput dynamodb.ListContributorInsightsOutput) ComAmazonawsDynamodbTypes.ListContributorInsightsOutput

func ListExportsInput_FromDafny 

func ListExportsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListExportsInput) dynamodb.ListExportsInput

func ListExportsInput_ToDafny 

func ListExportsInput_ToDafny(nativeInput dynamodb.ListExportsInput) ComAmazonawsDynamodbTypes.ListExportsInput

func ListExportsOutput_FromDafny 

func ListExportsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListExportsOutput) dynamodb.ListExportsOutput

func ListExportsOutput_ToDafny 

func ListExportsOutput_ToDafny(nativeOutput dynamodb.ListExportsOutput) ComAmazonawsDynamodbTypes.ListExportsOutput

func ListGlobalTablesInput_FromDafny 

func ListGlobalTablesInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListGlobalTablesInput) dynamodb.ListGlobalTablesInput

func ListGlobalTablesInput_ToDafny 

func ListGlobalTablesInput_ToDafny(nativeInput dynamodb.ListGlobalTablesInput) ComAmazonawsDynamodbTypes.ListGlobalTablesInput

func ListGlobalTablesOutput_FromDafny 

func ListGlobalTablesOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListGlobalTablesOutput) dynamodb.ListGlobalTablesOutput

func ListGlobalTablesOutput_ToDafny 

func ListGlobalTablesOutput_ToDafny(nativeOutput dynamodb.ListGlobalTablesOutput) ComAmazonawsDynamodbTypes.ListGlobalTablesOutput

func ListImportsInput_FromDafny 

func ListImportsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListImportsInput) dynamodb.ListImportsInput

func ListImportsInput_ToDafny 

func ListImportsInput_ToDafny(nativeInput dynamodb.ListImportsInput) ComAmazonawsDynamodbTypes.ListImportsInput

func ListImportsOutput_FromDafny 

func ListImportsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListImportsOutput) dynamodb.ListImportsOutput

func ListImportsOutput_ToDafny 

func ListImportsOutput_ToDafny(nativeOutput dynamodb.ListImportsOutput) ComAmazonawsDynamodbTypes.ListImportsOutput

func ListTablesInput_FromDafny 

func ListTablesInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListTablesInput) dynamodb.ListTablesInput

func ListTablesInput_ToDafny 

func ListTablesInput_ToDafny(nativeInput dynamodb.ListTablesInput) ComAmazonawsDynamodbTypes.ListTablesInput

func ListTablesOutput_FromDafny 

func ListTablesOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListTablesOutput) dynamodb.ListTablesOutput

func ListTablesOutput_ToDafny 

func ListTablesOutput_ToDafny(nativeOutput dynamodb.ListTablesOutput) ComAmazonawsDynamodbTypes.ListTablesOutput

func ListTagsOfResourceInput_FromDafny 

func ListTagsOfResourceInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListTagsOfResourceInput) dynamodb.ListTagsOfResourceInput

func ListTagsOfResourceInput_ToDafny 

func ListTagsOfResourceInput_ToDafny(nativeInput dynamodb.ListTagsOfResourceInput) ComAmazonawsDynamodbTypes.ListTagsOfResourceInput

func ListTagsOfResourceOutput_FromDafny 

func ListTagsOfResourceOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListTagsOfResourceOutput) dynamodb.ListTagsOfResourceOutput

func ListTagsOfResourceOutput_ToDafny 

func ListTagsOfResourceOutput_ToDafny(nativeOutput dynamodb.ListTagsOfResourceOutput) ComAmazonawsDynamodbTypes.ListTagsOfResourceOutput

func OpaqueError_Input_ToDafny 

func OpaqueError_Input_ToDafny(nativeInput error) ComAmazonawsDynamodbTypes.Error

func OpaqueError_Output_FromDafny 

func OpaqueError_Output_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) error

func PointInTimeRecoveryUnavailableException_FromDafny 

func PointInTimeRecoveryUnavailableException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.PointInTimeRecoveryUnavailableException

func PointInTimeRecoveryUnavailableException_ToDafny 

func PointInTimeRecoveryUnavailableException_ToDafny(nativeInput types.PointInTimeRecoveryUnavailableException) ComAmazonawsDynamodbTypes.Error

func PolicyNotFoundException_FromDafny 

func PolicyNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.PolicyNotFoundException

func PolicyNotFoundException_ToDafny 

func PolicyNotFoundException_ToDafny(nativeInput types.PolicyNotFoundException) ComAmazonawsDynamodbTypes.Error

func ProvisionedThroughputExceededException_FromDafny 

func ProvisionedThroughputExceededException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ProvisionedThroughputExceededException

func ProvisionedThroughputExceededException_ToDafny 

func ProvisionedThroughputExceededException_ToDafny(nativeInput types.ProvisionedThroughputExceededException) ComAmazonawsDynamodbTypes.Error

func PutItemInput_FromDafny 

func PutItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.PutItemInput) dynamodb.PutItemInput

func PutItemInput_ToDafny 

func PutItemInput_ToDafny(nativeInput dynamodb.PutItemInput) ComAmazonawsDynamodbTypes.PutItemInput

func PutItemOutput_FromDafny 

func PutItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.PutItemOutput) dynamodb.PutItemOutput

func PutItemOutput_ToDafny 

func PutItemOutput_ToDafny(nativeOutput dynamodb.PutItemOutput) ComAmazonawsDynamodbTypes.PutItemOutput

func PutResourcePolicyInput_FromDafny 

func PutResourcePolicyInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.PutResourcePolicyInput) dynamodb.PutResourcePolicyInput

func PutResourcePolicyInput_ToDafny 

func PutResourcePolicyInput_ToDafny(nativeInput dynamodb.PutResourcePolicyInput) ComAmazonawsDynamodbTypes.PutResourcePolicyInput

func PutResourcePolicyOutput_FromDafny 

func PutResourcePolicyOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.PutResourcePolicyOutput) dynamodb.PutResourcePolicyOutput

func PutResourcePolicyOutput_ToDafny 

func PutResourcePolicyOutput_ToDafny(nativeOutput dynamodb.PutResourcePolicyOutput) ComAmazonawsDynamodbTypes.PutResourcePolicyOutput

func QueryInput_FromDafny 

func QueryInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.QueryInput) dynamodb.QueryInput

func QueryInput_ToDafny 

func QueryInput_ToDafny(nativeInput dynamodb.QueryInput) ComAmazonawsDynamodbTypes.QueryInput

func QueryOutput_FromDafny 

func QueryOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.QueryOutput) dynamodb.QueryOutput

func QueryOutput_ToDafny 

func QueryOutput_ToDafny(nativeOutput dynamodb.QueryOutput) ComAmazonawsDynamodbTypes.QueryOutput

func ReplicaAlreadyExistsException_FromDafny 

func ReplicaAlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ReplicaAlreadyExistsException

func ReplicaAlreadyExistsException_ToDafny 

func ReplicaAlreadyExistsException_ToDafny(nativeInput types.ReplicaAlreadyExistsException) ComAmazonawsDynamodbTypes.Error

func ReplicaNotFoundException_FromDafny 

func ReplicaNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ReplicaNotFoundException

func ReplicaNotFoundException_ToDafny 

func ReplicaNotFoundException_ToDafny(nativeInput types.ReplicaNotFoundException) ComAmazonawsDynamodbTypes.Error

func RequestLimitExceeded_FromDafny 

func RequestLimitExceeded_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.RequestLimitExceeded

func RequestLimitExceeded_ToDafny 

func RequestLimitExceeded_ToDafny(nativeInput types.RequestLimitExceeded) ComAmazonawsDynamodbTypes.Error

func ResourceInUseException_FromDafny 

func ResourceInUseException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ResourceInUseException

func ResourceInUseException_ToDafny 

func ResourceInUseException_ToDafny(nativeInput types.ResourceInUseException) ComAmazonawsDynamodbTypes.Error

func ResourceNotFoundException_FromDafny 

func ResourceNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ResourceNotFoundException

func ResourceNotFoundException_ToDafny 

func ResourceNotFoundException_ToDafny(nativeInput types.ResourceNotFoundException) ComAmazonawsDynamodbTypes.Error

func RestoreTableFromBackupInput_FromDafny 

func RestoreTableFromBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.RestoreTableFromBackupInput) dynamodb.RestoreTableFromBackupInput

func RestoreTableFromBackupInput_ToDafny 

func RestoreTableFromBackupInput_ToDafny(nativeInput dynamodb.RestoreTableFromBackupInput) ComAmazonawsDynamodbTypes.RestoreTableFromBackupInput

func RestoreTableFromBackupOutput_FromDafny 

func RestoreTableFromBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.RestoreTableFromBackupOutput) dynamodb.RestoreTableFromBackupOutput

func RestoreTableFromBackupOutput_ToDafny 

func RestoreTableFromBackupOutput_ToDafny(nativeOutput dynamodb.RestoreTableFromBackupOutput) ComAmazonawsDynamodbTypes.RestoreTableFromBackupOutput

func RestoreTableToPointInTimeInput_FromDafny 

func RestoreTableToPointInTimeInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeInput) dynamodb.RestoreTableToPointInTimeInput

func RestoreTableToPointInTimeInput_ToDafny 

func RestoreTableToPointInTimeInput_ToDafny(nativeInput dynamodb.RestoreTableToPointInTimeInput) ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeInput

func RestoreTableToPointInTimeOutput_FromDafny 

func RestoreTableToPointInTimeOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeOutput) dynamodb.RestoreTableToPointInTimeOutput

func RestoreTableToPointInTimeOutput_ToDafny 

func RestoreTableToPointInTimeOutput_ToDafny(nativeOutput dynamodb.RestoreTableToPointInTimeOutput) ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeOutput

func ScanInput_FromDafny 

func ScanInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ScanInput) dynamodb.ScanInput

func ScanInput_ToDafny 

func ScanInput_ToDafny(nativeInput dynamodb.ScanInput) ComAmazonawsDynamodbTypes.ScanInput

func ScanOutput_FromDafny 

func ScanOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ScanOutput) dynamodb.ScanOutput

func ScanOutput_ToDafny 

func ScanOutput_ToDafny(nativeOutput dynamodb.ScanOutput) ComAmazonawsDynamodbTypes.ScanOutput

func TableAlreadyExistsException_FromDafny 

func TableAlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TableAlreadyExistsException

func TableAlreadyExistsException_ToDafny 

func TableAlreadyExistsException_ToDafny(nativeInput types.TableAlreadyExistsException) ComAmazonawsDynamodbTypes.Error

func TableInUseException_FromDafny 

func TableInUseException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TableInUseException

func TableInUseException_ToDafny 

func TableInUseException_ToDafny(nativeInput types.TableInUseException) ComAmazonawsDynamodbTypes.Error

func TableNotFoundException_FromDafny 

func TableNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TableNotFoundException

func TableNotFoundException_ToDafny 

func TableNotFoundException_ToDafny(nativeInput types.TableNotFoundException) ComAmazonawsDynamodbTypes.Error

func TagResourceInput_FromDafny 

func TagResourceInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.TagResourceInput) dynamodb.TagResourceInput

func TagResourceInput_ToDafny 

func TagResourceInput_ToDafny(nativeInput dynamodb.TagResourceInput) ComAmazonawsDynamodbTypes.TagResourceInput

func TransactGetItemsInput_FromDafny 

func TransactGetItemsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.TransactGetItemsInput) dynamodb.TransactGetItemsInput

func TransactGetItemsInput_ToDafny 

func TransactGetItemsInput_ToDafny(nativeInput dynamodb.TransactGetItemsInput) ComAmazonawsDynamodbTypes.TransactGetItemsInput

func TransactGetItemsOutput_FromDafny 

func TransactGetItemsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.TransactGetItemsOutput) dynamodb.TransactGetItemsOutput

func TransactGetItemsOutput_ToDafny 

func TransactGetItemsOutput_ToDafny(nativeOutput dynamodb.TransactGetItemsOutput) ComAmazonawsDynamodbTypes.TransactGetItemsOutput

func TransactWriteItemsInput_FromDafny 

func TransactWriteItemsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.TransactWriteItemsInput) dynamodb.TransactWriteItemsInput

func TransactWriteItemsInput_ToDafny 

func TransactWriteItemsInput_ToDafny(nativeInput dynamodb.TransactWriteItemsInput) ComAmazonawsDynamodbTypes.TransactWriteItemsInput

func TransactWriteItemsOutput_FromDafny 

func TransactWriteItemsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.TransactWriteItemsOutput) dynamodb.TransactWriteItemsOutput

func TransactWriteItemsOutput_ToDafny 

func TransactWriteItemsOutput_ToDafny(nativeOutput dynamodb.TransactWriteItemsOutput) ComAmazonawsDynamodbTypes.TransactWriteItemsOutput

func TransactionCanceledException_FromDafny 

func TransactionCanceledException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TransactionCanceledException

func TransactionCanceledException_ToDafny 

func TransactionCanceledException_ToDafny(nativeInput types.TransactionCanceledException) ComAmazonawsDynamodbTypes.Error

func TransactionConflictException_FromDafny 

func TransactionConflictException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TransactionConflictException

func TransactionConflictException_ToDafny 

func TransactionConflictException_ToDafny(nativeInput types.TransactionConflictException) ComAmazonawsDynamodbTypes.Error

func TransactionInProgressException_FromDafny 

func TransactionInProgressException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TransactionInProgressException

func TransactionInProgressException_ToDafny 

func TransactionInProgressException_ToDafny(nativeInput types.TransactionInProgressException) ComAmazonawsDynamodbTypes.Error

func UntagResourceInput_FromDafny 

func UntagResourceInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UntagResourceInput) dynamodb.UntagResourceInput

func UntagResourceInput_ToDafny 

func UntagResourceInput_ToDafny(nativeInput dynamodb.UntagResourceInput) ComAmazonawsDynamodbTypes.UntagResourceInput

func UpdateContinuousBackupsInput_FromDafny 

func UpdateContinuousBackupsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateContinuousBackupsInput) dynamodb.UpdateContinuousBackupsInput

func UpdateContinuousBackupsInput_ToDafny 

func UpdateContinuousBackupsInput_ToDafny(nativeInput dynamodb.UpdateContinuousBackupsInput) ComAmazonawsDynamodbTypes.UpdateContinuousBackupsInput

func UpdateContinuousBackupsOutput_FromDafny 

func UpdateContinuousBackupsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateContinuousBackupsOutput) dynamodb.UpdateContinuousBackupsOutput

func UpdateContinuousBackupsOutput_ToDafny 

func UpdateContinuousBackupsOutput_ToDafny(nativeOutput dynamodb.UpdateContinuousBackupsOutput) ComAmazonawsDynamodbTypes.UpdateContinuousBackupsOutput

func UpdateContributorInsightsInput_FromDafny 

func UpdateContributorInsightsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateContributorInsightsInput) dynamodb.UpdateContributorInsightsInput

func UpdateContributorInsightsInput_ToDafny 

func UpdateContributorInsightsInput_ToDafny(nativeInput dynamodb.UpdateContributorInsightsInput) ComAmazonawsDynamodbTypes.UpdateContributorInsightsInput

func UpdateContributorInsightsOutput_FromDafny 

func UpdateContributorInsightsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateContributorInsightsOutput) dynamodb.UpdateContributorInsightsOutput

func UpdateContributorInsightsOutput_ToDafny 

func UpdateContributorInsightsOutput_ToDafny(nativeOutput dynamodb.UpdateContributorInsightsOutput) ComAmazonawsDynamodbTypes.UpdateContributorInsightsOutput

func UpdateGlobalTableInput_FromDafny 

func UpdateGlobalTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateGlobalTableInput) dynamodb.UpdateGlobalTableInput

func UpdateGlobalTableInput_ToDafny 

func UpdateGlobalTableInput_ToDafny(nativeInput dynamodb.UpdateGlobalTableInput) ComAmazonawsDynamodbTypes.UpdateGlobalTableInput

func UpdateGlobalTableOutput_FromDafny 

func UpdateGlobalTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateGlobalTableOutput) dynamodb.UpdateGlobalTableOutput

func UpdateGlobalTableOutput_ToDafny 

func UpdateGlobalTableOutput_ToDafny(nativeOutput dynamodb.UpdateGlobalTableOutput) ComAmazonawsDynamodbTypes.UpdateGlobalTableOutput

func UpdateGlobalTableSettingsInput_FromDafny 

func UpdateGlobalTableSettingsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsInput) dynamodb.UpdateGlobalTableSettingsInput

func UpdateGlobalTableSettingsInput_ToDafny 

func UpdateGlobalTableSettingsInput_ToDafny(nativeInput dynamodb.UpdateGlobalTableSettingsInput) ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsInput

func UpdateGlobalTableSettingsOutput_FromDafny 

func UpdateGlobalTableSettingsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsOutput) dynamodb.UpdateGlobalTableSettingsOutput

func UpdateGlobalTableSettingsOutput_ToDafny 

func UpdateGlobalTableSettingsOutput_ToDafny(nativeOutput dynamodb.UpdateGlobalTableSettingsOutput) ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsOutput

func UpdateItemInput_FromDafny 

func UpdateItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateItemInput) dynamodb.UpdateItemInput

func UpdateItemInput_ToDafny 

func UpdateItemInput_ToDafny(nativeInput dynamodb.UpdateItemInput) ComAmazonawsDynamodbTypes.UpdateItemInput

func UpdateItemOutput_FromDafny 

func UpdateItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateItemOutput) dynamodb.UpdateItemOutput

func UpdateItemOutput_ToDafny 

func UpdateItemOutput_ToDafny(nativeOutput dynamodb.UpdateItemOutput) ComAmazonawsDynamodbTypes.UpdateItemOutput

func UpdateKinesisStreamingDestinationInput_FromDafny 

func UpdateKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationInput) dynamodb.UpdateKinesisStreamingDestinationInput

func UpdateKinesisStreamingDestinationInput_ToDafny 

func UpdateKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.UpdateKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationInput

func UpdateKinesisStreamingDestinationOutput_FromDafny 

func UpdateKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationOutput) dynamodb.UpdateKinesisStreamingDestinationOutput

func UpdateKinesisStreamingDestinationOutput_ToDafny 

func UpdateKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.UpdateKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationOutput

func UpdateTableInput_FromDafny 

func UpdateTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateTableInput) dynamodb.UpdateTableInput

func UpdateTableInput_ToDafny 

func UpdateTableInput_ToDafny(nativeInput dynamodb.UpdateTableInput) ComAmazonawsDynamodbTypes.UpdateTableInput

func UpdateTableOutput_FromDafny 

func UpdateTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateTableOutput) dynamodb.UpdateTableOutput

func UpdateTableOutput_ToDafny 

func UpdateTableOutput_ToDafny(nativeOutput dynamodb.UpdateTableOutput) ComAmazonawsDynamodbTypes.UpdateTableOutput

func UpdateTableReplicaAutoScalingInput_FromDafny 

func UpdateTableReplicaAutoScalingInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingInput) dynamodb.UpdateTableReplicaAutoScalingInput

func UpdateTableReplicaAutoScalingInput_ToDafny 

func UpdateTableReplicaAutoScalingInput_ToDafny(nativeInput dynamodb.UpdateTableReplicaAutoScalingInput) ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingInput

func UpdateTableReplicaAutoScalingOutput_FromDafny 

func UpdateTableReplicaAutoScalingOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingOutput) dynamodb.UpdateTableReplicaAutoScalingOutput

func UpdateTableReplicaAutoScalingOutput_ToDafny 

func UpdateTableReplicaAutoScalingOutput_ToDafny(nativeOutput dynamodb.UpdateTableReplicaAutoScalingOutput) ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingOutput

func UpdateTimeToLiveInput_FromDafny 

func UpdateTimeToLiveInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateTimeToLiveInput) dynamodb.UpdateTimeToLiveInput

func UpdateTimeToLiveInput_ToDafny 

func UpdateTimeToLiveInput_ToDafny(nativeInput dynamodb.UpdateTimeToLiveInput) ComAmazonawsDynamodbTypes.UpdateTimeToLiveInput

func UpdateTimeToLiveOutput_FromDafny 

func UpdateTimeToLiveOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateTimeToLiveOutput) dynamodb.UpdateTimeToLiveOutput

func UpdateTimeToLiveOutput_ToDafny 

func UpdateTimeToLiveOutput_ToDafny(nativeOutput dynamodb.UpdateTimeToLiveOutput) ComAmazonawsDynamodbTypes.UpdateTimeToLiveOutput

Types

This section is empty.

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.