simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2026-05-05 17:04:25 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 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
  • 1f36c9e02b qtest Simon Cruanes 2014-05-12 15:30:13 +02:00
  • fcde09ca24 start using qtest Simon Cruanes 2014-05-12 15:24:15 +02:00
  • 0fc209d4b3 moved some files into lwt/ subdir; use oasis setup-dynamic feature Simon Cruanes 2014-05-12 15:23:54 +02:00
  • 9edb610132 minor details Simon Cruanes 2014-05-12 14:57:28 +02:00
  • 88f006171f circular lists Simon Cruanes 2014-05-12 14:45:12 +02:00
  • 0375c0f721 KMP with sequences Simon Cruanes 2014-05-11 18:52:05 +02:00
  • cd35c46a58 KMP algorithm (as a functor on the string type) Simon Cruanes 2014-05-10 14:36:21 +02:00
  • 23a5dc1756 Cause: debugging experiment, tracking why values exist and actions were performed Simon Cruanes 2014-04-23 17:59:43 +02:00
  • e740f9ff63 quick tests Simon Cruanes 2014-04-19 01:27:34 +02:00
  • 097106d259 rational terms improved, with unification, equality, substitution and De Bruijn index Simon Cruanes 2014-04-19 01:27:21 +02:00
  • 3167afe929 merge Simon Cruanes 2014-04-18 23:54:52 +02:00
  • 65c4c05938 progress in BencodeStream.Encode, and basic features in Tell Simon Cruanes 2014-04-10 22:57:57 +02:00
  • 8404b167f5 rational terms with unification Simon Cruanes 2014-04-18 01:59:57 +02:00
  • 9c18698b22 preparation for Tell and BencodeStream Simon Cruanes 2014-04-10 19:36:26 +02:00
  • cfed1c44a9 build system Simon Cruanes 2014-04-09 00:22:52 +02:00
  • 10b72019d7 small draft for Ty (dynamic types) from a gist of Gabriel Scherer Simon Cruanes 2014-04-09 00:22:46 +02:00
  • ce7e44498a lift operators for CSM; interface to gen/sequence Simon Cruanes 2014-04-07 23:54:31 +02:00
  • 72efa794fe more instances and mutable automata Simon Cruanes 2014-04-07 23:03:01 +02:00
  • aec15be316 CSM is now a Mealy machine implementation Simon Cruanes 2014-04-07 22:22:37 +02:00
  • 86fa8eeb8f Iteratee (stoppable folds) Simon Cruanes 2014-03-31 22:54:49 +02:00
  • 629879ec25 Bidir module, early draft of bidirectional iterators Simon Cruanes 2014-03-21 23:38:57 +01:00
  • 4a68729485 iteration over Levenshtein indexes Simon Cruanes 2014-03-05 23:38:49 +01:00
  • 49dd2f9054 qchecks for Levenshtein Simon Cruanes 2014-03-05 22:44:41 +01:00
  • 054a83abfb bugfix in the translation NDA -> DFA in Levenshtein Simon Cruanes 2014-03-05 22:44:25 +01:00