Crate dmv

Scoped IDs

This crate implements the idea of identifiers whose uniqueness is tied to a specific “scope”, allowing for a common Id type generic over the scope where each individual instantiation can only inter-operate with its own instantiation.

Common Use

todo!(mention how this is meant to be an ID base that other systems would further restrict/abstract for their own purposes)

Re-exports

pub use id::Comparable;

pub use id::Id;

pub use id::RawRepr;

pub use scope::GlobalScope;

pub use scope::Scope;

Modules

aliases

Useful trait aliases of DmvId with common types.

id

Definition of the Id traits.

scope

Definition of the Scope trait and scope! macro.

scope_map

Data structure that maps a Scope’s TypeId to a value.

Macros

scope

Simple macro filling out the boiler-plate code of creating a new scope type called $ident with optional visibility $vis, and implementing the Scope trait.

Structs

Dmv

The administrator of Ids.

Type Definitions

DmvId

Convenient alias for the Id-implementing type of the object returned from Dmv::register.

DmvIdHandle

Alias of the Id::Handle associated type of DmvId.