Module 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.

Referential

Allows an Address to produce an ordinary reference.

SliceReferential

Allows an Address<M, [T]> to produce an ordinary slice reference.

Type Aliases

Reference

A generically-mutable reference.