diff options
Diffstat (limited to 'dhall_core')
| -rw-r--r-- | dhall_core/src/core.rs | 1 |
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, |