Mercurial > urweb

comparison src/list_util.sig @ 849:e571fb150a9f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a bug in type class enrichment from substructures
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Jun 2009 14:38:01 -0400
parents 0f7e2cca6d9b
children
comparison
equal deleted inserted replaced
848:e8594cfa3236 849:e571fb150a9f
34 val mapfoldB : ('context * 'data -> 'context * ('state -> ('data * 'state, 'abort) Search.result)) 34 val mapfoldB : ('context * 'data -> 'context * ('state -> ('data * 'state, 'abort) Search.result))
35 -> ('context, 'data list, 'state, 'abort) Search.mapfolderB 35 -> ('context, 'data list, 'state, 'abort) Search.mapfolderB
36 36
37 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 37 val foldlMap : ('data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
38 val foldlMapPartial : ('data1 * 'state -> 'data2 option * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 38 val foldlMapPartial : ('data1 * 'state -> 'data2 option * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
39 val foldlMapiPartial : (int * 'data1 * 'state -> 'data2 option * 'state)
40 -> 'state -> 'data1 list -> 'data2 list * 'state
39 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 41 val foldlMapConcat : ('data1 * 'state -> 'data2 list * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
40 val foldlMapAbort : ('data1 * 'state -> ('data2 * 'state) option) 42 val foldlMapAbort : ('data1 * 'state -> ('data2 * 'state) option)
41 -> 'state -> 'data1 list -> ('data2 list * 'state) option 43 -> 'state -> 'data1 list -> ('data2 list * 'state) option
42 44
43 val search : ('a -> 'b option) -> 'a list -> 'b option 45 val search : ('a -> 'b option) -> 'a list -> 'b option
44 val searchi : (int * 'a -> 'b option) -> 'a list -> 'b option 46 val searchi : (int * 'a -> 'b option) -> 'a list -> 'b option
45 47
46 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list 48 val mapi : (int * 'a -> 'b) -> 'a list -> 'b list
49 val mapiPartial : (int * 'a -> 'b option) -> 'a list -> 'b list
47 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 50 val foldli : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
48 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b 51 val foldri : (int * 'a * 'b -> 'b) -> 'b -> 'a list -> 'b
49 52
50 val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state 53 val foldliMap : (int * 'data1 * 'state -> 'data2 * 'state) -> 'state -> 'data1 list -> 'data2 list * 'state
51 54