Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 15, 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_(Id _dafny.Sequence, DdbTableName _dafny.Sequence, ...) Config + func (CompanionStruct_Config_) Default() Config + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) CreateKey(config Config, input m_AwsCryptographyKeyStoreTypes.CreateKeyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) CreateKeyStore(config Config, input m_AwsCryptographyKeyStoreTypes.CreateKeyStoreInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GetActiveBranchKey(config Config, input m_AwsCryptographyKeyStoreTypes.GetActiveBranchKeyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GetBeaconKey(config Config, input m_AwsCryptographyKeyStoreTypes.GetBeaconKeyInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GetBranchKeyVersion(config Config, input m_AwsCryptographyKeyStoreTypes.GetBranchKeyVersionInput) m_Wrappers.Result + func (_static *CompanionStruct_Default___) GetKeyStoreInfo(config Config) m_Wrappers.Result + func (_static *CompanionStruct_Default___) VersionKey(config Config, input m_AwsCryptographyKeyStoreTypes.VersionKeyInput) m_Wrappers.Result + type Config struct + func (_this Config) Dtor_ddbClient() m_ComAmazonawsDynamodbTypes.IDynamoDBClient + func (_this Config) Dtor_ddbTableName() _dafny.Sequence + func (_this Config) Dtor_grantTokens() _dafny.Sequence + func (_this Config) Dtor_id() _dafny.Sequence + func (_this Config) Dtor_kmsClient() m_ComAmazonawsKmsTypes.IKMSClient + func (_this Config) Dtor_kmsConfiguration() m_AwsCryptographyKeyStoreTypes.KMSConfiguration + func (_this Config) Dtor_logicalKeyStoreName() _dafny.Sequence + 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 + DdbClient m_ComAmazonawsDynamodbTypes.IDynamoDBClient + DdbTableName _dafny.Sequence + GrantTokens _dafny.Sequence + Id _dafny.Sequence + KmsClient m_ComAmazonawsKmsTypes.IKMSClient + KmsConfiguration m_AwsCryptographyKeyStoreTypes.KMSConfiguration + LogicalKeyStoreName _dafny.Sequence + 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