simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-14 06:46:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • f25c363851 merge from master Simon Cruanes 2014-06-20 14:31:00 +02:00
  • ef06d117cb api change in CClist: find is now find_idx, and find:('a->'b option) -> 'a list -> 'b option added Simon Cruanes 2014-06-20 14:28:41 +02:00
  • 9d194d48d8 oasis files Simon Cruanes 2014-06-18 00:18:02 +02:00
  • 34c663a867 merge from master Simon Cruanes 2014-06-18 00:18:02 +02:00
  • 0461758bf9 cosmetic details on trees Simon Cruanes 2014-06-16 21:15:05 +02:00
  • 373e4e8502 example: lambda, that print reduction of random lambda-terms using PrintBox Simon Cruanes 2014-06-16 20:54:29 +02:00
  • 29ce1e4551 change how padding works in PrintBox (now with horizontal and vertical padding) Simon Cruanes 2014-06-16 19:29:01 +02:00
  • b54068edc1 build doc for containers_string; fix upload of docs Simon Cruanes 2014-06-16 00:36:55 +02:00
  • 13634950b1 allow padding in PrintBox Simon Cruanes 2014-06-16 00:36:38 +02:00
  • 5422a6ad65 fix tests Simon Cruanes 2014-06-15 23:50:28 +02:00
  • ee5c5340af oasis files Simon Cruanes 2014-06-15 23:30:32 +02:00
  • 7289adf13d merge from master Simon Cruanes 2014-06-15 23:30:32 +02:00
  • 10029acd42 some examples for PrintBox Simon Cruanes 2014-06-15 23:25:57 +02:00
  • 6ef51a5717 moved box constructors into PrintBoxs toplevel; more convenience constructors; more accurate printing of nested boxs bars Simon Cruanes 2014-06-15 23:10:51 +02:00
  • ebb8310f84 bugfix Simon Cruanes 2014-06-15 23:10:16 +02:00
  • 74856b578a misc/PrintBox: printing of nested box into ascii Simon Cruanes 2014-06-15 22:34:09 +02:00
  • d0393cd9b6 a few more functions in CCVector, including in-place filtering and efficient non-order-preserving removal Simon Cruanes 2014-06-15 19:36:15 +02:00
  • 90239f2c3e CCArray.Sub.of_slice; bugfix in reverse_in_place Simon Cruanes 2014-06-15 19:35:47 +02:00
  • 4d2fa4ea4c small bugfix in CCArray.Sub: bound checking Simon Cruanes 2014-06-15 19:13:42 +02:00
  • 9a9954c420 Array.Sub: slice implementation Simon Cruanes 2014-06-15 18:58:32 +02:00
  • e2bb0e93cb CCArray.find Simon Cruanes 2014-06-14 14:30:15 +02:00
  • 4c69e8216c CCError for functional error handling Simon Cruanes 2014-06-14 13:52:50 +02:00
  • bb12ed932c much better error handling in CCLinq Simon Cruanes 2014-06-14 13:51:50 +02:00
  • c021a2b310 map, set, and IO/string adapters for CCLinq; also a lazy constructor Simon Cruanes 2014-06-14 12:09:07 +02:00
  • 4550a1c2c2 cleaner system to specify hash/eq/cmp for operations in CCLinq; use Map to implement most binary operations, including join Simon Cruanes 2014-06-14 02:16:49 +02:00
  • 2492ee48a6 small change in CCOrd Simon Cruanes 2014-06-14 02:16:14 +02:00
  • e3bde40598 more operators in CCKlist Simon Cruanes 2014-06-14 01:01:40 +02:00
  • 174957e604 more reasonable increase in size in CCVector Simon Cruanes 2014-06-14 01:01:22 +02:00
  • 4579213e63 some small additions Simon Cruanes 2014-06-14 00:23:09 +02:00
  • 65aceba85e phantom types for CCVector, for read-write and read-only vectors Simon Cruanes 2014-06-14 00:11:16 +02:00
  • 043003cf3b big refactoring of CCVector, to fit the recent coding style; safe functions with _exn versions, iterators, printers, comparison and other monadic operators Simon Cruanes 2014-06-13 23:51:34 +02:00
  • e7dbdeff2e added zippers to CCList Simon Cruanes 2014-06-13 22:33:17 +02:00
  • 56fe3b0873 remove Qcheck (it has had its own repo for a long time) Simon Cruanes 2014-06-13 22:30:41 +02:00
  • 71bdc7667d gen interface in leftistheap Simon Cruanes 2014-06-13 21:57:47 +02:00
  • 89f4500fc2 updated CCLefistheap (more functions) Simon Cruanes 2014-06-13 21:51:33 +02:00
  • d368931f70 CCOpt infix map Simon Cruanes 2014-06-13 17:56:32 +02:00
  • 933638244d more combinators for comparisons Simon Cruanes 2014-06-13 15:56:28 +02:00
  • e9e861479c basic combinators for ordering (including lexico combination) Simon Cruanes 2014-06-13 15:08:27 +02:00
  • 86cd5c0e8d group_by now uses lists; a few more utils Simon Cruanes 2014-06-13 00:54:51 +02:00
  • 6ec499799c a few helpers + 1 example Simon Cruanes 2014-06-13 00:21:53 +02:00
  • 0d39bfdbf4 more optimizations, and a big chunk of query evaluation in CCLinq Simon Cruanes 2014-06-12 23:55:26 +02:00
  • 17930cf119 CCLinq: powerful interface for querying containers (work in progress) Simon Cruanes 2014-06-12 21:03:22 +02:00
  • 730f99de70 fix benchmark broken by Drup; fix some small issues; add CCBatch.extern combinator for arbitrary computations (that wont be optimized) Simon Cruanes 2014-06-12 11:56:57 +02:00
  • 8b2f5deb14 bugfix in CCArray Simon Cruanes 2014-06-12 11:56:13 +02:00
  • 2a27ebdf6d Merge pull request #4 from Drup/master Simon Cruanes 2014-06-12 10:59:47 +02:00
  • 7f3a33a78d Change the representation of optimized list of operation and add folding. Drup 2014-06-12 02:58:43 +02:00
  • fc3b6040f6 benchmark for CCBatch on list, array, and klist Simon Cruanes 2014-06-11 23:27:37 +02:00
  • ee72934864 more operations on collections; optimization level as a parameter in CCBatch Simon Cruanes 2014-06-11 23:27:21 +02:00
  • 80522a4959 expose the optimization to the user in CCBatch Simon Cruanes 2014-06-11 22:25:59 +02:00
  • 40f8955b34 updated CCBatch (more optimizations and type-safety, enforcing some structural constraints with GADT) Simon Cruanes 2014-06-11 22:21:29 +02:00
  • 5567b12b79 CCBatch: batch operations on collections, with some fusion optimizations to reduce the numbre of intermediate collections Simon Cruanes 2014-06-11 21:57:54 +02:00
  • d7909200f6 operations on arrays (filter, filter_map, flat_map) Simon Cruanes 2014-06-11 21:54:20 +02:00
  • bc40893166 CCList.filter Simon Cruanes 2014-06-11 21:54:01 +02:00
  • 021508968c updated test in parseReact; fixed a bug Simon Cruanes 2014-06-11 21:53:47 +02:00
  • 39f5e135bd crazy input-driven parser combinators Simon Cruanes 2014-06-11 00:47:42 +02:00
  • 9ca1f76bd7 more explicit type declaration Simon Cruanes 2014-06-09 18:10:53 +02:00
  • b5fb3f0ff0 printing error in LazyGraph Simon Cruanes 2014-06-03 17:33:11 +02:00
  • 945325054f more functions for CCOpt Simon Cruanes 2014-06-03 17:03:25 +02:00
  • fd88f10216 safe version of fold_right Simon Cruanes 2014-05-31 12:36:15 +02:00
  • 3127f046de remove ugly tabs Simon Cruanes 2014-05-27 13:25:15 +02:00
  • 9a10d477ee update the klist type in other modules Simon Cruanes 2014-05-26 21:55:29 +02:00
  • ffcdfa8625 udpate the type of CCKlist Simon Cruanes 2014-05-26 21:26:45 +02:00
  • 8ba39cb32d update readme Simon Cruanes 2014-05-26 19:09:06 +02:00
  • b661147c3c Merge pull request #3 from nbraud/avl Simon Cruanes 2014-05-25 13:13:42 +02:00
  • 12beb90514 AVL: Change API not to carry around comparison functions Nicolas Braud-Santoni 2014-05-23 10:38:15 +02:00
  • b2450a771b AVL: Minor edit Nicolas Braud-Santoni 2014-05-23 10:20:52 +02:00
  • 453a818ace merge from master Simon Cruanes 2014-05-23 00:44:40 +02:00
  • bfc78e5671 build system stuff Simon Cruanes 2014-05-23 00:31:59 +02:00
  • e2002e81ce oasis files Simon Cruanes 2014-05-23 00:43:07 +02:00
  • 55176dbbbe merge from master Simon Cruanes 2014-05-23 00:42:54 +02:00
  • b919f0b0c1 build system stuff Simon Cruanes 2014-05-23 00:31:59 +02:00
  • 67ae41159f Merge branch 'master' into stable Simon Cruanes 2014-05-23 00:29:23 +02:00
  • 24d1a1c578 makefile Simon Cruanes 2014-05-23 00:29:13 +02:00
  • 3ae7c7ca0b CCString.equal,compare,hash Simon Cruanes 2014-05-23 00:13:36 +02:00
  • 8ad03fcc1d _oasis generated files Simon Cruanes 2014-05-23 00:01:07 +02:00
  • 1fd7b9fbe0 update of readme Simon Cruanes 2014-05-22 23:59:49 +02:00
  • 488e97b439 CCInt.hash Simon Cruanes 2014-05-22 23:58:58 +02:00
  • b72f8683ce udpated tests Simon Cruanes 2014-05-22 23:58:36 +02:00
  • 6cc51a77c8 remove generated files Simon Cruanes 2014-05-21 00:20:12 +02:00
  • 26060f83ff CCArray Simon Cruanes 2014-05-21 00:19:24 +02:00
  • aa89d7fcad CCKlist.range and flatten Simon Cruanes 2014-05-20 20:16:31 +02:00
  • 9bcc410c36 better CCKlist.flat_map Simon Cruanes 2014-05-20 20:10:09 +02:00
  • 29ff651f3b details Simon Cruanes 2014-05-20 19:52:17 +02:00
  • c5b2373c03 additional functions for KList Simon Cruanes 2014-05-20 19:50:46 +02:00
  • ab83ea4827 bool and int modules Simon Cruanes 2014-05-20 19:23:46 +02:00
  • 48839be132 CCFun.id and const Simon Cruanes 2014-05-20 17:43:56 +02:00
  • d9ccb619a1 additional utils for pairs and functions Simon Cruanes 2014-05-20 17:30:17 +02:00
  • a8dc42024b bugfix in CCList.take Simon Cruanes 2014-05-20 17:27:00 +02:00
  • e61039152f more functions in CCList; CCHash and CCKlist added Simon Cruanes 2014-05-20 16:22:42 +02:00
  • 65148bd0de merge with master (AVL) core Simon Cruanes 2014-05-20 15:59:49 +02:00
  • 125a8e6def AVL tree now with iterators (and it compiles) Simon Cruanes 2014-05-20 15:55:46 +02:00
  • 17a04f5ebf fixed warnings in Levenshtein Simon Cruanes 2014-05-17 09:53:21 +02:00
  • 113ea6d395 updated and fixed things in core/: fixed warnings, updated Sequence/Gen with tests and more recent interface; added printers Simon Cruanes 2014-05-17 01:00:00 +02:00
  • 2dc743965b enable warnings Simon Cruanes 2014-05-17 00:59:07 +02:00
  • 2674349871 more modules in containers_string (CCString, Levenshtein); CCFun.finally Simon Cruanes 2014-05-17 00:10:47 +02:00
  • 9a5e6e9558 many more functions in CCList Simon Cruanes 2014-05-16 23:17:10 +02:00
  • 3ccabcd7b0 more modules in containers Core; moved KMP to sublibrary containers_string Simon Cruanes 2014-05-16 22:26:59 +02:00
  • 4bc6c8a008 split into package core (no pack, 'CC' prefix, stable) and misc where oneshot ideas go Simon Cruanes 2014-05-16 20:58:28 +02:00
  • 33bf5f269c wip: AVL tree with iterators (yay quadrarotaphilia) and BSD license... Simon Cruanes 2014-05-16 18:01:41 +02:00
  • 05d21db298 formatting and minor details Simon Cruanes 2014-05-12 17:30:24 +02:00