Module helper 

Helper utilities for internal implementation details.

This module contains traits and types that support morphix’s internal machinery. These are implementation details and should not be used directly in most cases.

Contents

• Assignable - Enables assignment operations on observers via autoref-based specialization
• Unsigned, Zero, Succ - Type-level natural numbers for compile-time depth tracking
• AsDeref, AsDerefMut - Inductive recursive dereferencing
• AsDerefCoinductive, AsDerefMutCoinductive - Coinductive recursive dereferencing

Stability

Items in this module are considered internal implementation details and may change between minor versions without notice. Use at your own risk.

Re-exports

pub use deref::AsDeref;

pub use deref::AsDerefCoinductive;

pub use deref::AsDerefMut;

pub use deref::AsDerefMutCoinductive;

pub use unsigned::Succ;

pub use unsigned::Unsigned;

pub use unsigned::Zero;

Modules

deref

Traits for recursive dereferencing with type-level natural numbers.

unsigned

Traits

Assignable

A trait enabling assignment to observers using autoref-based specialization.