Module wyz::comu

Trait-level const/mutable tracking.

This module provides a system of marker types that can be used to encode write permissions into type parameters rather than duplicate structures.

Structs

Address	A generic non-null pointer with type-system mutability tracking.
Const	A basic const marker.
Frozen	A frozen wrapper over some other Mutability marker.
Mut	A basic mut marker.
NullPtrError	Address cannot be constructed over null pointers.

Traits

Mutability

Generalized mutability permissions.