summaryrefslogtreecommitdiff
path: root/stdlib/list.ml
Commit message (Expand)AuthorAgeFilesLines
* Multicore cleanup: remove traces of Obj.truncate (#11967)Nick Barnes2023-01-271-32/+5
* Add `find_mapi` and `find_index` to `List`, `Seq`, `Array` and `Float.Array`....Sima Kinsart2023-01-131-0/+16
* TRMC implementation of List.concat_map (#11856)Jeremy Yallop2023-01-031-7/+7
* stdlib: add `List.is_empty` (#10464)Craig Ferguson2022-10-311-0/+4
* List: replace rev-based tail recursion with TRMC (#11402)Nicolás Ojeda Bär2022-07-211-48/+31
* Make List.{map,mapi,map2} TRMC (#11362)Nicolás Ojeda Bär2022-07-051-7/+25
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-2/+0
* List.equal, List.compare (#9668)Gabriel Scherer2020-09-091-0/+23
* List.partition_map : (a -> (b, c) Either.t) -> a list -> b list * c listGabriel Scherer2020-09-021-0/+11
* Fold map function for List (#8894)Bernhard Schommer2019-11-071-0/+8
* add List.filteri to the stdlib (#9059)zapashcanon2019-10-291-0/+7
* List.concat_map : ('a -> 'b list) -> 'a list -> 'b list (#8760)Gabriel Scherer2019-10-011-0/+8
* List.find_map : ('a -> 'b option) -> 'a list -> 'b option (#8832)Gabriel Scherer2019-09-131-0/+8
* List.sort: avoid duplicate work by chopGuillaume Munch-Maccagnoni2019-07-251-112/+115
* List.filter_map (#2185)Thomas Refis2018-12-121-0/+10
* Stdlib doc: harmonize heading levels again. (#2142)Daniel Bünzli2018-11-081-1/+1
* Add paths for built-in types (#1876)yallop2018-11-081-0/+3
* Fix over-long lines with minor re-wordingsDavid Allsopp2018-06-131-1/+2
* fix bug in GPR#1697 (List.init) caught after mergeGabriel Scherer2018-04-051-1/+1
* Tune List.init thresholdHugo Heuzard2018-04-051-1/+7
* Stdlib functional iterators (#1002)Simon Cruanes2018-03-161-0/+21
* Fix bug #7513 (#1136)Fabrice Le Fessant2017-05-101-5/+7
* Implemented `List.init`Richard Degenne2017-02-281-0/+15
* Option-returning variants of stdlib functions (#885)Alain Frisch2016-11-071-0/+20
* Add functions `List.compare_lengths` and `List.compare_length_with` (#760)Fabrice Le Fessant2016-09-181-0/+16
* Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-10/+9
* Also enable more warnings in stdlib/ and fix them.Alain Frisch2016-03-151-8/+8
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* List.cons, finallyGabriel Scherer2015-04-261-0/+2
* #4986. Add two common operations: List.sort_uniq (more efficient that sorting...Alain Frisch2013-07-091-0/+103
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Adding List.iteri/mapi.Alain Frisch2010-11-051-0/+12
* PR#4055 List.nth when argument is negativeDamien Doligez2006-09-111-7/+7
* nettoyageDamien Doligez2005-10-251-1/+2
* depollution suite (PR#1914 et PR#1956)Damien Doligez2004-01-011-1/+1
* Utiliser compare x y = 0 au lieu de x = y lorsqu'on compare des cles qui peuv...Xavier Leroy2003-11-211-4/+4
* changement List.sort; ajout fast_sort et List.mergeDamien Doligez2002-06-051-2/+96
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* petite amelioration de List.sortDamien Doligez2000-07-101-1/+1
* PR#139Damien Doligez2000-06-141-1/+1
* nouveaux trisDamien Doligez2000-04-141-0/+27
* bug rev_map2 (PR#32)Damien Doligez2000-01-251-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Documentation des fonctions non-tail-recDamien Doligez1999-09-191-0/+18
* Ajout de Pervasives.ignore. List.remove -> List.remove_ass*Xavier Leroy1999-02-241-4/+6
* Ajout des fonctions find, partition, find_allPierre Weis1999-01-041-0/+16
* Ajout des fonction remove et removeq, déjà écrite dans le système pourPierre Weis1998-11-051-5/+17
* Ajout de List.rev_append. NettoyagesXavier Leroy1998-04-271-11/+14
* Retour au code d'origine pour List.iter. Je veux un seul test parXavier Leroy1997-11-061-2/+1