Module helper 

Helper utilities for internal implementation details.

This module contains traits and types that support morphix’s internal machinery.

Contents

• Unsigned, Zero, Succ - Type-level natural numbers for compile-time depth tracking
• AsDeref, AsDerefMut - Inductive recursive dereferencing
• AsDerefCoinductive, AsDerefMutCoinductive - Coinductive recursive dereferencing
• QuasiObserver - Enables consistent operations between observers and normal references via autoref-based specialization
• Pointer - Internal pointer type for observer dereference chains

Re-exports

pub use deref::AsDeref;

pub use deref::AsDerefCoinductive;

pub use deref::AsDerefMut;

pub use deref::AsDerefMutCoinductive;

pub use quasi::Invalidate;

pub use quasi::QuasiObserver;

pub use unsigned::Succ;

pub use unsigned::Unsigned;

pub use unsigned::Zero;

Modules

deref

Traits for recursive dereferencing with type-level natural numbers.

quasi

QuasiObserver trait, Invalidate trait, and autoref-based specialization for the observe! macro.

shallow

Shallow observer infrastructure: ShallowMut wrapper and the shallow_observer! macro for generating simple observers that track mutations via a single boolean flag.

unsigned

Type-level representation of unsigned natural numbers.

Structs

Pointer

An internal pointer type for observer dereference chains.