Documentation
¶
Index ¶
- Variables
- func Type_Config_() _dafny.TypeDescriptor
- type CompanionStruct_Config_
- type CompanionStruct_Default___
- 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
- type Config_Config
- type Data_Config_
- type Default__
- type Dummy__
Constants ¶
This section is empty.
Variables ¶
View Source
var Companion_Config_ = CompanionStruct_Config_{}
View Source
var Companion_Default___ = CompanionStruct_Default___{}
Functions ¶
func Type_Config_ ¶
func Type_Config_() _dafny.TypeDescriptor
Types ¶
type CompanionStruct_Config_ ¶
type CompanionStruct_Config_ struct { }
func (CompanionStruct_Config_) AllSingletonConstructors ¶
func (_ CompanionStruct_Config_) AllSingletonConstructors() _dafny.Iterator
func (CompanionStruct_Config_) Create_Config_ ¶
func (CompanionStruct_Config_) Create_Config_() Config
func (CompanionStruct_Config_) Default ¶
func (CompanionStruct_Config_) Default() Config
type CompanionStruct_Default___ ¶
type CompanionStruct_Default___ struct { }
func (*CompanionStruct_Default___) AESDecrypt ¶
func (_static *CompanionStruct_Default___) AESDecrypt(config Config, input m_AwsCryptographyPrimitivesTypes.AESDecryptInput) m_Wrappers.Result
func (*CompanionStruct_Default___) AESEncrypt ¶
func (_static *CompanionStruct_Default___) AESEncrypt(config Config, input m_AwsCryptographyPrimitivesTypes.AESEncryptInput) m_Wrappers.Result
func (*CompanionStruct_Default___) AesKdfCounterMode ¶
func (_static *CompanionStruct_Default___) AesKdfCounterMode(config Config, input m_AwsCryptographyPrimitivesTypes.AesKdfCtrInput) m_Wrappers.Result
func (*CompanionStruct_Default___) CompressPublicKey ¶
func (_static *CompanionStruct_Default___) CompressPublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.CompressPublicKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) DecompressPublicKey ¶
func (_static *CompanionStruct_Default___) DecompressPublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.DecompressPublicKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) DeriveSharedSecret ¶
func (_static *CompanionStruct_Default___) DeriveSharedSecret(config Config, input m_AwsCryptographyPrimitivesTypes.DeriveSharedSecretInput) m_Wrappers.Result
func (*CompanionStruct_Default___) Digest ¶
func (_static *CompanionStruct_Default___) Digest(config Config, input m_AwsCryptographyPrimitivesTypes.DigestInput) m_Wrappers.Result
func (*CompanionStruct_Default___) ECDSASign ¶
func (_static *CompanionStruct_Default___) ECDSASign(config Config, input m_AwsCryptographyPrimitivesTypes.ECDSASignInput) m_Wrappers.Result
func (*CompanionStruct_Default___) ECDSAVerify ¶
func (_static *CompanionStruct_Default___) ECDSAVerify(config Config, input m_AwsCryptographyPrimitivesTypes.ECDSAVerifyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GenerateECCKeyPair ¶
func (_static *CompanionStruct_Default___) GenerateECCKeyPair(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateECCKeyPairInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GenerateECDSASignatureKey ¶
func (_static *CompanionStruct_Default___) GenerateECDSASignatureKey(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateECDSASignatureKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GenerateRSAKeyPair ¶
func (_static *CompanionStruct_Default___) GenerateRSAKeyPair(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateRSAKeyPairInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GenerateRandomBytes ¶
func (_static *CompanionStruct_Default___) GenerateRandomBytes(config Config, input m_AwsCryptographyPrimitivesTypes.GenerateRandomBytesInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GetPublicKeyFromPrivateKey ¶
func (_static *CompanionStruct_Default___) GetPublicKeyFromPrivateKey(config Config, input m_AwsCryptographyPrimitivesTypes.GetPublicKeyFromPrivateKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) GetRSAKeyModulusLength ¶
func (_static *CompanionStruct_Default___) GetRSAKeyModulusLength(config Config, input m_AwsCryptographyPrimitivesTypes.GetRSAKeyModulusLengthInput) m_Wrappers.Result
func (*CompanionStruct_Default___) HMac ¶
func (_static *CompanionStruct_Default___) HMac(config Config, input m_AwsCryptographyPrimitivesTypes.HMacInput) m_Wrappers.Result
func (*CompanionStruct_Default___) Hkdf ¶
func (_static *CompanionStruct_Default___) Hkdf(config Config, input m_AwsCryptographyPrimitivesTypes.HkdfInput) m_Wrappers.Result
func (*CompanionStruct_Default___) HkdfExpand ¶
func (_static *CompanionStruct_Default___) HkdfExpand(config Config, input m_AwsCryptographyPrimitivesTypes.HkdfExpandInput) m_Wrappers.Result
func (*CompanionStruct_Default___) HkdfExtract ¶
func (_static *CompanionStruct_Default___) HkdfExtract(config Config, input m_AwsCryptographyPrimitivesTypes.HkdfExtractInput) m_Wrappers.Result
func (*CompanionStruct_Default___) KdfCounterMode ¶
func (_static *CompanionStruct_Default___) KdfCounterMode(config Config, input m_AwsCryptographyPrimitivesTypes.KdfCtrInput) m_Wrappers.Result
func (*CompanionStruct_Default___) ParsePublicKey ¶
func (_static *CompanionStruct_Default___) ParsePublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.ParsePublicKeyInput) m_Wrappers.Result
func (*CompanionStruct_Default___) RSADecrypt ¶
func (_static *CompanionStruct_Default___) RSADecrypt(config Config, input m_AwsCryptographyPrimitivesTypes.RSADecryptInput) m_Wrappers.Result
func (*CompanionStruct_Default___) RSAEncrypt ¶
func (_static *CompanionStruct_Default___) RSAEncrypt(config Config, input m_AwsCryptographyPrimitivesTypes.RSAEncryptInput) m_Wrappers.Result
func (*CompanionStruct_Default___) ValidatePublicKey ¶
func (_static *CompanionStruct_Default___) ValidatePublicKey(config Config, input m_AwsCryptographyPrimitivesTypes.ValidatePublicKeyInput) m_Wrappers.Result
type Config ¶
type Config struct {
Data_Config_
}
Definition of datatype Config
func (Config) EqualsGeneric ¶
func (Config) Get_ ¶
func (_this Config) Get_() Data_Config_
func (Config) ParentTraits_ ¶
type Config_Config ¶
type Config_Config struct { }
type Data_Config_ ¶
type Data_Config_ interface {
// contains filtered or unexported methods
}
type Default__ ¶
type Default__ struct {
// contains filtered or unexported fields
}
Definition of class Default__
func New_Default___ ¶
func New_Default___() *Default__
func (*Default__) EqualsGeneric ¶
func (*Default__) ParentTraits_ ¶
Click to show internal directories.
Click to hide internal directories.