aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
beacon_style.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)]
5pub fn to_dafny(
6    value: &crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle,
7) -> ::dafny_runtime::Rc<
8    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle,
9>{
10    ::dafny_runtime::Rc::new(match value {
11        crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::PartOnly(x) =>
12    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::partOnly {
13        partOnly: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::part_only::to_dafny(&x.clone())
14,
15    },
16crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::Shared(x) =>
17    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::shared {
18        shared: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::shared::to_dafny(&x.clone())
19,
20    },
21crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::AsSet(x) =>
22    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::asSet {
23        asSet: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::as_set::to_dafny(&x.clone())
24,
25    },
26crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::SharedSet(x) =>
27    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::sharedSet {
28        sharedSet: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::shared_set::to_dafny(&x.clone())
29,
30    },
31        _ => panic!("Unknown union variant: {:?}", value),
32    })
33}
34
35#[allow(dead_code)]
36pub fn from_dafny(
37    dafny_value: ::dafny_runtime::Rc<
38        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle,
39    >,
40) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle {
41    match &::dafny_runtime::Rc::unwrap_or_clone(dafny_value) {
42        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::partOnly {
43    partOnly: x @ _,
44} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::PartOnly(crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::part_only::from_dafny(x.clone())
45),
46crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::shared {
47    shared: x @ _,
48} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::Shared(crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::shared::from_dafny(x.clone())
49),
50crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::asSet {
51    asSet: x @ _,
52} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::AsSet(crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::as_set::from_dafny(x.clone())
53),
54crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconStyle::sharedSet {
55    sharedSet: x @ _,
56} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconStyle::SharedSet(crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::shared_set::from_dafny(x.clone())
57),
58    }
59}
aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/beacon_style.rs

aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
beacon_style.rs
