tidepool_repr/lib.rs
1//! Core representation types for Tidepool's GHC Core IR.
2//!
3//! Defines `CoreExpr` (a recursive tree of `CoreFrame` nodes), `DataConTable`,
4//! literals, variables, and CBOR serialization.
5
6pub mod builder;
7pub mod datacon;
8pub mod datacon_table;
9pub mod frame;
10pub mod free_vars;
11pub mod pretty;
12pub mod serial;
13pub mod subst;
14pub mod tree;
15pub mod types;
16
17pub use builder::TreeBuilder;
18pub use datacon::*;
19pub use datacon_table::*;
20pub use frame::*;
21pub use tree::*;
22pub use types::*;
23
24/// A complete Core expression, stored as a flat recursive tree.
25pub type CoreExpr = RecursiveTree<CoreFrame<usize>>;