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