Expand description

Some extra mischief compatible with the standard library or heresy.

Macros

Creates a type that provides safe access to a static variable using a unique value.
Creates a token with a fresh type that is checked for uniqueness at runtime.
Splits a unique value into several others.

Structs

A box that may be uninitialized.
A “ghost” reference that is guaranteed to be zero-sized and obey borrowing and ownership semantics
A pointer which has its pointee in a specific memory region.
A lease on a static memory location for a statically-checked lifetime.
The runtime token is simultaneously acquired elsewhere.
A memory location that may or may not have a value initialized in it.
A reference to some static value.
A type of which there can only ever exist one value.

Traits

Pointer metadata that can determine the memory layout of its pointee.
A type that points to a single location in memory.
A contiguous memory region.
An Allocator that allocates inside a single contiguous memory region.
A Pointer that may be restructured with munge.
A type which guarantees that all simultaneous values share the same state.
A type that can lease access to a type without any context.
A type which guarantees that only one value can ever exist at a time.
A pointer that knows where its target is located

Functions

Returns the layout of the value pointed to by the given pointer.

Derive Macros

Derives Singleton on the annotated type.
Derives Unique on the annotated type.