software.amazon.cryptography.keystore.internaldafny.types

Interfaces

• IKeyStoreClient

Classes

• __default
• _Companion_IKeyStoreClient
• BeaconKeyMaterials
• BranchKeyMaterials
• CreateKeyInput
• CreateKeyOutput
• CreateKeyStoreInput
• CreateKeyStoreOutput
• DafnyCallEvent
• Error
• Error_CollectionOfErrors
• Error_ComAmazonawsDynamodb
• Error_ComAmazonawsKms
• Error_KeyStoreException
• Error_Opaque
• GetActiveBranchKeyInput
• GetActiveBranchKeyOutput
• GetBeaconKeyInput
• GetBeaconKeyOutput
• GetBranchKeyVersionInput
• GetBranchKeyVersionOutput
• GetKeyStoreInfoOutput
• IKeyStoreClientCallHistory
• KeyStoreConfig
• KMSConfiguration
• OpaqueError
• VersionKeyInput
• VersionKeyOutput