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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
//! # csw-generate
//!
//! Code generation for the Categorical Semantics Workbench.
//!
//! This crate generates working type checkers, interpreters, and parsers
//! from derived type systems. The generated code is standalone and can
//! be used directly in your projects.
//!
//! ## Overview
//!
//! Given a `TypeSystem` (from `csw-derive`), this crate can generate:
//!
//! - **Type checkers**: Verify that terms are well-typed
//! - **Interpreters**: Evaluate terms to values
//! - **Parsers**: Parse source code into ASTs (optional)
//! - **Documentation**: Markdown documentation of the type system
//!
//! ## Example
//!
//! ```rust,ignore
//! use csw_core::CategoryBuilder;
//! use csw_derive::Deriver;
//! use csw_generate::RustGenerator;
//! use std::path::Path;
//!
//! // Define and derive
//! let ccc = CategoryBuilder::new("STLC")
//! .with_terminal()
//! .with_products()
//! .with_exponentials()
//! .cartesian()
//! .build()
//! .unwrap();
//!
//! let type_system = Deriver::derive(&ccc);
//!
//! // Generate Rust code
//! RustGenerator::generate(&type_system, Path::new("generated/stlc/"))
//! .expect("code generation failed");
//! ```
//!
//! ## Generated Output
//!
//! The generator creates a complete Rust crate:
//!
//! ```text
//! generated/stlc/
//! ├── Cargo.toml
//! ├── src/
//! │ ├── lib.rs
//! │ ├── types.rs # Type enum
//! │ ├── terms.rs # Term enum
//! │ ├── checker.rs # Type checker
//! │ └── interpreter.rs # Evaluator
//! └── README.md
//! ```
pub use *;
pub use *;