Docs.rs
  • aws-db-esdk-1.1.1
    • aws-db-esdk 1.1.1
    • 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.6.3 normal
      • aws-lc-rs ^1.13.1 normal
      • aws-lc-sys ^0.29.0 normal
      • aws-sdk-dynamodb ^1.73.0 normal
      • aws-sdk-kms ^1.67.0 normal
      • aws-smithy-runtime-api ^1.8.0 normal
      • aws-smithy-types ^1.3.1 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.45.1 normal
      • uuid ^1.17.0 normal
    • Versions
    • 38.2% of the crate is documented
  • Platform
    • i686-unknown-linux-gnu
    • x86_64-unknown-linux-gnu
  • Feature flags
  • docs.rs
    • About docs.rs
    • Badges
    • Builds
    • Metadata
    • Shorthand URLs
    • Download
    • Rustdoc JSON
    • Build queue
    • Privacy policy
  • Rust
    • Rust website
    • The Book
    • Standard Library API Reference
    • Rust by Example
    • The Cargo Guide
    • Clippy Documentation

aws_db_esdk1.1.1

Module get_segment

Module Items

  • Functions

In aws_db_esdk::dynamodb::conversions

aws_db_esdk::dynamodb::conversions

Module get_segment

Source

Functionsยง

from_dafny
option_from_dafny
option_to_dafny
plain_from_dafny
to_dafny
to_dafny_plain