software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types

Interfaces

• IStructuredEncryptionClient

Classes

• __default
• _Companion_IStructuredEncryptionClient
• _ExternBase___default
• AuthenticateAction
• AuthenticateAction_DO__NOT__SIGN
• AuthenticateAction_SIGN
• AuthenticateSchema
• AuthenticateSchemaContent
• AuthenticateSchemaContent_Action
• AuthenticateSchemaContent_SchemaList
• AuthenticateSchemaContent_SchemaMap
• CryptoAction
• CryptoAction_DO__NOTHING
• CryptoAction_ENCRYPT__AND__SIGN
• CryptoAction_SIGN__ONLY
• CryptoSchema
• CryptoSchemaContent
• CryptoSchemaContent_Action
• CryptoSchemaContent_SchemaList
• CryptoSchemaContent_SchemaMap
• DafnyCallEvent
• DecryptStructureInput
• DecryptStructureOutput
• EncryptStructureInput
• EncryptStructureOutput
• Error
• Error_AwsCryptographyMaterialProviders
• Error_AwsCryptographyPrimitives
• Error_CollectionOfErrors
• Error_Opaque
• Error_StructuredEncryptionException
• IStructuredEncryptionClientCallHistory
• OpaqueError
• ParsedHeader
• StructuredData
• StructuredDataContent
• StructuredDataContent_DataList
• StructuredDataContent_DataMap
• StructuredDataContent_Terminal
• StructuredDataTerminal
• StructuredEncryptionConfig
• TerminalTypeId
• Version