summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-03-11 00:09:01 +0100
committerNadrieril2019-03-11 19:43:17 +0100
commit7aa00a544e15d4fd33187c470a235ce60a4161d4 (patch)
tree2dfebe814b170541d84bb930da0d8344d0690bea /dhall_core
parent19a1b8bfef47fca60ce5efc92ca479a475799d6e (diff)
Normalize lazily
Closes #7
Diffstat (limited to 'dhall_core')
-rw-r--r--dhall_core/src/core.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 5026328..481e949 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -757,6 +757,7 @@ fn add_ui(u: usize, i: isize) -> usize {
}
}
+/// Map over the immediate children of the passed Expr
pub fn map_shallow<S, T, A, B, F1, F2, F3, F4>(
e: &Expr<S, A>,
map: F1,