Mercurial > urweb

comparison src/list_util.sig @ 191:aa54250f58ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parametrized datatypes through explify
author Adam Chlipala <adamc@hcoop.net>
date Fri, 08 Aug 2008 10:28:32 -0400
parents 6230bdd122e7
children 73456bfde988
comparison
equal deleted inserted replaced
190:3eb53c957d10 191:aa54250f58ac
39 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 39 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
40 40
41 val search : ('a -> 'b option) -> 'a list -> 'b option 41 val search : ('a -> 'b option) -> 'a list -> 'b option
42 42
43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list 43 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
44 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
44 45
45 end 46 end