Modules§
- already_
exists_ exception - cloud_
hsm_ cluster_ in_ use_ exception - cloud_
hsm_ cluster_ invalid_ configuration_ exception - cloud_
hsm_ cluster_ not_ active_ exception - cloud_
hsm_ cluster_ not_ found_ exception - cloud_
hsm_ cluster_ not_ related_ exception - conflict_
exception - custom_
key_ store_ has_ cmks_ exception - custom_
key_ store_ invalid_ state_ exception - custom_
key_ store_ name_ in_ use_ exception - custom_
key_ store_ not_ found_ exception - dependency_
timeout_ exception - disabled_
exception - dry_
run_ operation_ exception - expired_
import_ token_ exception - incorrect_
key_ exception - incorrect_
key_ material_ exception - incorrect_
trust_ anchor_ exception - invalid_
alias_ name_ exception - invalid_
arn_ exception - invalid_
ciphertext_ exception - invalid_
grant_ id_ exception - invalid_
grant_ token_ exception - invalid_
import_ token_ exception - invalid_
key_ usage_ exception - invalid_
marker_ exception - key_
unavailable_ exception - kms_
internal_ exception - kms_
invalid_ mac_ exception - kms_
invalid_ signature_ exception - kms_
invalid_ state_ exception - limit_
exceeded_ exception - malformed_
policy_ document_ exception - not_
found_ exception - tag_
exception - unsupported_
operation_ exception - xks_
key_ already_ in_ use_ exception - xks_
key_ invalid_ configuration_ exception - xks_
key_ not_ found_ exception - xks_
proxy_ incorrect_ authentication_ credential_ exception - xks_
proxy_ invalid_ configuration_ exception - xks_
proxy_ invalid_ response_ exception - xks_
proxy_ uri_ endpoint_ in_ use_ exception - xks_
proxy_ uri_ in_ use_ exception - xks_
proxy_ uri_ unreachable_ exception - xks_
proxy_ vpc_ endpoint_ service_ in_ use_ exception - xks_
proxy_ vpc_ endpoint_ service_ invalid_ configuration_ exception - xks_
proxy_ vpc_ endpoint_ service_ not_ found_ exception
Functions§
- from_
dafny - to_
dafny - to_
opaque_ error - Wraps up an arbitrary Rust Error value as a Dafny Error
- to_
opaque_ error_ result - Wraps up an arbitrary Rust Error value as a Dafny Result<T, Error>.Failure