Expand description
Runtime Rust mirror of the CommerceTheory Lean package.
The Lean package stores proof fields in validated records. This crate mirrors those records with private fields, smart constructors, executable predicates, and tests that exercise the same safety guarantees at runtime.
Re-exports§
pub use accounting::*;pub use b2b::*;pub use basic::*;pub use catalog::*;pub use competitor_pricing::*;pub use crm::*;pub use dropship_profit::*;pub use dropshipping::*;pub use event_language::*;pub use event_replay::*;pub use event_sourcing::*;pub use forecasting::*;pub use foundation::*;pub use fulfillment_finance::*;pub use implicit_invariants::*;pub use inventory::*;pub use inventory_algorithms::*;pub use keyed_totals::*;pub use logistics::*;pub use marketing::*;pub use marketplace::*;pub use merchandising::*;pub use opportunity_portfolio::*;pub use opportunity_ranking::*;pub use orders::*;pub use post_purchase::*;pub use pricing::*;pub use risk_privacy::*;pub use tax::*;pub use validation::*;pub use workflow::*;
Modules§
- accounting
- b2b
- basic
- Lightweight import-parity module for Lean’s
CommerceTheory.Basic. - catalog
- competitor_
pricing - crm
- dropship_
profit - dropshipping
- event_
language - event_
replay - event_
sourcing - forecasting
- foundation
- fulfillment_
finance - implicit_
invariants - inventory
- inventory_
algorithms - keyed_
totals - logistics
- marketing
- marketplace
- merchandising
- opportunity_
portfolio - opportunity_
ranking - orders
- post_
purchase - pricing
- risk_
privacy - summary
- Summary theorem surface for the Rust mirror.
- tax
- validation
- Executable validators for converting raw boundary data into safe records.
- workflow