Mercurial > urweb

comparison src/list_util.sig @ 792:d20d6afc1206

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 May 2009 18:02:25 -0400
parents e0ed0d4dabc9
children b2413e4dd109
comparison
equal deleted inserted replaced
791:5368deb3764b 792:d20d6afc1206
44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
45 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 45 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
46 46
47 val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 47 val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
48 48
49 val appi : (int * 'a -> unit) -> 'a list -> unit
50
51 val appn : (int -> unit) -> int -> unit
52
49 end 53 end