Module List

module List: sig .. end
List operations.

Some functions are flagged as not tail-recursive. A tail-recursive function uses constant stack space, while a non-tail-recursive function uses stack space proportional to the length of its list argument, which can be a problem with very long lists. When the function takes several list arguments, an approximate formula giving stack usage (in some unspecified constant unit) is shown in parentheses.

The above considerations can usually be ignored if your lists are not longer than about 10000 elements.

type 'a t = 'a list = 
| []
| :: of 'a * 'a list
An alias for the type of lists.
Loading, please wait
Tags
Name
Argument 1
Argument 2
Argument 3
Argument 4
Return Type
Usage Count
Association Listsassoc'a('a * 'b) list 'b26,922
Association Listsassoc_opt'a('a * 'b) list 'b option978
Association Listsassq'a('a * 'b) list 'b2,341
Association Listsassq_opt'a('a * 'b) list 'b option42
Association Listsmem_assoc'a('a * 'b) list bool7,406
Association Listsmem_assq'a('a * 'b) list bool405
Association Listsremove_assoc'a('a * 'b) list ('a * 'b) list2,361
Association Listsremove_assq'a('a * 'b) list ('a * 'b) list203
Corecons‘a‘a list 'a list2,958
List Scanningmem'a'a list bool57,700
List Scanningmemq'a'a list bool4,106
Lists of Pairssplit('a * 'b) list 'a list * 'b list9,202
Functional Iteratorsof_seq'a Seq.t 'a list587
Corelength'a list int78,852
Corehd'a list ‘a32,102
Coretl'a list ‘a20,304
Corerev'a list 'a list103,351
Functional Iteratorsto_seq'a list 'a Seq.t520
Coreappend'a list'a list 'a list10,423
Corerev_append'a list'a list 'a list9,015
Lists of Pairscombine'a list'b list ('a * 'b) list15,394
Corecompare_lengths'a list'blist int66
Corecompare_length_with'a listint int92
Corenth'a listint ‘a17,099
Corenth_opt'a listint ‘a option227
Coreconcat'a list list 'a list13,804
Coreflatten'a list list 'a list14,597
Coreinitint(int -> ‘a) 'a list9,566
Iteratormap('a -> 'b)'a list 'b list156,968
Iteratorrev_map('a -> 'b)'a list 'b list8,363
Iteratorconcat_map('a -> 'b list)'a list 'b list2,671
Iteratorfilter_map('a -> 'b option)'a list 'b list5,566
List Searchingfind_map('a -> 'b option)'a list 'b option1,616
List Scanningfor_all('a -> bool)'a list bool18,398
List Scanningexists('a -> bool)'a list bool32,440
List Searchingfind('a -> bool)'a list 'a22,077
List Searchingfind_opt('a -> bool)'a list 'a option1,207
List Searchingfilter('a -> bool)'a list 'a list62,943
List Searchingfind_all('a -> bool)'a list 'a list1,343
List Searchingpartition('a -> bool)'a list 'a list * 'a list7,461
Iteratoriter('a -> unit)'a list unit139,370
Sortingsort('a -> 'a -> int)'a list'a list 23,919
Sortingstable_sort('a -> 'a -> int)'a list'a list 1,722
Sortingfast_sort('a -> 'a -> int)'a list'a list 776
Sortingsort_uniq('a -> 'a -> int)'a list'a list 1,462
Sortingmerge('a -> 'a -> int)'a list'a list 'a list1,681
Iteratorfold_left('a -> 'b -> 'a)'a'b list 'a98,733
Iteratorfold_left_map('a -> 'b -> 'a * 'c)'a'b list 'a * 'c list199
Iteratorfold_right('a -> 'b -> 'b)'a list'b 'b29,334
List Scanningfor_all2('a -> 'b -> bool)'a list'b list bool4,265
List Scanningexists2('a -> 'b -> bool)'a list'b list bool1,308
2 List Iteratormap2('a -> 'b -> 'c)'a list'b list 'c list10,881
2 List Iteratorrev_map2('a -> 'b -> 'c)'a list'b list 'c list1,447
2 List Iteratoriter2('a -> 'b -> unit)'a list'b list unit8,684
Iteratormapi(int -> 'a -> 'b)'a list 'b list5,052
List Searchingfilteri(int -> 'a -> bool)'a list 'a list120
Iteratoriteri(int -> 'a -> unit)'a list unit3,707
2 List Iteratorfold_left2('a -> 'b -> 'c -> 'a)'a'b list'c list'a5,902
2 List Iteratorfold_right2('a -> 'b -> 'c -> 'c)'a list'b list'c'c3,412