Mercurial > urweb

diff src/list_util.sml @ 23:bfa2e9ae4df8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tree-shaking
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 17:15:09 -0400
parents 38bf996e1c2e
children 4ab19c19665f
line wrap: on
line diff
--- a/src/list_util.sml	Sun Jun 08 16:08:31 2008 -0400
+++ b/src/list_util.sml	Sun Jun 08 17:15:09 2008 -0400
@@ -60,4 +60,17 @@
         mf
     end
 
+fun search f =
+    let
+        fun s ls =
+            case ls of
+                [] => NONE
+              | h :: t =>
+                case f h of
+                    NONE => s t
+                  | v => v
+    in
+        s
+    end
+
 end