Module wyz::comu

source ·
Expand description

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 Definitions