diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-08-22 20:18:40 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-08-22 20:18:40 +0000 |
| commit | cb9f0ef5b800ce4a22cde1805e0eb88425f1e07b (patch) | |
| tree | 0c7425dae57acb94cb6ddca27def7e77609369b3 /embassy-sync/src/lib.rs | |
| parent | 61356181b223e95f289ca3af3a038a699cde2112 (diff) | |
| parent | 5677b13a86beca58aa57ecfd7cea0db7ceb189fa (diff) | |
Merge #922
922: split `embassy-util` into `embassy-futures`, `embassy-sync`. r=Dirbaio a=Dirbaio
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'embassy-sync/src/lib.rs')
| -rw-r--r-- | embassy-sync/src/lib.rs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/embassy-sync/src/lib.rs b/embassy-sync/src/lib.rs new file mode 100644 index 000000000..8e81e5cbe --- /dev/null +++ b/embassy-sync/src/lib.rs | |||
| @@ -0,0 +1,19 @@ | |||
| 1 | #![cfg_attr(not(any(feature = "std", feature = "wasm")), no_std)] | ||
| 2 | #![cfg_attr(feature = "nightly", feature(generic_associated_types, type_alias_impl_trait))] | ||
| 3 | #![allow(clippy::new_without_default)] | ||
| 4 | #![doc = include_str!("../../README.md")] | ||
| 5 | #![warn(missing_docs)] | ||
| 6 | |||
| 7 | // This mod MUST go first, so that the others see its macros. | ||
| 8 | pub(crate) mod fmt; | ||
| 9 | |||
| 10 | // internal use | ||
| 11 | mod ring_buffer; | ||
| 12 | |||
| 13 | pub mod blocking_mutex; | ||
| 14 | pub mod channel; | ||
| 15 | pub mod mutex; | ||
| 16 | pub mod pipe; | ||
| 17 | pub mod pubsub; | ||
| 18 | pub mod signal; | ||
| 19 | pub mod waitqueue; | ||
