genz 0.4.0

Uniqueness of types via invariant lifetimes.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! Uniqueness of types via invariant lifetimes.
//!
//! Provides a `UniqueType` marker which makes it impossible to call the following without resorting to `unsafe` code:
//!
//! ```
//! # use genz::*;
//! fn same_type<'c, T>(t1: UniqueType<'c, T>, t2: UniqueType<'c, T>)
//! {
//!   panic!("this is impossible!")
//! }
//! ```

mod lifetime;
#[doc(inline)]
pub use lifetime::{Scope, Region, with_region, with_scope};

mod storable;
pub use storable::Storable;

mod gen;
#[doc(inline)]
pub use gen::{Gen, UniqueType, TryGenTuple, StaticTuple, with_type, try_with_types, with_types};