Mercurial > urweb

comparison lib/ur/listPair.ur @ 846:0d30e6338c65

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some standard library reorgs and additions; handle mutual datatypes better in Specialize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Jun 2009 18:11:59 -0400
parents 74a1e3bdf430
children 1c2f335297b7
comparison
equal deleted inserted replaced
845:6725d73c3c31 846:0d30e6338c65
1 fun foldlPartial [a] [b] [c] f =
2 let
3 fun foldlPartial' acc ls1 ls2 =
4 case (ls1, ls2) of
5 ([], []) => Some acc
6 | (x1 :: ls1, x2 :: ls2) =>
7 (case f x1 x2 acc of
8 None => None
9 | Some acc' => foldlPartial' acc' ls1 ls2)
10 | _ => None
11 in
12 foldlPartial'
13 end
14
1 fun mapX [a] [b] [ctx ::: {Unit}] f = 15 fun mapX [a] [b] [ctx ::: {Unit}] f =
2 let 16 let
3 fun mapX' ls1 ls2 = 17 fun mapX' ls1 ls2 =
4 case (ls1, ls2) of 18 case (ls1, ls2) of
5 ([], []) => <xml/> 19 ([], []) => <xml/>