aws_esdk/deps/aws_cryptography_primitives/operation/
ecdsa_verify.rs

1// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
2// SPDX-License-Identifier: Apache-2.0
3// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
4/// Orchestration and serialization glue logic for `EcdsaVerify`.
5#[derive(::std::clone::Clone, ::std::default::Default, ::std::fmt::Debug)]
6#[non_exhaustive]
7pub struct EcdsaVerify;
8impl EcdsaVerify {
9    /// Creates a new `EcdsaVerify`
10    pub fn new() -> Self {
11        Self
12    }
13
14    pub(crate) async fn send(
15        client: &crate::deps::aws_cryptography_primitives::client::Client,
16        input: crate::deps::aws_cryptography_primitives::operation::ecdsa_verify::EcdsaVerifyInput,
17    ) -> ::std::result::Result<
18        ::std::primitive::bool,
19        crate::deps::aws_cryptography_primitives::types::error::Error,
20    > {
21        crate::deps::aws_cryptography_primitives::validation::validate_aws_Pcryptography_Pprimitives_HECDSAVerifyInput_for_AwsCryptographicPrimitives_ECDSAVerify(&input)
22            .map_err(crate::deps::aws_cryptography_primitives::types::error::Error::wrap_validation_err)?;
23        let inner_input = crate::deps::aws_cryptography_primitives::conversions::ecdsa_verify::_ecdsa_verify_input::to_dafny(input);
24        let inner_result =
25            ::dafny_runtime::md!(client.dafny_client.clone()).ECDSAVerify(&inner_input);
26        if matches!(
27            inner_result.as_ref(),
28            crate::r#_Wrappers_Compile::Result::Success { .. }
29        ) {
30            Ok(inner_result.value().clone())
31        } else {
32            Err(
33                crate::deps::aws_cryptography_primitives::conversions::error::from_dafny(
34                    inner_result.error().clone(),
35                ),
36            )
37        }
38    }
39}
40
41pub use crate::deps::aws_cryptography_primitives::operation::ecdsa_verify::_ecdsa_verify_output::EcdsaVerifyOutput;
42
43pub use crate::deps::aws_cryptography_primitives::operation::ecdsa_verify::_ecdsa_verify_input::EcdsaVerifyInput;
44
45pub(crate) mod _ecdsa_verify_output;
46
47pub(crate) mod _ecdsa_verify_input;
48
49/// Builders
50pub mod builders;
aws_esdk/deps/aws_cryptography_primitives/operation/ecdsa_verify.rs

aws_esdk/deps/aws_cryptography_primitives/operation/
ecdsa_verify.rs
