polyhorn-android-0.3.0
- polyhorn-android 0.3.0
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- cutsoy
- Dependencies
- as-any ^0.2.0 normal
  futures ^0.3.5 normal
  jni ^0.17.0 normal
  log ^0.4.11 normal
  polyhorn-android-sys ^0.3.0 normal
  polyhorn-channel ^0.3.0 normal
  polyhorn-core ^0.3.0 normal
  polyhorn-macros ^0.3.0 normal
  polyhorn-ui ^0.3.0 normal
  polyhorn-ui-macros ^0.3.0 normal
  tokio ^0.2.22 normal
- Versions
- 63.41% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

☰

Type Definition WeakState

polyhorn_android

?

[−][src]Type Definition polyhorn_android::WeakState

type WeakState<T> = WeakState<Platform, T>;

Polyhorn core weak state type that is specialized for the iOS platform.