Crate reify_reflect 

reify-reflect

Unified reification and reflection ecosystem for Rust.

This facade crate re-exports the core components of the ecosystem:

• core: Reflect trait, reify function, Reified token, RuntimeValue enum
• nat: type-level naturals, booleans, and heterogeneous lists
• derive: #[derive(Reflect)] proc macro
• graph: Rc/Arc graph reification and reconstruction
• context: runtime-synthesized trait instances
• async_trace: async computation step graph extraction
• [const_bridge]: runtime-to-const-generic dispatch (behind const-reify feature)

Feature Flags

• serde (default): enables serde support for reify-graph and async-reify
• const-reify: enables the const_bridge module for runtime-to-const-generic dispatch
• full: enables all features

Quick Start

use reify_reflect::core::{Reflect, RuntimeValue};
use reify_reflect::nat::{S, Z};

type Three = S<S<S<Z>>>;
assert_eq!(Three::reflect(), RuntimeValue::Nat(3));

Modules

async_trace

Async computation tracing and step graph extraction.

context

Runtime-synthesized trait instances scoped to callbacks.

core

Core traits and types: Reflect, reify, Reified, RuntimeValue.

graph

Rc<RefCell<T>> graph reification and reconstruction.

nat

Type-level naturals (Z, S), booleans (True, False), and heterogeneous lists (HNil, HCons).