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
• AsNormalized - 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 normalized::AsNormalized;

pub use unsigned::Succ;

pub use unsigned::Unsigned;

pub use unsigned::Zero;

Modules

deref

Traits for recursive dereferencing with type-level natural numbers.

normalized

Enabling consistent operations between observers and normal references in observe! macro via autoref-based specialization.

unsigned

Type-level representation of unsigned natural numbers.

Structs

Pointer

An internal pointer type for observer dereference chains.