awscryptographymaterialproviderssmithygenerated

package

v0.2.0 Latest Latest Go to latest Published: Mar 19, 2025 License: Apache-2.0 Imports: 21 Imported by: 20

Documentation ¶

Index ¶

func AlgorithmSuiteInfo_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo
func AlgorithmSuiteInfo_ToDafny(...) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
func AwsCryptographicMaterialProvidersException_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func AwsCryptographicMaterialProvidersException_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func Aws_cryptography_materialProviders_AccountIdList_member_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_AccountIdList_member_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_AlgorithmSuiteId_DBE_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DBEAlgorithmSuiteId
func Aws_cryptography_materialProviders_AlgorithmSuiteId_DBE_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DBEAlgorithmSuiteId) Wrappers.Option
func Aws_cryptography_materialProviders_AlgorithmSuiteId_ESDK_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.ESDKAlgorithmSuiteId
func Aws_cryptography_materialProviders_AlgorithmSuiteId_ESDK_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_binaryId_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_binaryId_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_commitment_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_commitment_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_edkWrapping_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EdkWrappingAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_edkWrapping_ToDafny(...) AwsCryptographyMaterialProvidersTypes.EdkWrappingAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_encrypt_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Encrypt
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_encrypt_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Encrypt) AwsCryptographyMaterialProvidersTypes.Encrypt
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_id_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_id_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_kdf_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_kdf_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_messageVersion_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_messageVersion_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_signature_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.SignatureAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_signature_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.SignatureAlgorithm) AwsCryptographyMaterialProvidersTypes.SignatureAlgorithm
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_symmetricSignature_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_symmetricSignature_ToDafny(...) AwsCryptographyMaterialProvidersTypes.SymmetricSignatureAlgorithm
func Aws_cryptography_materialProviders_AwsCryptographicMaterialProvidersException_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_AwsCryptographicMaterialProvidersException_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CacheType_Default_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DefaultCache
func Aws_cryptography_materialProviders_CacheType_Default_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DefaultCache) Wrappers.Option
func Aws_cryptography_materialProviders_CacheType_MultiThreaded_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.MultiThreadedCache
func Aws_cryptography_materialProviders_CacheType_MultiThreaded_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.MultiThreadedCache) Wrappers.Option
func Aws_cryptography_materialProviders_CacheType_No_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.NoCache
func Aws_cryptography_materialProviders_CacheType_No_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.NoCache) Wrappers.Option
func Aws_cryptography_materialProviders_CacheType_SingleThreaded_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.SingleThreadedCache
func Aws_cryptography_materialProviders_CacheType_SingleThreaded_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.SingleThreadedCache) Wrappers.Option
func Aws_cryptography_materialProviders_CacheType_StormTracking_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.StormTrackingCache
func Aws_cryptography_materialProviders_CacheType_StormTracking_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.StormTrackingCache) Wrappers.Option
func Aws_cryptography_materialProviders_CommitmentPolicy_DBE_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DBECommitmentPolicy
func Aws_cryptography_materialProviders_CommitmentPolicy_DBE_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DBECommitmentPolicy) Wrappers.Option
func Aws_cryptography_materialProviders_CommitmentPolicy_ESDK_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.ESDKCommitmentPolicy
func Aws_cryptography_materialProviders_CommitmentPolicy_ESDK_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_regions_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_regions_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_KeyAgreementScheme_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_KeyAgreementScheme_ToDafny(...) AwsCryptographyMaterialProvidersTypes.KmsEcdhStaticConfigurations
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_curveSpec_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_curveSpec_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec) AwsCryptographyPrimitivesTypes.ECDHCurveSpec
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_branchKeyId_FromDafny(input interface{}) *string
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_branchKeyId_ToDafny(input *string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_cache_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CacheType
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_cache_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CacheType) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_keyStore_FromDafny(input interface{}) *awscryptographykeystoresmithygenerated.Client
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_keyStore_ToDafny(input *awscryptographykeystoresmithygenerated.Client) AwsCryptographyKeyStoreTypes.IKeyStoreClient
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_partitionId_FromDafny(input interface{}) *string
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_partitionId_ToDafny(input *string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_ttlSeconds_FromDafny(input interface{}) int64
func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_ttlSeconds_ToDafny(input int64) int64
func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient
func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsKeyId_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsKeyId_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_region_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_region_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_regions_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_regions_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient
func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsKeyId_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsKeyId_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_generator_FromDafny(input interface{}) *string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_generator_ToDafny(input *string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_kmsKeyIds_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_kmsKeyIds_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_generator_FromDafny(input interface{}) *string
func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_generator_ToDafny(input *string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_kmsKeyIds_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_kmsKeyIds_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_encryptionAlgorithm_FromDafny(input interface{}) kmstypes.EncryptionAlgorithmSpec
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_encryptionAlgorithm_ToDafny(input kmstypes.EncryptionAlgorithmSpec) ComAmazonawsKmsTypes.EncryptionAlgorithmSpec
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_grantTokens_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsClient_ToDafny(input *kms.Client) Wrappers.Option
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsKeyId_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsKeyId_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_publicKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_publicKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_CreateCryptographicMaterialsCacheInput_cache_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CacheType
func Aws_cryptography_materialProviders_CreateCryptographicMaterialsCacheInput_cache_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CacheType) AwsCryptographyMaterialProvidersTypes.CacheType
func Aws_cryptography_materialProviders_CreateMultiKeyringInput_childKeyrings_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.IKeyring
func Aws_cryptography_materialProviders_CreateMultiKeyringInput_childKeyrings_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.IKeyring) dafny.Sequence
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyName_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyName_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyNamespace_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyNamespace_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingAlg_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AesWrappingAlg
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingAlg_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AesWrappingAlg) AwsCryptographyMaterialProvidersTypes.AesWrappingAlg
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingKey_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_KeyAgreementScheme_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_KeyAgreementScheme_ToDafny(...) AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations
func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_curveSpec_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec
func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_curveSpec_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec) AwsCryptographyPrimitivesTypes.ECDHCurveSpec
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyName_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyName_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyNamespace_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyNamespace_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_paddingScheme_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.PaddingScheme
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_paddingScheme_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.PaddingScheme) AwsCryptographyMaterialProvidersTypes.PaddingScheme
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_privateKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_privateKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_publicKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_publicKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_CreateRequiredEncryptionContextCMMInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_CreateRequiredEncryptionContextCMMInput_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_DecryptMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_DecryptMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_DecryptMaterialsInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy
func Aws_cryptography_materialProviders_DecryptMaterialsInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy
func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptedDataKeys_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey
func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptedDataKeys_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) dafny.Sequence
func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_DecryptMaterialsInput_reproducedEncryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_DecryptMaterialsInput_reproducedEncryptionContext_ToDafny(input map[string]string) Wrappers.Option
func Aws_cryptography_materialProviders_DecryptMaterialsOutput_decryptionMaterials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func Aws_cryptography_materialProviders_DecryptMaterialsOutput_decryptionMaterials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func Aws_cryptography_materialProviders_DecryptionMaterials_algorithmSuite_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo
func Aws_cryptography_materialProviders_DecryptionMaterials_algorithmSuite_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
func Aws_cryptography_materialProviders_DecryptionMaterials_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_DecryptionMaterials_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_DecryptionMaterials_plaintextDataKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_DecryptionMaterials_plaintextDataKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_DecryptionMaterials_requiredEncryptionContextKeys_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_DecryptionMaterials_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_DecryptionMaterials_symmetricSigningKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_DecryptionMaterials_symmetricSigningKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_DecryptionMaterials_verificationKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_DecryptionMaterials_verificationKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_DefaultCache_entryCapacity_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_DefaultCache_entryCapacity_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_DeleteCacheEntryInput_identifier_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_DeleteCacheEntryInput_identifier_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_DerivationAlgorithm_HKDF_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.HKDF
func Aws_cryptography_materialProviders_DerivationAlgorithm_HKDF_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.HKDF) Wrappers.Option
func Aws_cryptography_materialProviders_DerivationAlgorithm_IDENTITY_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.IDENTITY
func Aws_cryptography_materialProviders_DerivationAlgorithm_IDENTITY_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.IDENTITY) Wrappers.Option
func Aws_cryptography_materialProviders_DerivationAlgorithm_None_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.None
func Aws_cryptography_materialProviders_DerivationAlgorithm_None_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.None) Wrappers.Option
func Aws_cryptography_materialProviders_DiscoveryFilter_accountIds_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_DiscoveryFilter_accountIds_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_DiscoveryFilter_partition_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_DiscoveryFilter_partition_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_ECDSA_curve_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.ECDSASignatureAlgorithm
func Aws_cryptography_materialProviders_ECDSA_curve_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.ECDSASignatureAlgorithm) AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm
func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_DIRECT_KEY_WRAPPING_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DIRECT_KEY_WRAPPING
func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_DIRECT_KEY_WRAPPING_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DIRECT_KEY_WRAPPING) Wrappers.Option
func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_IntermediateKeyWrapping_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.IntermediateKeyWrapping
func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_IntermediateKeyWrapping_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_Encrypt_AES_GCM_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.AES_GCM
func Aws_cryptography_materialProviders_Encrypt_AES_GCM_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.AES_GCM) Wrappers.Option
func Aws_cryptography_materialProviders_EncryptedDataKeyList_member_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey
func Aws_cryptography_materialProviders_EncryptedDataKeyList_member_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) AwsCryptographyMaterialProvidersTypes.EncryptedDataKey
func Aws_cryptography_materialProviders_EncryptedDataKey_ciphertext_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_EncryptedDataKey_ciphertext_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderId_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderId_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderInfo_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderInfo_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptionContextKeys_member_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_EncryptionContextKeys_member_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptionContext_key_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_EncryptionContext_key_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptionContext_value_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_EncryptionContext_value_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptionMaterials_algorithmSuite_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo
func Aws_cryptography_materialProviders_EncryptionMaterials_algorithmSuite_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo
func Aws_cryptography_materialProviders_EncryptionMaterials_encryptedDataKeys_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey
func Aws_cryptography_materialProviders_EncryptionMaterials_encryptedDataKeys_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptionMaterials_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_EncryptionMaterials_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_EncryptionMaterials_plaintextDataKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_EncryptionMaterials_plaintextDataKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_EncryptionMaterials_requiredEncryptionContextKeys_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_EncryptionMaterials_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_EncryptionMaterials_signingKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_EncryptionMaterials_signingKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_EncryptionMaterials_symmetricSigningKeys_FromDafny(input interface{}) [][]byte
func Aws_cryptography_materialProviders_EncryptionMaterials_symmetricSigningKeys_ToDafny(input [][]byte) Wrappers.Option
func Aws_cryptography_materialProviders_EntryAlreadyExists_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_EntryAlreadyExists_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_EntryDoesNotExist_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_EntryDoesNotExist_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_EphemeralPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_EphemeralPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_GetAlgorithmSuiteInfoInput_binaryId_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_GetAlgorithmSuiteInfoInput_binaryId_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_GetBranchKeyIdInput_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_GetBranchKeyIdInput_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_GetBranchKeyIdOutput_branchKeyId_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_GetBranchKeyIdOutput_branchKeyId_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_GetCacheEntryInput_bytesUsed_FromDafny(input interface{}) *int64
func Aws_cryptography_materialProviders_GetCacheEntryInput_bytesUsed_ToDafny(input *int64) Wrappers.Option
func Aws_cryptography_materialProviders_GetCacheEntryInput_identifier_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_GetCacheEntryInput_identifier_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_GetCacheEntryOutput_bytesUsed_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_GetCacheEntryOutput_bytesUsed_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_GetCacheEntryOutput_creationTime_FromDafny(input interface{}) int64
func Aws_cryptography_materialProviders_GetCacheEntryOutput_creationTime_ToDafny(input int64) int64
func Aws_cryptography_materialProviders_GetCacheEntryOutput_expiryTime_FromDafny(input interface{}) int64
func Aws_cryptography_materialProviders_GetCacheEntryOutput_expiryTime_ToDafny(input int64) int64
func Aws_cryptography_materialProviders_GetCacheEntryOutput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Materials
func Aws_cryptography_materialProviders_GetCacheEntryOutput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Materials) AwsCryptographyMaterialProvidersTypes.Materials
func Aws_cryptography_materialProviders_GetCacheEntryOutput_messagesUsed_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_GetCacheEntryOutput_messagesUsed_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_GetClientInput_region_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_GetClientInput_region_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_GetClientOutput_client_FromDafny(input interface{}) *kms.Client
func Aws_cryptography_materialProviders_GetClientOutput_client_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) Wrappers.Option
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_maxPlaintextLength_FromDafny(input interface{}) *int64
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_maxPlaintextLength_ToDafny(input *int64) Wrappers.Option
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny(input []string) Wrappers.Option
func Aws_cryptography_materialProviders_GetEncryptionMaterialsOutput_encryptionMaterials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func Aws_cryptography_materialProviders_GetEncryptionMaterialsOutput_encryptionMaterials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
func Aws_cryptography_materialProviders_GrantTokenList_member_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_GrantTokenList_member_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_HKDF_hmac_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm
func Aws_cryptography_materialProviders_HKDF_hmac_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm) AwsCryptographyPrimitivesTypes.DigestAlgorithm
func Aws_cryptography_materialProviders_HKDF_inputKeyLength_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_HKDF_inputKeyLength_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_HKDF_outputKeyLength_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_HKDF_outputKeyLength_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_HKDF_saltLength_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_HKDF_saltLength_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_InFlightTTLExceeded_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InFlightTTLExceeded_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_signingKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_signingKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_verificationKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_verificationKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_IntermediateKeyWrapping_keyEncryptionKeyKdf_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_IntermediateKeyWrapping_keyEncryptionKeyKdf_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_IntermediateKeyWrapping_macKeyKdf_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_IntermediateKeyWrapping_macKeyKdf_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm
func Aws_cryptography_materialProviders_IntermediateKeyWrapping_pdkEncryptAlgorithm_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Encrypt
func Aws_cryptography_materialProviders_IntermediateKeyWrapping_pdkEncryptAlgorithm_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Encrypt) AwsCryptographyMaterialProvidersTypes.Encrypt
func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnDecrypt_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnDecrypt_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnEncrypt_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnEncrypt_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfo_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfo_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InvalidDecryptionMaterialsTransition_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidDecryptionMaterialsTransition_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InvalidDecryptionMaterials_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidDecryptionMaterials_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InvalidEncryptionMaterialsTransition_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidEncryptionMaterialsTransition_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_InvalidEncryptionMaterials_message_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_InvalidEncryptionMaterials_message_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_KeyAgreementScheme_StaticConfiguration_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.StaticConfigurations
func Aws_cryptography_materialProviders_KeyAgreementScheme_StaticConfiguration_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_KmsKeyIdList_member_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_KmsKeyIdList_member_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderKmsIdentifier_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderKmsIdentifier_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderPublicKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderPublicKey_ToDafny(input []byte) Wrappers.Option
func Aws_cryptography_materialProviders_KmsPublicKeyDiscoveryInput_recipientKmsIdentifier_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_KmsPublicKeyDiscoveryInput_recipientKmsIdentifier_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_Materials_BeaconKey_FromDafny(input interface{}) awscryptographykeystoresmithygeneratedtypes.BeaconKeyMaterials
func Aws_cryptography_materialProviders_Materials_BeaconKey_ToDafny(input awscryptographykeystoresmithygeneratedtypes.BeaconKeyMaterials) Wrappers.Option
func Aws_cryptography_materialProviders_Materials_BranchKey_FromDafny(input interface{}) awscryptographykeystoresmithygeneratedtypes.BranchKeyMaterials
func Aws_cryptography_materialProviders_Materials_BranchKey_ToDafny(input awscryptographykeystoresmithygeneratedtypes.BranchKeyMaterials) Wrappers.Option
func Aws_cryptography_materialProviders_Materials_Decryption_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func Aws_cryptography_materialProviders_Materials_Decryption_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) Wrappers.Option
func Aws_cryptography_materialProviders_Materials_Encryption_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func Aws_cryptography_materialProviders_Materials_Encryption_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) Wrappers.Option
func Aws_cryptography_materialProviders_MultiThreadedCache_entryCapacity_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_MultiThreadedCache_entryCapacity_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_MultiThreadedCache_entryPruningTailSize_FromDafny(input interface{}) *int32
func Aws_cryptography_materialProviders_MultiThreadedCache_entryPruningTailSize_ToDafny(input *int32) Wrappers.Option
func Aws_cryptography_materialProviders_OnDecryptInput_encryptedDataKeys_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey
func Aws_cryptography_materialProviders_OnDecryptInput_encryptedDataKeys_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) dafny.Sequence
func Aws_cryptography_materialProviders_OnDecryptInput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func Aws_cryptography_materialProviders_OnDecryptInput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func Aws_cryptography_materialProviders_OnDecryptOutput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func Aws_cryptography_materialProviders_OnDecryptOutput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func Aws_cryptography_materialProviders_OnEncryptInput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func Aws_cryptography_materialProviders_OnEncryptInput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
func Aws_cryptography_materialProviders_OnEncryptOutput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func Aws_cryptography_materialProviders_OnEncryptOutput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
func Aws_cryptography_materialProviders_PublicKeyDiscoveryInput_recipientStaticPrivateKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_PublicKeyDiscoveryInput_recipientStaticPrivateKey_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_PutCacheEntryInput_bytesUsed_FromDafny(input interface{}) *int32
func Aws_cryptography_materialProviders_PutCacheEntryInput_bytesUsed_ToDafny(input *int32) Wrappers.Option
func Aws_cryptography_materialProviders_PutCacheEntryInput_creationTime_FromDafny(input interface{}) int64
func Aws_cryptography_materialProviders_PutCacheEntryInput_creationTime_ToDafny(input int64) int64
func Aws_cryptography_materialProviders_PutCacheEntryInput_expiryTime_FromDafny(input interface{}) int64
func Aws_cryptography_materialProviders_PutCacheEntryInput_expiryTime_ToDafny(input int64) int64
func Aws_cryptography_materialProviders_PutCacheEntryInput_identifier_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_PutCacheEntryInput_identifier_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_PutCacheEntryInput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Materials
func Aws_cryptography_materialProviders_PutCacheEntryInput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Materials) AwsCryptographyMaterialProvidersTypes.Materials
func Aws_cryptography_materialProviders_PutCacheEntryInput_messagesUsed_FromDafny(input interface{}) *int32
func Aws_cryptography_materialProviders_PutCacheEntryInput_messagesUsed_ToDafny(input *int32) Wrappers.Option
func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_PublicKeyDiscovery_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.PublicKeyDiscoveryInput
func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_PublicKeyDiscovery_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_senderStaticPrivateKey_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_senderStaticPrivateKey_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_RegionList_member_FromDafny(input interface{}) string
func Aws_cryptography_materialProviders_RegionList_member_ToDafny(input string) dafny.Sequence
func Aws_cryptography_materialProviders_SignatureAlgorithm_ECDSA_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.ECDSA
func Aws_cryptography_materialProviders_SignatureAlgorithm_ECDSA_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.ECDSA) Wrappers.Option
func Aws_cryptography_materialProviders_SignatureAlgorithm_None_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.None
func Aws_cryptography_materialProviders_SignatureAlgorithm_None_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.None) Wrappers.Option
func Aws_cryptography_materialProviders_SingleThreadedCache_entryCapacity_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_SingleThreadedCache_entryCapacity_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_SingleThreadedCache_entryPruningTailSize_FromDafny(input interface{}) *int32
func Aws_cryptography_materialProviders_SingleThreadedCache_entryPruningTailSize_ToDafny(input *int32) Wrappers.Option
func Aws_cryptography_materialProviders_StaticConfigurations_AWS_KMS_ECDH_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_StaticConfigurations_AWS_KMS_ECDH_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_StaticConfigurations_RAW_ECDH_FromDafny(input interface{}) ...
func Aws_cryptography_materialProviders_StaticConfigurations_RAW_ECDH_ToDafny(...) Wrappers.Option
func Aws_cryptography_materialProviders_StormTrackingCache_entryCapacity_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_StormTrackingCache_entryCapacity_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_StormTrackingCache_entryPruningTailSize_FromDafny(input interface{}) *int32
func Aws_cryptography_materialProviders_StormTrackingCache_entryPruningTailSize_ToDafny(input *int32) Wrappers.Option
func Aws_cryptography_materialProviders_StormTrackingCache_fanOut_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_StormTrackingCache_fanOut_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_StormTrackingCache_graceInterval_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_StormTrackingCache_graceInterval_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_StormTrackingCache_gracePeriod_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_StormTrackingCache_gracePeriod_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_StormTrackingCache_inFlightTTL_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_StormTrackingCache_inFlightTTL_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_StormTrackingCache_sleepMilli_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_StormTrackingCache_sleepMilli_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_StormTrackingCache_timeUnits_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.TimeUnits
func Aws_cryptography_materialProviders_StormTrackingCache_timeUnits_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.TimeUnits) Wrappers.Option
func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_HMAC_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm
func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_HMAC_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm) Wrappers.Option
func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_None_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.None
func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_None_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.None) Wrappers.Option
func Aws_cryptography_materialProviders_SymmetricSigningKeyList_member_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_SymmetricSigningKeyList_member_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_FromDafny(input interface{}) int32
func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_ToDafny(input int32) int32
func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_identifier_FromDafny(input interface{}) []byte
func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_identifier_ToDafny(input []byte) dafny.Sequence
func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_start_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_start_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_stop_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_stop_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_start_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_start_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_stop_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_stop_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_algorithm_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_algorithm_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_algorithm_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_algorithm_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy
func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy
func BranchKeyIdSupplier_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.IBranchKeyIdSupplier) awscryptographymaterialproviderssmithygeneratedtypes.IBranchKeyIdSupplier
func BranchKeyIdSupplier_ToDafny(...) AwsCryptographyMaterialProvidersTypes.IBranchKeyIdSupplier
func ClientSupplier_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.IClientSupplier) awscryptographymaterialproviderssmithygeneratedtypes.IClientSupplier
func ClientSupplier_ToDafny(...) AwsCryptographyMaterialProvidersTypes.IClientSupplier
func CollectionOfErrors_Input_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func CollectionOfErrors_Output_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.CollectionOfErrors
func CreateAwsKmsDiscoveryKeyringInput_FromDafny(...) ...
func CreateAwsKmsDiscoveryKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput
func CreateAwsKmsDiscoveryMultiKeyringInput_FromDafny(...) ...
func CreateAwsKmsDiscoveryMultiKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryMultiKeyringInput
func CreateAwsKmsEcdhKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsEcdhKeyringInput) ...
func CreateAwsKmsEcdhKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsEcdhKeyringInput
func CreateAwsKmsHierarchicalKeyringInput_FromDafny(...) ...
func CreateAwsKmsHierarchicalKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsHierarchicalKeyringInput
func CreateAwsKmsKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsKeyringInput
func CreateAwsKmsKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsKeyringInput
func CreateAwsKmsMrkDiscoveryKeyringInput_FromDafny(...) ...
func CreateAwsKmsMrkDiscoveryKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkDiscoveryKeyringInput
func CreateAwsKmsMrkDiscoveryMultiKeyringInput_FromDafny(...) ...
func CreateAwsKmsMrkDiscoveryMultiKeyringInput_ToDafny(...) ...
func CreateAwsKmsMrkKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkKeyringInput) ...
func CreateAwsKmsMrkKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkKeyringInput
func CreateAwsKmsMrkMultiKeyringInput_FromDafny(...) ...
func CreateAwsKmsMrkMultiKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkMultiKeyringInput
func CreateAwsKmsMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMultiKeyringInput) ...
func CreateAwsKmsMultiKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMultiKeyringInput
func CreateAwsKmsRsaKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsRsaKeyringInput) ...
func CreateAwsKmsRsaKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsRsaKeyringInput
func CreateCryptographicMaterialsCacheInput_FromDafny(...) ...
func CreateCryptographicMaterialsCacheInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateCryptographicMaterialsCacheInput
func CreateDefaultClientSupplierInput_FromDafny(...) ...
func CreateDefaultClientSupplierInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateDefaultClientSupplierInput
func CreateDefaultCryptographicMaterialsManagerInput_FromDafny(...) ...
func CreateDefaultCryptographicMaterialsManagerInput_ToDafny(...) ...
func CreateMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateMultiKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateMultiKeyringInput
func CreateMultiKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateMultiKeyringInput
func CreateRawAesKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRawAesKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRawAesKeyringInput
func CreateRawAesKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateRawAesKeyringInput
func CreateRawEcdhKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRawEcdhKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRawEcdhKeyringInput
func CreateRawEcdhKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateRawEcdhKeyringInput
func CreateRawRsaKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRawRsaKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRawRsaKeyringInput
func CreateRawRsaKeyringInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateRawRsaKeyringInput
func CreateRequiredEncryptionContextCMMInput_FromDafny(...) ...
func CreateRequiredEncryptionContextCMMInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.CreateRequiredEncryptionContextCMMInput
func CryptographicMaterialsCache_FromDafny(...) ...
func CryptographicMaterialsCache_ToDafny(...) AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache
func CryptographicMaterialsManager_FromDafny(...) ...
func CryptographicMaterialsManager_ToDafny(...) AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager
func DecryptMaterialsInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsInput
func DecryptMaterialsInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput
func DecryptMaterialsOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.DecryptMaterialsOutput) awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsOutput
func DecryptMaterialsOutput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.DecryptMaterialsOutput
func DecryptionMaterials_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials
func DecryptionMaterials_ToDafny(...) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials
func DeleteCacheEntryInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput) awscryptographymaterialproviderssmithygeneratedtypes.DeleteCacheEntryInput
func DeleteCacheEntryInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput
func EncryptionMaterials_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials
func EncryptionMaterials_ToDafny(...) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials
func EntryAlreadyExists_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.EntryAlreadyExists
func EntryAlreadyExists_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func EntryDoesNotExist_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.EntryDoesNotExist
func EntryDoesNotExist_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func Error_FromDafny(err AwsCryptographyMaterialProvidersTypes.Error) error
func Error_ToDafny(err error) AwsCryptographyMaterialProvidersTypes.Error
func GetAlgorithmSuiteInfoInput_FromDafny(dafnyInput dafny.Sequence) ...
func GetAlgorithmSuiteInfoInput_ToDafny(...) dafny.Sequence
func GetBranchKeyIdInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdInput) awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdInput
func GetBranchKeyIdInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdInput
func GetBranchKeyIdOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdOutput) awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdOutput
func GetBranchKeyIdOutput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdOutput
func GetCacheEntryInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryInput
func GetCacheEntryInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput
func GetCacheEntryOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput) awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryOutput
func GetCacheEntryOutput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput
func GetClientInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetClientInput) awscryptographymaterialproviderssmithygeneratedtypes.GetClientInput
func GetClientInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetClientInput
func GetEncryptionMaterialsInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) ...
func GetEncryptionMaterialsInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput
func GetEncryptionMaterialsOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsOutput) ...
func GetEncryptionMaterialsOutput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsOutput
func InFlightTTLExceeded_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InFlightTTLExceeded
func InFlightTTLExceeded_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InitializeDecryptionMaterialsInput_FromDafny(...) ...
func InitializeDecryptionMaterialsInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.InitializeDecryptionMaterialsInput
func InitializeEncryptionMaterialsInput_FromDafny(...) ...
func InitializeEncryptionMaterialsInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.InitializeEncryptionMaterialsInput
func InvalidAlgorithmSuiteInfoOnDecrypt_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func InvalidAlgorithmSuiteInfoOnDecrypt_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InvalidAlgorithmSuiteInfoOnEncrypt_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func InvalidAlgorithmSuiteInfoOnEncrypt_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InvalidAlgorithmSuiteInfo_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfo
func InvalidAlgorithmSuiteInfo_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InvalidDecryptionMaterialsTransition_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func InvalidDecryptionMaterialsTransition_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InvalidDecryptionMaterials_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func InvalidDecryptionMaterials_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InvalidEncryptionMaterialsTransition_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func InvalidEncryptionMaterialsTransition_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func InvalidEncryptionMaterials_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) ...
func InvalidEncryptionMaterials_ToDafny(...) AwsCryptographyMaterialProvidersTypes.Error
func KeyAgreementScheme_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.KeyAgreementScheme
func KeyAgreementScheme_ToDafny(...) AwsCryptographyMaterialProvidersTypes.KeyAgreementScheme
func Keyring_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.IKeyring) awscryptographymaterialproviderssmithygeneratedtypes.IKeyring
func Keyring_ToDafny(nativeResource awscryptographymaterialproviderssmithygeneratedtypes.IKeyring) AwsCryptographyMaterialProvidersTypes.IKeyring
func MaterialProvidersConfig_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.MaterialProvidersConfig) awscryptographymaterialproviderssmithygeneratedtypes.MaterialProvidersConfig
func MaterialProvidersConfig_ToDafny(...) AwsCryptographyMaterialProvidersTypes.MaterialProvidersConfig
func Materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Materials
func Materials_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.Materials) AwsCryptographyMaterialProvidersTypes.Materials
func OnDecryptInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.OnDecryptInput) awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptInput
func OnDecryptInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.OnDecryptInput
func OnDecryptOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.OnDecryptOutput) awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptOutput
func OnDecryptOutput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.OnDecryptOutput
func OnEncryptInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.OnEncryptInput) awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptInput
func OnEncryptInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.OnEncryptInput
func OnEncryptOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.OnEncryptOutput) awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptOutput
func OnEncryptOutput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.OnEncryptOutput
func OpaqueError_Input_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.OpaqueError) AwsCryptographyMaterialProvidersTypes.Error
func OpaqueError_Output_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.OpaqueError
func PutCacheEntryInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput) awscryptographymaterialproviderssmithygeneratedtypes.PutCacheEntryInput
func PutCacheEntryInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput
func StaticConfigurations_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.StaticConfigurations
func StaticConfigurations_ToDafny(...) AwsCryptographyMaterialProvidersTypes.StaticConfigurations
func UpdateUsageMetadataInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput) awscryptographymaterialproviderssmithygeneratedtypes.UpdateUsageMetadataInput
func UpdateUsageMetadataInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput
func ValidDecryptionMaterialsTransitionInput_FromDafny(...) ...
func ValidDecryptionMaterialsTransitionInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.ValidDecryptionMaterialsTransitionInput
func ValidEncryptionMaterialsTransitionInput_FromDafny(...) ...
func ValidEncryptionMaterialsTransitionInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.ValidEncryptionMaterialsTransitionInput
func ValidateCommitmentPolicyOnDecryptInput_FromDafny(...) ...
func ValidateCommitmentPolicyOnDecryptInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.ValidateCommitmentPolicyOnDecryptInput
func ValidateCommitmentPolicyOnEncryptInput_FromDafny(...) ...
func ValidateCommitmentPolicyOnEncryptInput_ToDafny(...) AwsCryptographyMaterialProvidersTypes.ValidateCommitmentPolicyOnEncryptInput
type BranchKeyIdSupplier
- func (this *BranchKeyIdSupplier) GetBranchKeyId(...) (*awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdOutput, ...)
type BranchKeyIdSupplierNativeWrapper
- func (this *BranchKeyIdSupplierNativeWrapper) GetBranchKeyId(input AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdInput) Wrappers.Result
type Client
- func NewClient(...) (*Client, error)
- func (client *Client) CreateAwsKmsDiscoveryKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsDiscoveryMultiKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsEcdhKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsHierarchicalKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsMrkDiscoveryKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsMrkDiscoveryMultiKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsMrkKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsMrkMultiKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsMultiKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateAwsKmsRsaKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateCryptographicMaterialsCache(ctx context.Context, ...) (...)
- func (client *Client) CreateDefaultClientSupplier(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IClientSupplier, error)
- func (client *Client) CreateDefaultCryptographicMaterialsManager(ctx context.Context, ...) (...)
- func (client *Client) CreateMultiKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateRawAesKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateRawEcdhKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateRawRsaKeyring(ctx context.Context, ...) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)
- func (client *Client) CreateRequiredEncryptionContextCMM(ctx context.Context, ...) (...)
- func (client *Client) DecryptionMaterialsWithPlaintextDataKey(ctx context.Context, ...) error
- func (client *Client) EncryptionMaterialsHasPlaintextDataKey(ctx context.Context, ...) error
- func (client *Client) GetAlgorithmSuiteInfo(ctx context.Context, params []byte) (*awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo, ...)
- func (client *Client) InitializeDecryptionMaterials(ctx context.Context, ...) (*awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials, ...)
- func (client *Client) InitializeEncryptionMaterials(ctx context.Context, ...) (*awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials, ...)
- func (client *Client) ValidAlgorithmSuiteInfo(ctx context.Context, ...) error
- func (client *Client) ValidDecryptionMaterialsTransition(ctx context.Context, ...) error
- func (client *Client) ValidEncryptionMaterialsTransition(ctx context.Context, ...) error
- func (client *Client) ValidateCommitmentPolicyOnDecrypt(ctx context.Context, ...) error
- func (client *Client) ValidateCommitmentPolicyOnEncrypt(ctx context.Context, ...) error
type ClientSupplier
- func (this *ClientSupplier) GetClient(params awscryptographymaterialproviderssmithygeneratedtypes.GetClientInput) (kms.Client, error)
type ClientSupplierNativeWrapper
- func (this *ClientSupplierNativeWrapper) GetClient(input AwsCryptographyMaterialProvidersTypes.GetClientInput) Wrappers.Result
type CryptographicMaterialsCache
- func (this *CryptographicMaterialsCache) DeleteCacheEntry(...) error
- func (this *CryptographicMaterialsCache) GetCacheEntry(params awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryInput) (*awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryOutput, ...)
- func (this *CryptographicMaterialsCache) PutCacheEntry(params awscryptographymaterialproviderssmithygeneratedtypes.PutCacheEntryInput) error
- func (this *CryptographicMaterialsCache) UpdateUsageMetadata(...) error
type CryptographicMaterialsCacheNativeWrapper
- func (this *CryptographicMaterialsCacheNativeWrapper) DeleteCacheEntry(input AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput) Wrappers.Result
- func (this *CryptographicMaterialsCacheNativeWrapper) GetCacheEntry(input AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) Wrappers.Result
- func (this *CryptographicMaterialsCacheNativeWrapper) PutCacheEntry(input AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput) Wrappers.Result
- func (this *CryptographicMaterialsCacheNativeWrapper) UpdateUsageMetadata(input AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput) Wrappers.Result
type CryptographicMaterialsManager
- func (this *CryptographicMaterialsManager) DecryptMaterials(...) (*awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsOutput, ...)
- func (this *CryptographicMaterialsManager) GetEncryptionMaterials(...) (...)
type CryptographicMaterialsManagerNativeWrapper
- func (this *CryptographicMaterialsManagerNativeWrapper) DecryptMaterials(input AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) Wrappers.Result
- func (this *CryptographicMaterialsManagerNativeWrapper) GetEncryptionMaterials(input AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) Wrappers.Result
type Keyring
- func (this *Keyring) OnDecrypt(params awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptInput) (*awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptOutput, error)
- func (this *Keyring) OnEncrypt(params awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptInput) (*awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptOutput, error)
type KeyringNativeWrapper
- func (this *KeyringNativeWrapper) OnDecrypt(input AwsCryptographyMaterialProvidersTypes.OnDecryptInput) Wrappers.Result
- func (this *KeyringNativeWrapper) OnEncrypt(input AwsCryptographyMaterialProvidersTypes.OnEncryptInput) Wrappers.Result

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func AlgorithmSuiteInfo_FromDafny ¶

func AlgorithmSuiteInfo_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo

func AlgorithmSuiteInfo_ToDafny ¶

func AlgorithmSuiteInfo_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func AwsCryptographicMaterialProvidersException_FromDafny ¶

func AwsCryptographicMaterialProvidersException_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.AwsCryptographicMaterialProvidersException

func AwsCryptographicMaterialProvidersException_ToDafny ¶

func AwsCryptographicMaterialProvidersException_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.AwsCryptographicMaterialProvidersException) AwsCryptographyMaterialProvidersTypes.Error

func Aws_cryptography_materialProviders_AccountIdList_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AccountIdList_member_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_AccountIdList_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AccountIdList_member_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_AlgorithmSuiteId_DBE_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteId_DBE_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DBEAlgorithmSuiteId

func Aws_cryptography_materialProviders_AlgorithmSuiteId_DBE_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteId_DBE_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DBEAlgorithmSuiteId) Wrappers.Option

func Aws_cryptography_materialProviders_AlgorithmSuiteId_ESDK_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteId_ESDK_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.ESDKAlgorithmSuiteId

func Aws_cryptography_materialProviders_AlgorithmSuiteId_ESDK_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteId_ESDK_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.ESDKAlgorithmSuiteId) Wrappers.Option

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_binaryId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_binaryId_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_binaryId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_binaryId_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_commitment_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_commitment_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_commitment_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_commitment_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_edkWrapping_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_edkWrapping_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EdkWrappingAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_edkWrapping_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_edkWrapping_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EdkWrappingAlgorithm) AwsCryptographyMaterialProvidersTypes.EdkWrappingAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_encrypt_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_encrypt_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Encrypt

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_encrypt_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_encrypt_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Encrypt) AwsCryptographyMaterialProvidersTypes.Encrypt

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_id_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_id_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_id_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_id_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_kdf_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_kdf_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_kdf_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_kdf_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_messageVersion_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_messageVersion_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_messageVersion_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_messageVersion_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_signature_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_signature_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.SignatureAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_signature_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_signature_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.SignatureAlgorithm) AwsCryptographyMaterialProvidersTypes.SignatureAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_symmetricSignature_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_symmetricSignature_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.SymmetricSignatureAlgorithm

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_symmetricSignature_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AlgorithmSuiteInfo_symmetricSignature_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.SymmetricSignatureAlgorithm) AwsCryptographyMaterialProvidersTypes.SymmetricSignatureAlgorithm

func Aws_cryptography_materialProviders_AwsCryptographicMaterialProvidersException_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AwsCryptographicMaterialProvidersException_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_AwsCryptographicMaterialProvidersException_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_AwsCryptographicMaterialProvidersException_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CacheType_Default_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_Default_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DefaultCache

func Aws_cryptography_materialProviders_CacheType_Default_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_Default_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DefaultCache) Wrappers.Option

func Aws_cryptography_materialProviders_CacheType_MultiThreaded_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_MultiThreaded_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.MultiThreadedCache

func Aws_cryptography_materialProviders_CacheType_MultiThreaded_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_MultiThreaded_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.MultiThreadedCache) Wrappers.Option

func Aws_cryptography_materialProviders_CacheType_No_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_No_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.NoCache

func Aws_cryptography_materialProviders_CacheType_No_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_No_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.NoCache) Wrappers.Option

func Aws_cryptography_materialProviders_CacheType_SingleThreaded_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_SingleThreaded_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.SingleThreadedCache

func Aws_cryptography_materialProviders_CacheType_SingleThreaded_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_SingleThreaded_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.SingleThreadedCache) Wrappers.Option

func Aws_cryptography_materialProviders_CacheType_StormTracking_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_StormTracking_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.StormTrackingCache

func Aws_cryptography_materialProviders_CacheType_StormTracking_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CacheType_StormTracking_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.StormTrackingCache) Wrappers.Option

func Aws_cryptography_materialProviders_CommitmentPolicy_DBE_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CommitmentPolicy_DBE_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DBECommitmentPolicy

func Aws_cryptography_materialProviders_CommitmentPolicy_DBE_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CommitmentPolicy_DBE_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DBECommitmentPolicy) Wrappers.Option

func Aws_cryptography_materialProviders_CommitmentPolicy_ESDK_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CommitmentPolicy_ESDK_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.ESDKCommitmentPolicy

func Aws_cryptography_materialProviders_CommitmentPolicy_ESDK_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CommitmentPolicy_ESDK_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.ESDKCommitmentPolicy) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_discoveryFilter_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_discoveryFilter_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_kmsClient_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_kmsClient_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_discoveryFilter_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_discoveryFilter_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_regions_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_regions_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_regions_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsDiscoveryMultiKeyringInput_regions_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_KeyAgreementScheme_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_KeyAgreementScheme_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.KmsEcdhStaticConfigurations

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_KeyAgreementScheme_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_KeyAgreementScheme_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.KmsEcdhStaticConfigurations) AwsCryptographyMaterialProvidersTypes.KmsEcdhStaticConfigurations

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_curveSpec_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_curveSpec_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_curveSpec_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_curveSpec_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec) AwsCryptographyPrimitivesTypes.ECDHCurveSpec

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_kmsClient_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_kmsClient_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsEcdhKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_branchKeyId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_branchKeyId_FromDafny(input interface{}) *string

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_branchKeyId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_branchKeyId_ToDafny(input *string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_cache_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_cache_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CacheType

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_cache_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_cache_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CacheType) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_keyStore_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_keyStore_FromDafny(input interface{}) *awscryptographykeystoresmithygenerated.Client

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_keyStore_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_keyStore_ToDafny(input *awscryptographykeystoresmithygenerated.Client) AwsCryptographyKeyStoreTypes.IKeyStoreClient

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_partitionId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_partitionId_FromDafny(input interface{}) *string

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_partitionId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_partitionId_ToDafny(input *string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_ttlSeconds_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_ttlSeconds_FromDafny(input interface{}) int64

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_ttlSeconds_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsHierarchicalKeyringInput_ttlSeconds_ToDafny(input int64) int64

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsClient_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsClient_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsKeyId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsKeyId_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsKeyId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsKeyringInput_kmsKeyId_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_discoveryFilter_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_discoveryFilter_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_kmsClient_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_kmsClient_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_region_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_region_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_region_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryKeyringInput_region_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_discoveryFilter_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_discoveryFilter_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_discoveryFilter_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_discoveryFilter_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.DiscoveryFilter) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_regions_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_regions_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_regions_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkDiscoveryMultiKeyringInput_regions_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsClient_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsClient_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsClient_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsKeyId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsKeyId_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsKeyId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkKeyringInput_kmsKeyId_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_generator_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_generator_FromDafny(input interface{}) *string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_generator_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_generator_ToDafny(input *string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_kmsKeyIds_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_kmsKeyIds_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_kmsKeyIds_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMrkMultiKeyringInput_kmsKeyIds_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_generator_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_generator_FromDafny(input interface{}) *string

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_generator_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_generator_ToDafny(input *string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_kmsKeyIds_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_kmsKeyIds_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_kmsKeyIds_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsMultiKeyringInput_kmsKeyIds_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_encryptionAlgorithm_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_encryptionAlgorithm_FromDafny(input interface{}) kmstypes.EncryptionAlgorithmSpec

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_encryptionAlgorithm_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_encryptionAlgorithm_ToDafny(input kmstypes.EncryptionAlgorithmSpec) ComAmazonawsKmsTypes.EncryptionAlgorithmSpec

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_grantTokens_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_grantTokens_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_grantTokens_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_grantTokens_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsClient_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsClient_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsClient_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsClient_ToDafny(input *kms.Client) Wrappers.Option

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsKeyId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsKeyId_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsKeyId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_kmsKeyId_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_publicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_publicKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_publicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateAwsKmsRsaKeyringInput_publicKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_CreateCryptographicMaterialsCacheInput_cache_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateCryptographicMaterialsCacheInput_cache_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CacheType

func Aws_cryptography_materialProviders_CreateCryptographicMaterialsCacheInput_cache_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateCryptographicMaterialsCacheInput_cache_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CacheType) AwsCryptographyMaterialProvidersTypes.CacheType

func Aws_cryptography_materialProviders_CreateMultiKeyringInput_childKeyrings_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateMultiKeyringInput_childKeyrings_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.IKeyring

func Aws_cryptography_materialProviders_CreateMultiKeyringInput_childKeyrings_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateMultiKeyringInput_childKeyrings_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.IKeyring) dafny.Sequence

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyName_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyName_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyName_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyName_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyNamespace_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyNamespace_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyNamespace_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_keyNamespace_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingAlg_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingAlg_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AesWrappingAlg

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingAlg_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingAlg_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AesWrappingAlg) AwsCryptographyMaterialProvidersTypes.AesWrappingAlg

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawAesKeyringInput_wrappingKey_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_KeyAgreementScheme_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_KeyAgreementScheme_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.RawEcdhStaticConfigurations

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_KeyAgreementScheme_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_KeyAgreementScheme_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.RawEcdhStaticConfigurations) AwsCryptographyMaterialProvidersTypes.RawEcdhStaticConfigurations

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_curveSpec_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_curveSpec_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_curveSpec_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawEcdhKeyringInput_curveSpec_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.ECDHCurveSpec) AwsCryptographyPrimitivesTypes.ECDHCurveSpec

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyName_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyName_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyName_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyName_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyNamespace_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyNamespace_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyNamespace_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_keyNamespace_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_paddingScheme_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_paddingScheme_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.PaddingScheme

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_paddingScheme_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_paddingScheme_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.PaddingScheme) AwsCryptographyMaterialProvidersTypes.PaddingScheme

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_privateKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_privateKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_privateKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_privateKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_publicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_publicKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_publicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRawRsaKeyringInput_publicKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_CreateRequiredEncryptionContextCMMInput_requiredEncryptionContextKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRequiredEncryptionContextCMMInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_CreateRequiredEncryptionContextCMMInput_requiredEncryptionContextKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_CreateRequiredEncryptionContextCMMInput_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_DecryptMaterialsInput_algorithmSuiteId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_DecryptMaterialsInput_algorithmSuiteId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_DecryptMaterialsInput_commitmentPolicy_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy

func Aws_cryptography_materialProviders_DecryptMaterialsInput_commitmentPolicy_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptedDataKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptedDataKeys_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptedDataKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptedDataKeys_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) dafny.Sequence

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_DecryptMaterialsInput_reproducedEncryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_reproducedEncryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_DecryptMaterialsInput_reproducedEncryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsInput_reproducedEncryptionContext_ToDafny(input map[string]string) Wrappers.Option

func Aws_cryptography_materialProviders_DecryptMaterialsOutput_decryptionMaterials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsOutput_decryptionMaterials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func Aws_cryptography_materialProviders_DecryptMaterialsOutput_decryptionMaterials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptMaterialsOutput_decryptionMaterials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func Aws_cryptography_materialProviders_DecryptionMaterials_algorithmSuite_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_algorithmSuite_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo

func Aws_cryptography_materialProviders_DecryptionMaterials_algorithmSuite_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_algorithmSuite_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func Aws_cryptography_materialProviders_DecryptionMaterials_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_DecryptionMaterials_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_DecryptionMaterials_plaintextDataKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_plaintextDataKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_DecryptionMaterials_plaintextDataKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_plaintextDataKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_DecryptionMaterials_requiredEncryptionContextKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_requiredEncryptionContextKeys_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_DecryptionMaterials_requiredEncryptionContextKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_DecryptionMaterials_symmetricSigningKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_symmetricSigningKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_DecryptionMaterials_symmetricSigningKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_symmetricSigningKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_DecryptionMaterials_verificationKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_verificationKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_DecryptionMaterials_verificationKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DecryptionMaterials_verificationKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_DefaultCache_entryCapacity_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DefaultCache_entryCapacity_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_DefaultCache_entryCapacity_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DefaultCache_entryCapacity_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_DeleteCacheEntryInput_identifier_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DeleteCacheEntryInput_identifier_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_DeleteCacheEntryInput_identifier_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DeleteCacheEntryInput_identifier_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_DerivationAlgorithm_HKDF_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DerivationAlgorithm_HKDF_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.HKDF

func Aws_cryptography_materialProviders_DerivationAlgorithm_HKDF_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DerivationAlgorithm_HKDF_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.HKDF) Wrappers.Option

func Aws_cryptography_materialProviders_DerivationAlgorithm_IDENTITY_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DerivationAlgorithm_IDENTITY_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.IDENTITY

func Aws_cryptography_materialProviders_DerivationAlgorithm_IDENTITY_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DerivationAlgorithm_IDENTITY_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.IDENTITY) Wrappers.Option

func Aws_cryptography_materialProviders_DerivationAlgorithm_None_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DerivationAlgorithm_None_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.None

func Aws_cryptography_materialProviders_DerivationAlgorithm_None_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DerivationAlgorithm_None_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.None) Wrappers.Option

func Aws_cryptography_materialProviders_DiscoveryFilter_accountIds_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DiscoveryFilter_accountIds_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_DiscoveryFilter_accountIds_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DiscoveryFilter_accountIds_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_DiscoveryFilter_partition_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DiscoveryFilter_partition_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_DiscoveryFilter_partition_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_DiscoveryFilter_partition_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_ECDSA_curve_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ECDSA_curve_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.ECDSASignatureAlgorithm

func Aws_cryptography_materialProviders_ECDSA_curve_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ECDSA_curve_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.ECDSASignatureAlgorithm) AwsCryptographyPrimitivesTypes.ECDSASignatureAlgorithm

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_DIRECT_KEY_WRAPPING_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_DIRECT_KEY_WRAPPING_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DIRECT_KEY_WRAPPING

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_DIRECT_KEY_WRAPPING_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_DIRECT_KEY_WRAPPING_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DIRECT_KEY_WRAPPING) Wrappers.Option

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_IntermediateKeyWrapping_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_IntermediateKeyWrapping_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.IntermediateKeyWrapping

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_IntermediateKeyWrapping_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EdkWrappingAlgorithm_IntermediateKeyWrapping_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.IntermediateKeyWrapping) Wrappers.Option

func Aws_cryptography_materialProviders_Encrypt_AES_GCM_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Encrypt_AES_GCM_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.AES_GCM

func Aws_cryptography_materialProviders_Encrypt_AES_GCM_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Encrypt_AES_GCM_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.AES_GCM) Wrappers.Option

func Aws_cryptography_materialProviders_EncryptedDataKeyList_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKeyList_member_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey

func Aws_cryptography_materialProviders_EncryptedDataKeyList_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKeyList_member_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) AwsCryptographyMaterialProvidersTypes.EncryptedDataKey

func Aws_cryptography_materialProviders_EncryptedDataKey_ciphertext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKey_ciphertext_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_EncryptedDataKey_ciphertext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKey_ciphertext_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderId_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderId_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderInfo_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderInfo_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderInfo_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptedDataKey_keyProviderInfo_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptionContextKeys_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionContextKeys_member_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_EncryptionContextKeys_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionContextKeys_member_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptionContext_key_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionContext_key_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_EncryptionContext_key_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionContext_key_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptionContext_value_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionContext_value_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_EncryptionContext_value_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionContext_value_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptionMaterials_algorithmSuite_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_algorithmSuite_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo

func Aws_cryptography_materialProviders_EncryptionMaterials_algorithmSuite_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_algorithmSuite_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptedDataKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptedDataKeys_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptedDataKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptedDataKeys_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_EncryptionMaterials_plaintextDataKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_plaintextDataKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_EncryptionMaterials_plaintextDataKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_plaintextDataKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_EncryptionMaterials_requiredEncryptionContextKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_requiredEncryptionContextKeys_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_EncryptionMaterials_requiredEncryptionContextKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_EncryptionMaterials_signingKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_signingKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_EncryptionMaterials_signingKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_signingKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_EncryptionMaterials_symmetricSigningKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_symmetricSigningKeys_FromDafny(input interface{}) [][]byte

func Aws_cryptography_materialProviders_EncryptionMaterials_symmetricSigningKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EncryptionMaterials_symmetricSigningKeys_ToDafny(input [][]byte) Wrappers.Option

func Aws_cryptography_materialProviders_EntryAlreadyExists_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EntryAlreadyExists_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_EntryAlreadyExists_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EntryAlreadyExists_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_EntryDoesNotExist_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EntryDoesNotExist_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_EntryDoesNotExist_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EntryDoesNotExist_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_EphemeralPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EphemeralPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_EphemeralPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_EphemeralPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_GetAlgorithmSuiteInfoInput_binaryId_FromDafny ¶

func Aws_cryptography_materialProviders_GetAlgorithmSuiteInfoInput_binaryId_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_GetAlgorithmSuiteInfoInput_binaryId_ToDafny ¶

func Aws_cryptography_materialProviders_GetAlgorithmSuiteInfoInput_binaryId_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_GetBranchKeyIdInput_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetBranchKeyIdInput_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_GetBranchKeyIdInput_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetBranchKeyIdInput_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_GetBranchKeyIdOutput_branchKeyId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetBranchKeyIdOutput_branchKeyId_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_GetBranchKeyIdOutput_branchKeyId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetBranchKeyIdOutput_branchKeyId_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_GetCacheEntryInput_bytesUsed_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryInput_bytesUsed_FromDafny(input interface{}) *int64

func Aws_cryptography_materialProviders_GetCacheEntryInput_bytesUsed_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryInput_bytesUsed_ToDafny(input *int64) Wrappers.Option

func Aws_cryptography_materialProviders_GetCacheEntryInput_identifier_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryInput_identifier_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_GetCacheEntryInput_identifier_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryInput_identifier_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_GetCacheEntryOutput_bytesUsed_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_bytesUsed_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_GetCacheEntryOutput_bytesUsed_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_bytesUsed_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_GetCacheEntryOutput_creationTime_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_creationTime_FromDafny(input interface{}) int64

func Aws_cryptography_materialProviders_GetCacheEntryOutput_creationTime_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_creationTime_ToDafny(input int64) int64

func Aws_cryptography_materialProviders_GetCacheEntryOutput_expiryTime_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_expiryTime_FromDafny(input interface{}) int64

func Aws_cryptography_materialProviders_GetCacheEntryOutput_expiryTime_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_expiryTime_ToDafny(input int64) int64

func Aws_cryptography_materialProviders_GetCacheEntryOutput_materials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Materials

func Aws_cryptography_materialProviders_GetCacheEntryOutput_materials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Materials) AwsCryptographyMaterialProvidersTypes.Materials

func Aws_cryptography_materialProviders_GetCacheEntryOutput_messagesUsed_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_messagesUsed_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_GetCacheEntryOutput_messagesUsed_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetCacheEntryOutput_messagesUsed_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_GetClientInput_region_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetClientInput_region_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_GetClientInput_region_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetClientInput_region_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_GetClientOutput_client_FromDafny ¶

func Aws_cryptography_materialProviders_GetClientOutput_client_FromDafny(input interface{}) *kms.Client

func Aws_cryptography_materialProviders_GetClientOutput_client_ToDafny ¶

func Aws_cryptography_materialProviders_GetClientOutput_client_ToDafny(input *kms.Client) ComAmazonawsKmsTypes.IKMSClient

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_algorithmSuiteId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_algorithmSuiteId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) Wrappers.Option

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_commitmentPolicy_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_commitmentPolicy_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_maxPlaintextLength_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_maxPlaintextLength_FromDafny(input interface{}) *int64

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_maxPlaintextLength_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_maxPlaintextLength_ToDafny(input *int64) Wrappers.Option

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny(input []string) Wrappers.Option

func Aws_cryptography_materialProviders_GetEncryptionMaterialsOutput_encryptionMaterials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsOutput_encryptionMaterials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func Aws_cryptography_materialProviders_GetEncryptionMaterialsOutput_encryptionMaterials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GetEncryptionMaterialsOutput_encryptionMaterials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials

func Aws_cryptography_materialProviders_GrantTokenList_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GrantTokenList_member_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_GrantTokenList_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_GrantTokenList_member_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_HKDF_hmac_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_hmac_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm

func Aws_cryptography_materialProviders_HKDF_hmac_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_hmac_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm) AwsCryptographyPrimitivesTypes.DigestAlgorithm

func Aws_cryptography_materialProviders_HKDF_inputKeyLength_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_inputKeyLength_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_HKDF_inputKeyLength_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_inputKeyLength_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_HKDF_outputKeyLength_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_outputKeyLength_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_HKDF_outputKeyLength_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_outputKeyLength_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_HKDF_saltLength_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_saltLength_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_HKDF_saltLength_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_HKDF_saltLength_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_InFlightTTLExceeded_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InFlightTTLExceeded_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InFlightTTLExceeded_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InFlightTTLExceeded_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_algorithmSuiteId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_algorithmSuiteId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeDecryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_algorithmSuiteId_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_algorithmSuiteId_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_algorithmSuiteId_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_algorithmSuiteId_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_encryptionContext_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_encryptionContext_FromDafny(input interface{}) map[string]string

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_encryptionContext_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_encryptionContext_ToDafny(input map[string]string) dafny.Map

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_requiredEncryptionContextKeys_FromDafny(input interface{}) []string

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_requiredEncryptionContextKeys_ToDafny(input []string) dafny.Sequence

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_signingKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_signingKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_signingKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_signingKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_verificationKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_verificationKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_verificationKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InitializeEncryptionMaterialsInput_verificationKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_keyEncryptionKeyKdf_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_keyEncryptionKeyKdf_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_keyEncryptionKeyKdf_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_keyEncryptionKeyKdf_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_macKeyKdf_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_macKeyKdf_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_macKeyKdf_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_macKeyKdf_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DerivationAlgorithm) AwsCryptographyMaterialProvidersTypes.DerivationAlgorithm

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_pdkEncryptAlgorithm_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_pdkEncryptAlgorithm_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Encrypt

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_pdkEncryptAlgorithm_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_IntermediateKeyWrapping_pdkEncryptAlgorithm_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Encrypt) AwsCryptographyMaterialProvidersTypes.Encrypt

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnDecrypt_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnDecrypt_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnDecrypt_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnDecrypt_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnEncrypt_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnEncrypt_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnEncrypt_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfoOnEncrypt_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfo_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfo_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfo_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidAlgorithmSuiteInfo_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InvalidDecryptionMaterialsTransition_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidDecryptionMaterialsTransition_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidDecryptionMaterialsTransition_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidDecryptionMaterialsTransition_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InvalidDecryptionMaterials_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidDecryptionMaterials_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidDecryptionMaterials_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidDecryptionMaterials_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InvalidEncryptionMaterialsTransition_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidEncryptionMaterialsTransition_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidEncryptionMaterialsTransition_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidEncryptionMaterialsTransition_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_InvalidEncryptionMaterials_message_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidEncryptionMaterials_message_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_InvalidEncryptionMaterials_message_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_InvalidEncryptionMaterials_message_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_KeyAgreementScheme_StaticConfiguration_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KeyAgreementScheme_StaticConfiguration_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.StaticConfigurations

func Aws_cryptography_materialProviders_KeyAgreementScheme_StaticConfiguration_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KeyAgreementScheme_StaticConfiguration_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.StaticConfigurations) Wrappers.Option

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.KmsPrivateKeyToStaticPublicKeyInput

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPrivateKeyToStaticPublicKey_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.KmsPrivateKeyToStaticPublicKeyInput) Wrappers.Option

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.KmsPublicKeyDiscoveryInput

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsEcdhStaticConfigurations_KmsPublicKeyDiscovery_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.KmsPublicKeyDiscoveryInput) Wrappers.Option

func Aws_cryptography_materialProviders_KmsKeyIdList_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsKeyIdList_member_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_KmsKeyIdList_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsKeyIdList_member_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderKmsIdentifier_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderKmsIdentifier_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderKmsIdentifier_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderKmsIdentifier_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderPublicKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPrivateKeyToStaticPublicKeyInput_senderPublicKey_ToDafny(input []byte) Wrappers.Option

func Aws_cryptography_materialProviders_KmsPublicKeyDiscoveryInput_recipientKmsIdentifier_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPublicKeyDiscoveryInput_recipientKmsIdentifier_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_KmsPublicKeyDiscoveryInput_recipientKmsIdentifier_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_KmsPublicKeyDiscoveryInput_recipientKmsIdentifier_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_Materials_BeaconKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_BeaconKey_FromDafny(input interface{}) awscryptographykeystoresmithygeneratedtypes.BeaconKeyMaterials

func Aws_cryptography_materialProviders_Materials_BeaconKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_BeaconKey_ToDafny(input awscryptographykeystoresmithygeneratedtypes.BeaconKeyMaterials) Wrappers.Option

func Aws_cryptography_materialProviders_Materials_BranchKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_BranchKey_FromDafny(input interface{}) awscryptographykeystoresmithygeneratedtypes.BranchKeyMaterials

func Aws_cryptography_materialProviders_Materials_BranchKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_BranchKey_ToDafny(input awscryptographykeystoresmithygeneratedtypes.BranchKeyMaterials) Wrappers.Option

func Aws_cryptography_materialProviders_Materials_Decryption_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_Decryption_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func Aws_cryptography_materialProviders_Materials_Decryption_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_Decryption_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) Wrappers.Option

func Aws_cryptography_materialProviders_Materials_Encryption_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_Encryption_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func Aws_cryptography_materialProviders_Materials_Encryption_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_Materials_Encryption_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) Wrappers.Option

func Aws_cryptography_materialProviders_MultiThreadedCache_entryCapacity_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_MultiThreadedCache_entryCapacity_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_MultiThreadedCache_entryCapacity_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_MultiThreadedCache_entryCapacity_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_MultiThreadedCache_entryPruningTailSize_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_MultiThreadedCache_entryPruningTailSize_FromDafny(input interface{}) *int32

func Aws_cryptography_materialProviders_MultiThreadedCache_entryPruningTailSize_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_MultiThreadedCache_entryPruningTailSize_ToDafny(input *int32) Wrappers.Option

func Aws_cryptography_materialProviders_OnDecryptInput_encryptedDataKeys_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnDecryptInput_encryptedDataKeys_FromDafny(input interface{}) []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey

func Aws_cryptography_materialProviders_OnDecryptInput_encryptedDataKeys_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnDecryptInput_encryptedDataKeys_ToDafny(input []awscryptographymaterialproviderssmithygeneratedtypes.EncryptedDataKey) dafny.Sequence

func Aws_cryptography_materialProviders_OnDecryptInput_materials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnDecryptInput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func Aws_cryptography_materialProviders_OnDecryptInput_materials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnDecryptInput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func Aws_cryptography_materialProviders_OnDecryptOutput_materials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnDecryptOutput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func Aws_cryptography_materialProviders_OnDecryptOutput_materials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnDecryptOutput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func Aws_cryptography_materialProviders_OnEncryptInput_materials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnEncryptInput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func Aws_cryptography_materialProviders_OnEncryptInput_materials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnEncryptInput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials

func Aws_cryptography_materialProviders_OnEncryptOutput_materials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnEncryptOutput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func Aws_cryptography_materialProviders_OnEncryptOutput_materials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_OnEncryptOutput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials

func Aws_cryptography_materialProviders_PublicKeyDiscoveryInput_recipientStaticPrivateKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PublicKeyDiscoveryInput_recipientStaticPrivateKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_PublicKeyDiscoveryInput_recipientStaticPrivateKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PublicKeyDiscoveryInput_recipientStaticPrivateKey_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_PutCacheEntryInput_bytesUsed_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_bytesUsed_FromDafny(input interface{}) *int32

func Aws_cryptography_materialProviders_PutCacheEntryInput_bytesUsed_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_bytesUsed_ToDafny(input *int32) Wrappers.Option

func Aws_cryptography_materialProviders_PutCacheEntryInput_creationTime_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_creationTime_FromDafny(input interface{}) int64

func Aws_cryptography_materialProviders_PutCacheEntryInput_creationTime_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_creationTime_ToDafny(input int64) int64

func Aws_cryptography_materialProviders_PutCacheEntryInput_expiryTime_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_expiryTime_FromDafny(input interface{}) int64

func Aws_cryptography_materialProviders_PutCacheEntryInput_expiryTime_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_expiryTime_ToDafny(input int64) int64

func Aws_cryptography_materialProviders_PutCacheEntryInput_identifier_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_identifier_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_PutCacheEntryInput_identifier_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_identifier_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_PutCacheEntryInput_materials_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Materials

func Aws_cryptography_materialProviders_PutCacheEntryInput_materials_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_materials_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.Materials) AwsCryptographyMaterialProvidersTypes.Materials

func Aws_cryptography_materialProviders_PutCacheEntryInput_messagesUsed_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_messagesUsed_FromDafny(input interface{}) *int32

func Aws_cryptography_materialProviders_PutCacheEntryInput_messagesUsed_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_PutCacheEntryInput_messagesUsed_ToDafny(input *int32) Wrappers.Option

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EphemeralPrivateKeyToStaticPublicKeyInput

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_EphemeralPrivateKeyToStaticPublicKey_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EphemeralPrivateKeyToStaticPublicKeyInput) Wrappers.Option

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_PublicKeyDiscovery_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_PublicKeyDiscovery_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.PublicKeyDiscoveryInput

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_PublicKeyDiscovery_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_PublicKeyDiscovery_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.PublicKeyDiscoveryInput) Wrappers.Option

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.RawPrivateKeyToStaticPublicKeyInput

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawEcdhStaticConfigurations_RawPrivateKeyToStaticPublicKey_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.RawPrivateKeyToStaticPublicKeyInput) Wrappers.Option

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_recipientPublicKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_recipientPublicKey_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_senderStaticPrivateKey_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_senderStaticPrivateKey_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_senderStaticPrivateKey_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RawPrivateKeyToStaticPublicKeyInput_senderStaticPrivateKey_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_RegionList_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RegionList_member_FromDafny(input interface{}) string

func Aws_cryptography_materialProviders_RegionList_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_RegionList_member_ToDafny(input string) dafny.Sequence

func Aws_cryptography_materialProviders_SignatureAlgorithm_ECDSA_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SignatureAlgorithm_ECDSA_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.ECDSA

func Aws_cryptography_materialProviders_SignatureAlgorithm_ECDSA_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SignatureAlgorithm_ECDSA_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.ECDSA) Wrappers.Option

func Aws_cryptography_materialProviders_SignatureAlgorithm_None_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SignatureAlgorithm_None_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.None

func Aws_cryptography_materialProviders_SignatureAlgorithm_None_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SignatureAlgorithm_None_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.None) Wrappers.Option

func Aws_cryptography_materialProviders_SingleThreadedCache_entryCapacity_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SingleThreadedCache_entryCapacity_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_SingleThreadedCache_entryCapacity_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SingleThreadedCache_entryCapacity_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_SingleThreadedCache_entryPruningTailSize_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SingleThreadedCache_entryPruningTailSize_FromDafny(input interface{}) *int32

func Aws_cryptography_materialProviders_SingleThreadedCache_entryPruningTailSize_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SingleThreadedCache_entryPruningTailSize_ToDafny(input *int32) Wrappers.Option

func Aws_cryptography_materialProviders_StaticConfigurations_AWS_KMS_ECDH_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StaticConfigurations_AWS_KMS_ECDH_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.KmsEcdhStaticConfigurations

func Aws_cryptography_materialProviders_StaticConfigurations_AWS_KMS_ECDH_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StaticConfigurations_AWS_KMS_ECDH_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.KmsEcdhStaticConfigurations) Wrappers.Option

func Aws_cryptography_materialProviders_StaticConfigurations_RAW_ECDH_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StaticConfigurations_RAW_ECDH_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.RawEcdhStaticConfigurations

func Aws_cryptography_materialProviders_StaticConfigurations_RAW_ECDH_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StaticConfigurations_RAW_ECDH_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.RawEcdhStaticConfigurations) Wrappers.Option

func Aws_cryptography_materialProviders_StormTrackingCache_entryCapacity_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_entryCapacity_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_StormTrackingCache_entryCapacity_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_entryCapacity_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_StormTrackingCache_entryPruningTailSize_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_entryPruningTailSize_FromDafny(input interface{}) *int32

func Aws_cryptography_materialProviders_StormTrackingCache_entryPruningTailSize_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_entryPruningTailSize_ToDafny(input *int32) Wrappers.Option

func Aws_cryptography_materialProviders_StormTrackingCache_fanOut_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_fanOut_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_StormTrackingCache_fanOut_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_fanOut_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_StormTrackingCache_graceInterval_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_graceInterval_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_StormTrackingCache_graceInterval_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_graceInterval_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_StormTrackingCache_gracePeriod_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_gracePeriod_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_StormTrackingCache_gracePeriod_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_gracePeriod_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_StormTrackingCache_inFlightTTL_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_inFlightTTL_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_StormTrackingCache_inFlightTTL_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_inFlightTTL_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_StormTrackingCache_sleepMilli_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_sleepMilli_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_StormTrackingCache_sleepMilli_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_sleepMilli_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_StormTrackingCache_timeUnits_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_timeUnits_FromDafny(input interface{}) *awscryptographymaterialproviderssmithygeneratedtypes.TimeUnits

func Aws_cryptography_materialProviders_StormTrackingCache_timeUnits_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_StormTrackingCache_timeUnits_ToDafny(input *awscryptographymaterialproviderssmithygeneratedtypes.TimeUnits) Wrappers.Option

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_HMAC_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_HMAC_FromDafny(input interface{}) awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_HMAC_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_HMAC_ToDafny(input awscryptographyprimitivessmithygeneratedtypes.DigestAlgorithm) Wrappers.Option

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_None_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_None_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.None

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_None_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SymmetricSignatureAlgorithm_None_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.None) Wrappers.Option

func Aws_cryptography_materialProviders_SymmetricSigningKeyList_member_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SymmetricSigningKeyList_member_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_SymmetricSigningKeyList_member_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_SymmetricSigningKeyList_member_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_FromDafny(input interface{}) int32

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_ToDafny(input int32) int32

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_identifier_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_identifier_FromDafny(input interface{}) []byte

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_identifier_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_UpdateUsageMetadataInput_identifier_ToDafny(input []byte) dafny.Sequence

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_start_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_start_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_start_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_start_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_stop_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_stop_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_stop_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidDecryptionMaterialsTransitionInput_stop_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_start_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_start_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_start_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_start_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_stop_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_stop_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_stop_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidEncryptionMaterialsTransitionInput_stop_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_algorithm_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_algorithm_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_algorithm_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_algorithm_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_commitmentPolicy_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_commitmentPolicy_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnDecryptInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_algorithm_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_algorithm_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_algorithm_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_algorithm_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteId) AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteId

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_commitmentPolicy_FromDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_commitmentPolicy_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_commitmentPolicy_ToDafny ¶ added in v0.2.0

func Aws_cryptography_materialProviders_ValidateCommitmentPolicyOnEncryptInput_commitmentPolicy_ToDafny(input awscryptographymaterialproviderssmithygeneratedtypes.CommitmentPolicy) AwsCryptographyMaterialProvidersTypes.CommitmentPolicy

func BranchKeyIdSupplier_FromDafny ¶

func BranchKeyIdSupplier_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.IBranchKeyIdSupplier) awscryptographymaterialproviderssmithygeneratedtypes.IBranchKeyIdSupplier

func BranchKeyIdSupplier_ToDafny ¶

func BranchKeyIdSupplier_ToDafny(nativeResource awscryptographymaterialproviderssmithygeneratedtypes.IBranchKeyIdSupplier) AwsCryptographyMaterialProvidersTypes.IBranchKeyIdSupplier

func ClientSupplier_FromDafny ¶

func ClientSupplier_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.IClientSupplier) awscryptographymaterialproviderssmithygeneratedtypes.IClientSupplier

func ClientSupplier_ToDafny ¶

func ClientSupplier_ToDafny(nativeResource awscryptographymaterialproviderssmithygeneratedtypes.IClientSupplier) AwsCryptographyMaterialProvidersTypes.IClientSupplier

func CollectionOfErrors_Input_ToDafny ¶

func CollectionOfErrors_Input_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CollectionOfErrors) AwsCryptographyMaterialProvidersTypes.Error

func CollectionOfErrors_Output_FromDafny ¶

func CollectionOfErrors_Output_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.CollectionOfErrors

func CreateAwsKmsDiscoveryKeyringInput_FromDafny ¶

func CreateAwsKmsDiscoveryKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput

func CreateAwsKmsDiscoveryKeyringInput_ToDafny ¶

func CreateAwsKmsDiscoveryKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput

func CreateAwsKmsDiscoveryMultiKeyringInput_FromDafny ¶

func CreateAwsKmsDiscoveryMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryMultiKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryMultiKeyringInput

func CreateAwsKmsDiscoveryMultiKeyringInput_ToDafny ¶

func CreateAwsKmsDiscoveryMultiKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryMultiKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryMultiKeyringInput

func CreateAwsKmsEcdhKeyringInput_FromDafny ¶

func CreateAwsKmsEcdhKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsEcdhKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsEcdhKeyringInput

func CreateAwsKmsEcdhKeyringInput_ToDafny ¶

func CreateAwsKmsEcdhKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsEcdhKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsEcdhKeyringInput

func CreateAwsKmsHierarchicalKeyringInput_FromDafny ¶

func CreateAwsKmsHierarchicalKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsHierarchicalKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsHierarchicalKeyringInput

func CreateAwsKmsHierarchicalKeyringInput_ToDafny ¶

func CreateAwsKmsHierarchicalKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsHierarchicalKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsHierarchicalKeyringInput

func CreateAwsKmsKeyringInput_FromDafny ¶

func CreateAwsKmsKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsKeyringInput

func CreateAwsKmsKeyringInput_ToDafny ¶

func CreateAwsKmsKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsKeyringInput

func CreateAwsKmsMrkDiscoveryKeyringInput_FromDafny ¶

func CreateAwsKmsMrkDiscoveryKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkDiscoveryKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkDiscoveryKeyringInput

func CreateAwsKmsMrkDiscoveryKeyringInput_ToDafny ¶

func CreateAwsKmsMrkDiscoveryKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkDiscoveryKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkDiscoveryKeyringInput

func CreateAwsKmsMrkDiscoveryMultiKeyringInput_FromDafny ¶

func CreateAwsKmsMrkDiscoveryMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkDiscoveryMultiKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkDiscoveryMultiKeyringInput

func CreateAwsKmsMrkDiscoveryMultiKeyringInput_ToDafny ¶

func CreateAwsKmsMrkDiscoveryMultiKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkDiscoveryMultiKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkDiscoveryMultiKeyringInput

func CreateAwsKmsMrkKeyringInput_FromDafny ¶

func CreateAwsKmsMrkKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkKeyringInput

func CreateAwsKmsMrkKeyringInput_ToDafny ¶

func CreateAwsKmsMrkKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkKeyringInput

func CreateAwsKmsMrkMultiKeyringInput_FromDafny ¶

func CreateAwsKmsMrkMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkMultiKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkMultiKeyringInput

func CreateAwsKmsMrkMultiKeyringInput_ToDafny ¶

func CreateAwsKmsMrkMultiKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkMultiKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMrkMultiKeyringInput

func CreateAwsKmsMultiKeyringInput_FromDafny ¶

func CreateAwsKmsMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMultiKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMultiKeyringInput

func CreateAwsKmsMultiKeyringInput_ToDafny ¶

func CreateAwsKmsMultiKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMultiKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsMultiKeyringInput

func CreateAwsKmsRsaKeyringInput_FromDafny ¶

func CreateAwsKmsRsaKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsRsaKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsRsaKeyringInput

func CreateAwsKmsRsaKeyringInput_ToDafny ¶

func CreateAwsKmsRsaKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsRsaKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsRsaKeyringInput

func CreateCryptographicMaterialsCacheInput_FromDafny ¶

func CreateCryptographicMaterialsCacheInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateCryptographicMaterialsCacheInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateCryptographicMaterialsCacheInput

func CreateCryptographicMaterialsCacheInput_ToDafny ¶

func CreateCryptographicMaterialsCacheInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateCryptographicMaterialsCacheInput) AwsCryptographyMaterialProvidersTypes.CreateCryptographicMaterialsCacheInput

func CreateDefaultClientSupplierInput_FromDafny ¶

func CreateDefaultClientSupplierInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateDefaultClientSupplierInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateDefaultClientSupplierInput

func CreateDefaultClientSupplierInput_ToDafny ¶

func CreateDefaultClientSupplierInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateDefaultClientSupplierInput) AwsCryptographyMaterialProvidersTypes.CreateDefaultClientSupplierInput

func CreateDefaultCryptographicMaterialsManagerInput_FromDafny ¶

func CreateDefaultCryptographicMaterialsManagerInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateDefaultCryptographicMaterialsManagerInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateDefaultCryptographicMaterialsManagerInput

func CreateDefaultCryptographicMaterialsManagerInput_ToDafny ¶

func CreateDefaultCryptographicMaterialsManagerInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateDefaultCryptographicMaterialsManagerInput) AwsCryptographyMaterialProvidersTypes.CreateDefaultCryptographicMaterialsManagerInput

func CreateMultiKeyringInput_FromDafny ¶

func CreateMultiKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateMultiKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateMultiKeyringInput

func CreateMultiKeyringInput_ToDafny ¶

func CreateMultiKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateMultiKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateMultiKeyringInput

func CreateRawAesKeyringInput_FromDafny ¶

func CreateRawAesKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRawAesKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRawAesKeyringInput

func CreateRawAesKeyringInput_ToDafny ¶

func CreateRawAesKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateRawAesKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateRawAesKeyringInput

func CreateRawEcdhKeyringInput_FromDafny ¶

func CreateRawEcdhKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRawEcdhKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRawEcdhKeyringInput

func CreateRawEcdhKeyringInput_ToDafny ¶

func CreateRawEcdhKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateRawEcdhKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateRawEcdhKeyringInput

func CreateRawRsaKeyringInput_FromDafny ¶

func CreateRawRsaKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRawRsaKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRawRsaKeyringInput

func CreateRawRsaKeyringInput_ToDafny ¶

func CreateRawRsaKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateRawRsaKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateRawRsaKeyringInput

func CreateRequiredEncryptionContextCMMInput_FromDafny ¶

func CreateRequiredEncryptionContextCMMInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateRequiredEncryptionContextCMMInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateRequiredEncryptionContextCMMInput

func CreateRequiredEncryptionContextCMMInput_ToDafny ¶

func CreateRequiredEncryptionContextCMMInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateRequiredEncryptionContextCMMInput) AwsCryptographyMaterialProvidersTypes.CreateRequiredEncryptionContextCMMInput

func CryptographicMaterialsCache_FromDafny ¶

func CryptographicMaterialsCache_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache) awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsCache

func CryptographicMaterialsCache_ToDafny ¶

func CryptographicMaterialsCache_ToDafny(nativeResource awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsCache) AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache

func CryptographicMaterialsManager_FromDafny ¶

func CryptographicMaterialsManager_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager) awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsManager

func CryptographicMaterialsManager_ToDafny ¶

func CryptographicMaterialsManager_ToDafny(nativeResource awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsManager) AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager

func DecryptMaterialsInput_FromDafny ¶

func DecryptMaterialsInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsInput

func DecryptMaterialsInput_ToDafny ¶

func DecryptMaterialsInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsInput) AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput

func DecryptMaterialsOutput_FromDafny ¶

func DecryptMaterialsOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.DecryptMaterialsOutput) awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsOutput

func DecryptMaterialsOutput_ToDafny ¶

func DecryptMaterialsOutput_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsOutput) AwsCryptographyMaterialProvidersTypes.DecryptMaterialsOutput

func DecryptionMaterials_FromDafny ¶

func DecryptionMaterials_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials

func DecryptionMaterials_ToDafny ¶

func DecryptionMaterials_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) AwsCryptographyMaterialProvidersTypes.DecryptionMaterials

func DeleteCacheEntryInput_FromDafny ¶

func DeleteCacheEntryInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput) awscryptographymaterialproviderssmithygeneratedtypes.DeleteCacheEntryInput

func DeleteCacheEntryInput_ToDafny ¶

func DeleteCacheEntryInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.DeleteCacheEntryInput) AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput

func EncryptionMaterials_FromDafny ¶

func EncryptionMaterials_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials

func EncryptionMaterials_ToDafny ¶

func EncryptionMaterials_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) AwsCryptographyMaterialProvidersTypes.EncryptionMaterials

func EntryAlreadyExists_FromDafny ¶

func EntryAlreadyExists_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.EntryAlreadyExists

func EntryAlreadyExists_ToDafny ¶

func EntryAlreadyExists_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.EntryAlreadyExists) AwsCryptographyMaterialProvidersTypes.Error

func EntryDoesNotExist_FromDafny ¶

func EntryDoesNotExist_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.EntryDoesNotExist

func EntryDoesNotExist_ToDafny ¶

func EntryDoesNotExist_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.EntryDoesNotExist) AwsCryptographyMaterialProvidersTypes.Error

func Error_FromDafny ¶

func Error_FromDafny(err AwsCryptographyMaterialProvidersTypes.Error) error

func Error_ToDafny ¶

func Error_ToDafny(err error) AwsCryptographyMaterialProvidersTypes.Error

func GetAlgorithmSuiteInfoInput_FromDafny ¶

func GetAlgorithmSuiteInfoInput_FromDafny(dafnyInput dafny.Sequence) awscryptographymaterialproviderssmithygeneratedtypes.GetAlgorithmSuiteInfoInput

func GetAlgorithmSuiteInfoInput_ToDafny ¶

func GetAlgorithmSuiteInfoInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.GetAlgorithmSuiteInfoInput) dafny.Sequence

func GetBranchKeyIdInput_FromDafny ¶

func GetBranchKeyIdInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdInput) awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdInput

func GetBranchKeyIdInput_ToDafny ¶

func GetBranchKeyIdInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdInput) AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdInput

func GetBranchKeyIdOutput_FromDafny ¶

func GetBranchKeyIdOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdOutput) awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdOutput

func GetBranchKeyIdOutput_ToDafny ¶

func GetBranchKeyIdOutput_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdOutput) AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdOutput

func GetCacheEntryInput_FromDafny ¶

func GetCacheEntryInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryInput

func GetCacheEntryInput_ToDafny ¶

func GetCacheEntryInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryInput) AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput

func GetCacheEntryOutput_FromDafny ¶

func GetCacheEntryOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput) awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryOutput

func GetCacheEntryOutput_ToDafny ¶

func GetCacheEntryOutput_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryOutput) AwsCryptographyMaterialProvidersTypes.GetCacheEntryOutput

func GetClientInput_FromDafny ¶

func GetClientInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetClientInput) awscryptographymaterialproviderssmithygeneratedtypes.GetClientInput

func GetClientInput_ToDafny ¶

func GetClientInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.GetClientInput) AwsCryptographyMaterialProvidersTypes.GetClientInput

func GetEncryptionMaterialsInput_FromDafny ¶

func GetEncryptionMaterialsInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) awscryptographymaterialproviderssmithygeneratedtypes.GetEncryptionMaterialsInput

func GetEncryptionMaterialsInput_ToDafny ¶

func GetEncryptionMaterialsInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.GetEncryptionMaterialsInput) AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput

func GetEncryptionMaterialsOutput_FromDafny ¶

func GetEncryptionMaterialsOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsOutput) awscryptographymaterialproviderssmithygeneratedtypes.GetEncryptionMaterialsOutput

func GetEncryptionMaterialsOutput_ToDafny ¶

func GetEncryptionMaterialsOutput_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.GetEncryptionMaterialsOutput) AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsOutput

func InFlightTTLExceeded_FromDafny ¶

func InFlightTTLExceeded_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InFlightTTLExceeded

func InFlightTTLExceeded_ToDafny ¶

func InFlightTTLExceeded_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InFlightTTLExceeded) AwsCryptographyMaterialProvidersTypes.Error

func InitializeDecryptionMaterialsInput_FromDafny ¶

func InitializeDecryptionMaterialsInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.InitializeDecryptionMaterialsInput) awscryptographymaterialproviderssmithygeneratedtypes.InitializeDecryptionMaterialsInput

func InitializeDecryptionMaterialsInput_ToDafny ¶

func InitializeDecryptionMaterialsInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InitializeDecryptionMaterialsInput) AwsCryptographyMaterialProvidersTypes.InitializeDecryptionMaterialsInput

func InitializeEncryptionMaterialsInput_FromDafny ¶

func InitializeEncryptionMaterialsInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.InitializeEncryptionMaterialsInput) awscryptographymaterialproviderssmithygeneratedtypes.InitializeEncryptionMaterialsInput

func InitializeEncryptionMaterialsInput_ToDafny ¶

func InitializeEncryptionMaterialsInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InitializeEncryptionMaterialsInput) AwsCryptographyMaterialProvidersTypes.InitializeEncryptionMaterialsInput

func InvalidAlgorithmSuiteInfoOnDecrypt_FromDafny ¶

func InvalidAlgorithmSuiteInfoOnDecrypt_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfoOnDecrypt

func InvalidAlgorithmSuiteInfoOnDecrypt_ToDafny ¶

func InvalidAlgorithmSuiteInfoOnDecrypt_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfoOnDecrypt) AwsCryptographyMaterialProvidersTypes.Error

func InvalidAlgorithmSuiteInfoOnEncrypt_FromDafny ¶

func InvalidAlgorithmSuiteInfoOnEncrypt_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfoOnEncrypt

func InvalidAlgorithmSuiteInfoOnEncrypt_ToDafny ¶

func InvalidAlgorithmSuiteInfoOnEncrypt_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfoOnEncrypt) AwsCryptographyMaterialProvidersTypes.Error

func InvalidAlgorithmSuiteInfo_FromDafny ¶

func InvalidAlgorithmSuiteInfo_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfo

func InvalidAlgorithmSuiteInfo_ToDafny ¶

func InvalidAlgorithmSuiteInfo_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidAlgorithmSuiteInfo) AwsCryptographyMaterialProvidersTypes.Error

func InvalidDecryptionMaterialsTransition_FromDafny ¶

func InvalidDecryptionMaterialsTransition_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidDecryptionMaterialsTransition

func InvalidDecryptionMaterialsTransition_ToDafny ¶

func InvalidDecryptionMaterialsTransition_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidDecryptionMaterialsTransition) AwsCryptographyMaterialProvidersTypes.Error

func InvalidDecryptionMaterials_FromDafny ¶

func InvalidDecryptionMaterials_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidDecryptionMaterials

func InvalidDecryptionMaterials_ToDafny ¶

func InvalidDecryptionMaterials_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidDecryptionMaterials) AwsCryptographyMaterialProvidersTypes.Error

func InvalidEncryptionMaterialsTransition_FromDafny ¶

func InvalidEncryptionMaterialsTransition_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidEncryptionMaterialsTransition

func InvalidEncryptionMaterialsTransition_ToDafny ¶

func InvalidEncryptionMaterialsTransition_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidEncryptionMaterialsTransition) AwsCryptographyMaterialProvidersTypes.Error

func InvalidEncryptionMaterials_FromDafny ¶

func InvalidEncryptionMaterials_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.InvalidEncryptionMaterials

func InvalidEncryptionMaterials_ToDafny ¶

func InvalidEncryptionMaterials_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.InvalidEncryptionMaterials) AwsCryptographyMaterialProvidersTypes.Error

func KeyAgreementScheme_FromDafny ¶ added in v0.2.0

func KeyAgreementScheme_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.KeyAgreementScheme

func KeyAgreementScheme_ToDafny ¶ added in v0.2.0

func KeyAgreementScheme_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.KeyAgreementScheme) AwsCryptographyMaterialProvidersTypes.KeyAgreementScheme

func Keyring_FromDafny ¶

func Keyring_FromDafny(dafnyResource AwsCryptographyMaterialProvidersTypes.IKeyring) awscryptographymaterialproviderssmithygeneratedtypes.IKeyring

func Keyring_ToDafny ¶

func Keyring_ToDafny(nativeResource awscryptographymaterialproviderssmithygeneratedtypes.IKeyring) AwsCryptographyMaterialProvidersTypes.IKeyring

func MaterialProvidersConfig_FromDafny ¶

func MaterialProvidersConfig_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.MaterialProvidersConfig) awscryptographymaterialproviderssmithygeneratedtypes.MaterialProvidersConfig

func MaterialProvidersConfig_ToDafny ¶

func MaterialProvidersConfig_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.MaterialProvidersConfig) AwsCryptographyMaterialProvidersTypes.MaterialProvidersConfig

func Materials_FromDafny ¶ added in v0.2.0

func Materials_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.Materials

func Materials_ToDafny ¶ added in v0.2.0

func Materials_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.Materials) AwsCryptographyMaterialProvidersTypes.Materials

func OnDecryptInput_FromDafny ¶

func OnDecryptInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.OnDecryptInput) awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptInput

func OnDecryptInput_ToDafny ¶

func OnDecryptInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptInput) AwsCryptographyMaterialProvidersTypes.OnDecryptInput

func OnDecryptOutput_FromDafny ¶

func OnDecryptOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.OnDecryptOutput) awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptOutput

func OnDecryptOutput_ToDafny ¶

func OnDecryptOutput_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptOutput) AwsCryptographyMaterialProvidersTypes.OnDecryptOutput

func OnEncryptInput_FromDafny ¶

func OnEncryptInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.OnEncryptInput) awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptInput

func OnEncryptInput_ToDafny ¶

func OnEncryptInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptInput) AwsCryptographyMaterialProvidersTypes.OnEncryptInput

func OnEncryptOutput_FromDafny ¶

func OnEncryptOutput_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.OnEncryptOutput) awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptOutput

func OnEncryptOutput_ToDafny ¶

func OnEncryptOutput_ToDafny(nativeOutput awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptOutput) AwsCryptographyMaterialProvidersTypes.OnEncryptOutput

func OpaqueError_Input_ToDafny ¶

func OpaqueError_Input_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.OpaqueError) AwsCryptographyMaterialProvidersTypes.Error

func OpaqueError_Output_FromDafny ¶

func OpaqueError_Output_FromDafny(dafnyOutput AwsCryptographyMaterialProvidersTypes.Error) awscryptographymaterialproviderssmithygeneratedtypes.OpaqueError

func PutCacheEntryInput_FromDafny ¶

func PutCacheEntryInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput) awscryptographymaterialproviderssmithygeneratedtypes.PutCacheEntryInput

func PutCacheEntryInput_ToDafny ¶

func PutCacheEntryInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.PutCacheEntryInput) AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput

func StaticConfigurations_FromDafny ¶ added in v0.2.0

func StaticConfigurations_FromDafny(input interface{}) awscryptographymaterialproviderssmithygeneratedtypes.StaticConfigurations

func StaticConfigurations_ToDafny ¶ added in v0.2.0

func StaticConfigurations_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.StaticConfigurations) AwsCryptographyMaterialProvidersTypes.StaticConfigurations

func UpdateUsageMetadataInput_FromDafny ¶

func UpdateUsageMetadataInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput) awscryptographymaterialproviderssmithygeneratedtypes.UpdateUsageMetadataInput

func UpdateUsageMetadataInput_ToDafny ¶

func UpdateUsageMetadataInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.UpdateUsageMetadataInput) AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput

func ValidDecryptionMaterialsTransitionInput_FromDafny ¶

func ValidDecryptionMaterialsTransitionInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.ValidDecryptionMaterialsTransitionInput) awscryptographymaterialproviderssmithygeneratedtypes.ValidDecryptionMaterialsTransitionInput

func ValidDecryptionMaterialsTransitionInput_ToDafny ¶

func ValidDecryptionMaterialsTransitionInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.ValidDecryptionMaterialsTransitionInput) AwsCryptographyMaterialProvidersTypes.ValidDecryptionMaterialsTransitionInput

func ValidEncryptionMaterialsTransitionInput_FromDafny ¶

func ValidEncryptionMaterialsTransitionInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.ValidEncryptionMaterialsTransitionInput) awscryptographymaterialproviderssmithygeneratedtypes.ValidEncryptionMaterialsTransitionInput

func ValidEncryptionMaterialsTransitionInput_ToDafny ¶

func ValidEncryptionMaterialsTransitionInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.ValidEncryptionMaterialsTransitionInput) AwsCryptographyMaterialProvidersTypes.ValidEncryptionMaterialsTransitionInput

func ValidateCommitmentPolicyOnDecryptInput_FromDafny ¶

func ValidateCommitmentPolicyOnDecryptInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.ValidateCommitmentPolicyOnDecryptInput) awscryptographymaterialproviderssmithygeneratedtypes.ValidateCommitmentPolicyOnDecryptInput

func ValidateCommitmentPolicyOnDecryptInput_ToDafny ¶

func ValidateCommitmentPolicyOnDecryptInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.ValidateCommitmentPolicyOnDecryptInput) AwsCryptographyMaterialProvidersTypes.ValidateCommitmentPolicyOnDecryptInput

func ValidateCommitmentPolicyOnEncryptInput_FromDafny ¶

func ValidateCommitmentPolicyOnEncryptInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.ValidateCommitmentPolicyOnEncryptInput) awscryptographymaterialproviderssmithygeneratedtypes.ValidateCommitmentPolicyOnEncryptInput

func ValidateCommitmentPolicyOnEncryptInput_ToDafny ¶

func ValidateCommitmentPolicyOnEncryptInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.ValidateCommitmentPolicyOnEncryptInput) AwsCryptographyMaterialProvidersTypes.ValidateCommitmentPolicyOnEncryptInput

Types ¶

type BranchKeyIdSupplier ¶

type BranchKeyIdSupplier struct {
	Impl AwsCryptographyMaterialProvidersTypes.IBranchKeyIdSupplier
}

func (*BranchKeyIdSupplier) GetBranchKeyId ¶

func (this *BranchKeyIdSupplier) GetBranchKeyId(params awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdInput) (*awscryptographymaterialproviderssmithygeneratedtypes.GetBranchKeyIdOutput, error)

type BranchKeyIdSupplierNativeWrapper ¶

type BranchKeyIdSupplierNativeWrapper struct {
	AwsCryptographyMaterialProvidersTypes.IBranchKeyIdSupplier
	Impl awscryptographymaterialproviderssmithygeneratedtypes.IBranchKeyIdSupplier
}

func (*BranchKeyIdSupplierNativeWrapper) GetBranchKeyId ¶

func (this *BranchKeyIdSupplierNativeWrapper) GetBranchKeyId(input AwsCryptographyMaterialProvidersTypes.GetBranchKeyIdInput) Wrappers.Result

type Client ¶

type Client struct {
	DafnyClient AwsCryptographyMaterialProvidersTypes.IAwsCryptographicMaterialProvidersClient
}

func NewClient ¶

func NewClient(clientConfig awscryptographymaterialproviderssmithygeneratedtypes.MaterialProvidersConfig) (*Client, error)

func (*Client) CreateAwsKmsDiscoveryKeyring ¶

func (client *Client) CreateAwsKmsDiscoveryKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsDiscoveryMultiKeyring ¶

func (client *Client) CreateAwsKmsDiscoveryMultiKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryMultiKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsEcdhKeyring ¶

func (client *Client) CreateAwsKmsEcdhKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsEcdhKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsHierarchicalKeyring ¶

func (client *Client) CreateAwsKmsHierarchicalKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsHierarchicalKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsKeyring ¶

func (client *Client) CreateAwsKmsKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsMrkDiscoveryKeyring ¶

func (client *Client) CreateAwsKmsMrkDiscoveryKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkDiscoveryKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsMrkDiscoveryMultiKeyring ¶

func (client *Client) CreateAwsKmsMrkDiscoveryMultiKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkDiscoveryMultiKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsMrkKeyring ¶

func (client *Client) CreateAwsKmsMrkKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsMrkMultiKeyring ¶

func (client *Client) CreateAwsKmsMrkMultiKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMrkMultiKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsMultiKeyring ¶

func (client *Client) CreateAwsKmsMultiKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsMultiKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateAwsKmsRsaKeyring ¶

func (client *Client) CreateAwsKmsRsaKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsRsaKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateCryptographicMaterialsCache ¶

func (client *Client) CreateCryptographicMaterialsCache(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateCryptographicMaterialsCacheInput) (awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsCache, error)

func (*Client) CreateDefaultClientSupplier ¶

func (client *Client) CreateDefaultClientSupplier(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateDefaultClientSupplierInput) (awscryptographymaterialproviderssmithygeneratedtypes.IClientSupplier, error)

func (*Client) CreateDefaultCryptographicMaterialsManager ¶

func (client *Client) CreateDefaultCryptographicMaterialsManager(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateDefaultCryptographicMaterialsManagerInput) (awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsManager, error)

func (*Client) CreateMultiKeyring ¶

func (client *Client) CreateMultiKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateMultiKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateRawAesKeyring ¶

func (client *Client) CreateRawAesKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateRawAesKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateRawEcdhKeyring ¶

func (client *Client) CreateRawEcdhKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateRawEcdhKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateRawRsaKeyring ¶

func (client *Client) CreateRawRsaKeyring(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateRawRsaKeyringInput) (awscryptographymaterialproviderssmithygeneratedtypes.IKeyring, error)

func (*Client) CreateRequiredEncryptionContextCMM ¶

func (client *Client) CreateRequiredEncryptionContextCMM(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.CreateRequiredEncryptionContextCMMInput) (awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsManager, error)

func (*Client) DecryptionMaterialsWithPlaintextDataKey ¶

func (client *Client) DecryptionMaterialsWithPlaintextDataKey(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials) error

func (*Client) EncryptionMaterialsHasPlaintextDataKey ¶

func (client *Client) EncryptionMaterialsHasPlaintextDataKey(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials) error

func (*Client) GetAlgorithmSuiteInfo ¶

func (client *Client) GetAlgorithmSuiteInfo(ctx context.Context, params []byte) (*awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo, error)

func (*Client) InitializeDecryptionMaterials ¶

func (client *Client) InitializeDecryptionMaterials(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.InitializeDecryptionMaterialsInput) (*awscryptographymaterialproviderssmithygeneratedtypes.DecryptionMaterials, error)

func (*Client) InitializeEncryptionMaterials ¶

func (client *Client) InitializeEncryptionMaterials(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.InitializeEncryptionMaterialsInput) (*awscryptographymaterialproviderssmithygeneratedtypes.EncryptionMaterials, error)

func (*Client) ValidAlgorithmSuiteInfo ¶

func (client *Client) ValidAlgorithmSuiteInfo(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.AlgorithmSuiteInfo) error

func (*Client) ValidDecryptionMaterialsTransition ¶

func (client *Client) ValidDecryptionMaterialsTransition(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.ValidDecryptionMaterialsTransitionInput) error

func (*Client) ValidEncryptionMaterialsTransition ¶

func (client *Client) ValidEncryptionMaterialsTransition(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.ValidEncryptionMaterialsTransitionInput) error

func (*Client) ValidateCommitmentPolicyOnDecrypt ¶

func (client *Client) ValidateCommitmentPolicyOnDecrypt(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.ValidateCommitmentPolicyOnDecryptInput) error

func (*Client) ValidateCommitmentPolicyOnEncrypt ¶

func (client *Client) ValidateCommitmentPolicyOnEncrypt(ctx context.Context, params awscryptographymaterialproviderssmithygeneratedtypes.ValidateCommitmentPolicyOnEncryptInput) error

type ClientSupplier ¶

type ClientSupplier struct {
	Impl AwsCryptographyMaterialProvidersTypes.IClientSupplier
}

func (*ClientSupplier) GetClient ¶

func (this *ClientSupplier) GetClient(params awscryptographymaterialproviderssmithygeneratedtypes.GetClientInput) (kms.Client, error)

type ClientSupplierNativeWrapper ¶

type ClientSupplierNativeWrapper struct {
	AwsCryptographyMaterialProvidersTypes.IClientSupplier
	Impl awscryptographymaterialproviderssmithygeneratedtypes.IClientSupplier
}

func (*ClientSupplierNativeWrapper) GetClient ¶

func (this *ClientSupplierNativeWrapper) GetClient(input AwsCryptographyMaterialProvidersTypes.GetClientInput) Wrappers.Result

type CryptographicMaterialsCache ¶

type CryptographicMaterialsCache struct {
	Impl AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache
}

func (*CryptographicMaterialsCache) DeleteCacheEntry ¶

func (this *CryptographicMaterialsCache) DeleteCacheEntry(params awscryptographymaterialproviderssmithygeneratedtypes.DeleteCacheEntryInput) error

func (*CryptographicMaterialsCache) GetCacheEntry ¶

func (this *CryptographicMaterialsCache) GetCacheEntry(params awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryInput) (*awscryptographymaterialproviderssmithygeneratedtypes.GetCacheEntryOutput, error)

func (*CryptographicMaterialsCache) PutCacheEntry ¶

func (this *CryptographicMaterialsCache) PutCacheEntry(params awscryptographymaterialproviderssmithygeneratedtypes.PutCacheEntryInput) error

func (*CryptographicMaterialsCache) UpdateUsageMetadata ¶

func (this *CryptographicMaterialsCache) UpdateUsageMetadata(params awscryptographymaterialproviderssmithygeneratedtypes.UpdateUsageMetadataInput) error

type CryptographicMaterialsCacheNativeWrapper ¶

type CryptographicMaterialsCacheNativeWrapper struct {
	AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsCache
	Impl awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsCache
}

func (*CryptographicMaterialsCacheNativeWrapper) DeleteCacheEntry ¶

func (this *CryptographicMaterialsCacheNativeWrapper) DeleteCacheEntry(input AwsCryptographyMaterialProvidersTypes.DeleteCacheEntryInput) Wrappers.Result

func (*CryptographicMaterialsCacheNativeWrapper) GetCacheEntry ¶

func (this *CryptographicMaterialsCacheNativeWrapper) GetCacheEntry(input AwsCryptographyMaterialProvidersTypes.GetCacheEntryInput) Wrappers.Result

func (*CryptographicMaterialsCacheNativeWrapper) PutCacheEntry ¶

func (this *CryptographicMaterialsCacheNativeWrapper) PutCacheEntry(input AwsCryptographyMaterialProvidersTypes.PutCacheEntryInput) Wrappers.Result

func (*CryptographicMaterialsCacheNativeWrapper) UpdateUsageMetadata ¶

func (this *CryptographicMaterialsCacheNativeWrapper) UpdateUsageMetadata(input AwsCryptographyMaterialProvidersTypes.UpdateUsageMetadataInput) Wrappers.Result

type CryptographicMaterialsManager ¶

type CryptographicMaterialsManager struct {
	Impl AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager
}

func (*CryptographicMaterialsManager) DecryptMaterials ¶

func (this *CryptographicMaterialsManager) DecryptMaterials(params awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsInput) (*awscryptographymaterialproviderssmithygeneratedtypes.DecryptMaterialsOutput, error)

func (*CryptographicMaterialsManager) GetEncryptionMaterials ¶

func (this *CryptographicMaterialsManager) GetEncryptionMaterials(params awscryptographymaterialproviderssmithygeneratedtypes.GetEncryptionMaterialsInput) (*awscryptographymaterialproviderssmithygeneratedtypes.GetEncryptionMaterialsOutput, error)

type CryptographicMaterialsManagerNativeWrapper ¶

type CryptographicMaterialsManagerNativeWrapper struct {
	AwsCryptographyMaterialProvidersTypes.ICryptographicMaterialsManager
	Impl awscryptographymaterialproviderssmithygeneratedtypes.ICryptographicMaterialsManager
}

func (*CryptographicMaterialsManagerNativeWrapper) DecryptMaterials ¶

func (this *CryptographicMaterialsManagerNativeWrapper) DecryptMaterials(input AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) Wrappers.Result

func (*CryptographicMaterialsManagerNativeWrapper) GetEncryptionMaterials ¶

func (this *CryptographicMaterialsManagerNativeWrapper) GetEncryptionMaterials(input AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) Wrappers.Result

type Keyring ¶

type Keyring struct {
	Impl AwsCryptographyMaterialProvidersTypes.IKeyring
}

func (*Keyring) OnDecrypt ¶

func (this *Keyring) OnDecrypt(params awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptInput) (*awscryptographymaterialproviderssmithygeneratedtypes.OnDecryptOutput, error)

func (*Keyring) OnEncrypt ¶

func (this *Keyring) OnEncrypt(params awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptInput) (*awscryptographymaterialproviderssmithygeneratedtypes.OnEncryptOutput, error)

type KeyringNativeWrapper ¶

type KeyringNativeWrapper struct {
	AwsCryptographyMaterialProvidersTypes.IKeyring
	Impl awscryptographymaterialproviderssmithygeneratedtypes.IKeyring
}

func (*KeyringNativeWrapper) OnDecrypt ¶

func (this *KeyringNativeWrapper) OnDecrypt(input AwsCryptographyMaterialProvidersTypes.OnDecryptInput) Wrappers.Result

func (*KeyringNativeWrapper) OnEncrypt ¶

func (this *KeyringNativeWrapper) OnEncrypt(input AwsCryptographyMaterialProvidersTypes.OnEncryptInput) Wrappers.Result

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL