Mercurial > urweb
comparison src/list_util.sig @ 792:d20d6afc1206
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 |