aws_esdk/conversions/
net_v4_0_0_retry_policy.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#[allow(dead_code)]
5
6pub fn to_dafny(
7    value: crate::types::NetV400RetryPolicy,
8) -> ::dafny_runtime::Rc<crate::r#software::amazon::cryptography::encryptionsdk::internaldafny::types::NetV4_0_0_RetryPolicy>{
9    ::dafny_runtime::Rc::new(match value {
10        crate::types::NetV400RetryPolicy::ForbidRetry => crate::r#software::amazon::cryptography::encryptionsdk::internaldafny::types::NetV4_0_0_RetryPolicy::FORBID_RETRY {},
11crate::types::NetV400RetryPolicy::AllowRetry => crate::r#software::amazon::cryptography::encryptionsdk::internaldafny::types::NetV4_0_0_RetryPolicy::ALLOW_RETRY {},
12        _ => panic!("Unknown enum variant: {}", value),
13    })
14}
15#[allow(dead_code)]
16pub fn from_dafny(
17    dafny_value: &crate::r#software::amazon::cryptography::encryptionsdk::internaldafny::types::NetV4_0_0_RetryPolicy,
18) -> crate::types::NetV400RetryPolicy {
19    match dafny_value {
20        crate::r#software::amazon::cryptography::encryptionsdk::internaldafny::types::NetV4_0_0_RetryPolicy::FORBID_RETRY {} => crate::types::NetV400RetryPolicy::ForbidRetry,
21crate::r#software::amazon::cryptography::encryptionsdk::internaldafny::types::NetV4_0_0_RetryPolicy::ALLOW_RETRY {} => crate::types::NetV400RetryPolicy::AllowRetry,
22    }
23}
aws_esdk/conversions/net_v4_0_0_retry_policy.rs

aws_esdk/conversions/
net_v4_0_0_retry_policy.rs
