software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types

Interface IDynamoDbKeyBranchKeyIdSupplier

All Known Implementing Classes:

DynamoDbKeyBranchKeyIdSupplier.NativeWrapper

public interface IDynamoDbKeyBranchKeyIdSupplier

Method Summary

Modifier and Type	Method and Description
Wrappers_Compile.Result<GetBranchKeyIdFromDdbKeyOutput,Error>	GetBranchKeyIdFromDdbKey_k(GetBranchKeyIdFromDdbKeyInput input)
Wrappers_Compile.Result<GetBranchKeyIdFromDdbKeyOutput,Error>	GetBranchKeyIdFromDdbKey(GetBranchKeyIdFromDdbKeyInput input)

Method Detail

GetBranchKeyIdFromDdbKey

Wrappers_Compile.Result<GetBranchKeyIdFromDdbKeyOutput,Error> GetBranchKeyIdFromDdbKey(GetBranchKeyIdFromDdbKeyInput input)

GetBranchKeyIdFromDdbKey_k

Wrappers_Compile.Result<GetBranchKeyIdFromDdbKeyOutput,Error> GetBranchKeyIdFromDdbKey_k(GetBranchKeyIdFromDdbKeyInput input)