tidepool-repr 0.1.0

Intermediate representation for the Tidepool compiler
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

//! Core representation types for Tidepool's GHC Core IR.
//!
//! Defines `CoreExpr` (a recursive tree of `CoreFrame` nodes), `DataConTable`,
//! literals, variables, and CBOR serialization.

pub mod builder;
pub mod datacon;
pub mod datacon_table;
pub mod frame;
pub mod free_vars;
pub mod pretty;
pub mod serial;
pub mod subst;
pub mod tree;
pub mod types;

pub use builder::TreeBuilder;
pub use datacon::*;
pub use datacon_table::*;
pub use frame::*;
pub use tree::*;
pub use types::*;

/// A complete Core expression, stored as a flat recursive tree.
pub type CoreExpr = RecursiveTree<CoreFrame<usize>>;