diff options
Diffstat (limited to 'src/list_util.sml')
-rw-r--r-- | src/list_util.sml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/list_util.sml b/src/list_util.sml index 616efcf0..f9826ab4 100644 --- a/src/list_util.sml +++ b/src/list_util.sml @@ -156,4 +156,11 @@ fun foldli f = m 0 end +fun foldri f i ls = + let + val len = length ls + in + foldli (fn (n, x, s) => f (len - n - 1, x, s)) i (rev ls) + end + end |