Mercurial > urweb

diff lib/ur/list.ur @ 1840:146ec8e90063

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add some name-mangling rules to allow XML attribute 'name' and attributes with dashes
author Adam Chlipala <adam@chlipala.net>
date Thu, 27 Dec 2012 15:34:11 -0500
parents a613cae954ca
children d9f918b79b5a
line wrap: on
line diff
--- a/lib/ur/list.ur	Thu Dec 13 17:51:34 2012 -0500
+++ b/lib/ur/list.ur	Thu Dec 27 15:34:11 2012 -0500
@@ -437,3 +437,15 @@
     in
         mapXiM' 0
     end
+
+fun tabulateM [m] (_ : monad m) [a] (f : int -> m a) n =
+    let
+        fun tabulate' n acc =
+            if n <= 0 then
+                return acc
+            else
+                (v <- f (n-1);
+                 tabulate' (n-1) (v :: acc))
+    in
+        tabulate' n []
+    end