morphix 0.18.5

Observing and serializing mutations
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! 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

pub mod deref;
pub(crate) mod macros;
mod pointer;
pub mod quasi;
pub mod unsigned;

pub use deref::{AsDeref, AsDerefCoinductive, AsDerefMut, AsDerefMutCoinductive};
pub use pointer::Pointer;
pub use quasi::{ObserverState, QuasiObserver};
pub use unsigned::{Succ, Unsigned, Zero};
#[doc(hidden)]
pub use {erased_serde, serde};