melinoe 0.10.0

Zero-sized, branded, multi-token phantom capabilities for compile-time data-access and thread-synchronization proofs (a generalized evolution of GhostCell) for the Mnemosyne memory ecosystem.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//! `Vec` storage whose element access is gated by a Melinoe brand permit.

mod generation;
mod iter;
mod ops;
#[cfg(feature = "std")]
mod partition;
mod vec;
mod views;

#[doc(inline)]
pub use generation::with_generated;
#[doc(inline)]
pub use iter::BrandedDrain;
pub use vec::BrandedVec;