Mercurial > urweb

comparison lib/ur/list.ur @ 844:74a1e3bdf430

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 16:45:00 -0400
parents 9f0ea203a1ca
children 6725d73c3c31
comparison
equal deleted inserted replaced
843:9f0ea203a1ca 844:74a1e3bdf430
169 [] => True 169 [] => True
170 | x :: ls => f x && all' ls 170 | x :: ls => f x && all' ls
171 in 171 in
172 all' 172 all'
173 end 173 end
174
175 fun app [m] (_ : monad m) [a] f =
176 let
177 fun app' ls =
178 case ls of
179 [] => return ()
180 | x :: ls =>
181 f x;
182 app' ls
183 in
184 app'
185 end