#[derive(::std::clone::Clone, ::std::default::Default, ::std::fmt::Debug)]
#[non_exhaustive]
pub struct VersionKey;
impl VersionKey {
pub fn new() -> Self {
Self
}
pub(crate) async fn send(
client: &crate::deps::aws_cryptography_keyStore::client::Client,
input: crate::deps::aws_cryptography_keyStore::operation::version_key::VersionKeyInput,
) -> ::std::result::Result<
crate::deps::aws_cryptography_keyStore::operation::version_key::VersionKeyOutput,
crate::deps::aws_cryptography_keyStore::types::error::Error,
> {
crate::deps::aws_cryptography_keyStore::validation::validate_aws_Pcryptography_PkeyStore_HVersionKeyInput_for_KeyStore_VersionKey(&input)
.map_err(crate::deps::aws_cryptography_keyStore::types::error::Error::wrap_validation_err)?;
let inner_input = crate::deps::aws_cryptography_keyStore::conversions::version_key::_version_key_input::to_dafny(input);
let inner_result =
::dafny_runtime::md!(client.dafny_client.clone()).VersionKey(&inner_input);
if matches!(
inner_result.as_ref(),
crate::r#_Wrappers_Compile::Result::Success { .. }
) {
Ok(
crate::deps::aws_cryptography_keyStore::conversions::version_key::_version_key_output::from_dafny(inner_result.value().clone()),
)
} else {
Err(
crate::deps::aws_cryptography_keyStore::conversions::error::from_dafny(
inner_result.error().clone(),
),
)
}
}
}
pub use crate::deps::aws_cryptography_keyStore::operation::version_key::_version_key_output::VersionKeyOutput;
pub use crate::deps::aws_cryptography_keyStore::operation::version_key::_version_key_input::VersionKeyInput;
pub(crate) mod _version_key_output;
pub(crate) mod _version_key_input;
pub mod builders;