aws-db-esdk-1.2.0
- aws-db-esdk 1.2.0
- Permalink
- Docs.rs crate page
- ISC AND (Apache-2.0 OR ISC)
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ajewellamz
- github:aws:aws-crypto-tools
- seebees
- Dependencies
- aws-config ^1.8.5 normal
  
  aws-lc-fips-sys ^0.13 normal optional
  
  aws-lc-rs ^1.13.3 normal
  
  aws-lc-sys ^0.30 normal optional
  
  aws-sdk-dynamodb ^1.90.0 normal
  
  aws-sdk-kms ^1.84.0 normal
  
  aws-smithy-runtime-api ^1.9.0 normal
  
  aws-smithy-types ^1.3.2 normal
  
  chrono ^0.4.41 normal
  
  cpu-time ^1.0.0 normal
  
  dafny-runtime ^0.3.1 normal
  
  dashmap ^6.1.0 normal
  
  pem ^3.0.5 normal
  
  tokio ^1.47.1 normal
  
  uuid ^1.18.0 normal
- Versions
- 39.04% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

option_to_dafny

aws_db_esdk1.2.0

In aws_db_esdk::dynamodb::conversions::constructor_part

aws_db_esdk::dynamodb::conversions::constructor_part

Function option_to_dafny

pub fn option_to_dafny(
    value: Option<ConstructorPart>,
) -> Rc<Option<Rc<ConstructorPart>>>