aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cMap.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fast path for set operations.Gravatar Pierre-Marie Pédrot2016-08-22
* Adding a "get" primitive to map signature.Gravatar Pierre-Marie Pédrot2016-02-03
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge remote-tracking branch 'origin/v8.5' into trunkGravatar Guillaume Melquiond2016-01-06
|\|
| * Protect code against changes in Map interface.Gravatar Maxime Dénès2016-01-06
* | Equipping extended maps with fold operator defined for any monad.Gravatar Pierre-Marie Pédrot2015-01-25
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Adding more sharing in Map.udpate and Map.modify.Gravatar Pierre-Marie Pédrot2015-01-10
* Fixing compilation on OCaml 4.01.Gravatar Pierre-Marie Pédrot2014-03-05
* Adding a smartmap[i] operator to maps.Gravatar Pierre-Marie Pédrot2014-01-29
* Adding fold_left / fold_right function to maps.Gravatar Pierre-Marie Pédrot2013-11-24
* Adding an unsafe mapping function to maps.Gravatar ppedrot2013-11-13
* Added an update function in CMap. It has the same signature as Map.add, butGravatar ppedrot2013-11-04
* Added a [modify] function to maps.Gravatar ppedrot2013-10-06
* Removing association lists in Reductionops. Btw, defining the dual of theGravatar ppedrot2013-08-25
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25