summaryrefslogtreecommitdiff
path: root/dhall_core/src/grammar_util.rs
diff options
context:
space:
mode:
Diffstat (limited to 'dhall_core/src/grammar_util.rs')
-rw-r--r--dhall_core/src/grammar_util.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/dhall_core/src/grammar_util.rs b/dhall_core/src/grammar_util.rs
new file mode 100644
index 0000000..ce73444
--- /dev/null
+++ b/dhall_core/src/grammar_util.rs
@@ -0,0 +1,7 @@
+use crate::core::{Expr, X};
+
+pub type ParsedExpr<'i> = Expr<'i, X, X>; // FIXME Parse paths and replace the second X with Path
+pub type BoxExpr<'i> = Box<ParsedExpr<'i>>;
+pub type ExprOpFn<'i> = fn(BoxExpr<'i>, BoxExpr<'i>) -> ParsedExpr<'i>;
+pub type ExprListFn<'i> =
+ fn(Option<BoxExpr<'i>>, Vec<ParsedExpr<'i>>) -> ParsedExpr<'i>;