Mercurial > urweb

comparison src/list_util.sml @ 839:b2413e4dd109

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List library additions; fix another substructure unification bug
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Jun 2009 14:09:30 -0400
parents d20d6afc1206
children 0f7e2cca6d9b
comparison
equal deleted inserted replaced
838:5154a047c6bc 839:b2413e4dd109
134 | v => v 134 | v => v
135 in 135 in
136 s 136 s
137 end 137 end
138 138
139 fun searchi f =
140 let
141 fun s n ls =
142 case ls of
143 [] => NONE
144 | h :: t =>
145 case f (n, h) of
146 NONE => s (n + 1) t
147 | v => v
148 in
149 s 0
150 end
151
139 fun mapi f = 152 fun mapi f =
140 let 153 let
141 fun m i acc ls = 154 fun m i acc ls =
142 case ls of 155 case ls of
143 [] => rev acc 156 [] => rev acc