Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 14, 2025 Changes in this version + var Companion_Config_ = CompanionStruct_Config_ + var Companion_Default___ = CompanionStruct_Default___ + func Type_Config_() _dafny.TypeDescriptor + type CompanionStruct_Config_ struct + func (CompanionStruct_Config_) Create_Config_() Config + func (CompanionStruct_Config_) Default() Config + func (_ CompanionStruct_Config_) AllSingletonConstructors() _dafny.Iterator + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) AESDecrypt(config Config, input m_AwsCryptographyPrimitivesTypes.AESDecryptInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) AESEncrypt(config Config, input m_AwsCryptographyPrimitivesTypes.AESEncryptInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) AesKdfCounterMode(config Config, input m_AwsCryptographyPrimitivesTypes.AesKdfCtrInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) CompressPublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.CompressPublicKeyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) DecompressPublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.DecompressPublicKeyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) DeriveSharedSecret(config Config, input m_AwsCryptographyPrimitivesTypes.DeriveSharedSecretInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) Digest(config Config, input m_AwsCryptographyPrimitivesTypes.DigestInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ECDSASign(config Config, input m_AwsCryptographyPrimitivesTypes.ECDSASignInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ECDSAVerify(config Config, input m_AwsCryptographyPrimitivesTypes.ECDSAVerifyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GenerateECCKeyPair(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateECCKeyPairInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GenerateECDSASignatureKey(config Config, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GenerateRSAKeyPair(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateRSAKeyPairInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GenerateRandomBytes(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateRandomBytesInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GetPublicKeyFromPrivateKey(config Config, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GetRSAKeyModulusLength(config Config, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) HMac(config Config, input m_AwsCryptographyPrimitivesTypes.HMacInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) Hkdf(config Config, input m_AwsCryptographyPrimitivesTypes.HkdfInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) HkdfExpand(config Config, input m_AwsCryptographyPrimitivesTypes.HkdfExpandInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) HkdfExtract(config Config, input m_AwsCryptographyPrimitivesTypes.HkdfExtractInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) KdfCounterMode(config Config, input m_AwsCryptographyPrimitivesTypes.KdfCtrInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ParsePublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.ParsePublicKeyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) RSADecrypt(config Config, input m_AwsCryptographyPrimitivesTypes.RSADecryptInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) RSAEncrypt(config Config, input m_AwsCryptographyPrimitivesTypes.RSAEncryptInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ValidatePublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.ValidatePublicKeyInput) m_Wrappers.Result + type Config struct + func (_this Config) Equals(other Config) bool + func (_this Config) EqualsGeneric(other interface{}) bool + func (_this Config) Get_() Data_Config_ + func (_this Config) Is_Config() bool + func (_this Config) ParentTraits_() []*_dafny.TraitID + func (_this Config) String() string + type Config_Config struct + type Data_Config_ interface + type Default__ struct + func New_Default___() *Default__ + func (*Default__) String() string + func (_this *Default__) Equals(other *Default__) bool + func (_this *Default__) EqualsGeneric(x interface{}) bool + func (_this *Default__) ParentTraits_() []*_dafny.TraitID + type Dummy__ struct
Go to main page