From 7aa00a544e15d4fd33187c470a235ce60a4161d4 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 11 Mar 2019 00:09:01 +0100 Subject: Normalize lazily Closes #7 --- dhall_core/src/core.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'dhall_core/src') 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( e: &Expr, map: F1, -- cgit v1.2.3