package dates_calc
Install
Dune Dependency
Authors
Maintainers
Sources
md5=244294deee9c01082ee847d66ff1ef48
sha512=1756ed2d87f0d4d67e850de8445136d08dbcd959779f189dacbe880afdbc4c6a9ecca843f94df48181302b31ceb7faeef307179473648efbf4ffdc8d5223ec66
Description
A date calculation library, with exact operators to add a given number of days to a date, and approximate operators to add months or years.
Published: 05 Dec 2024
README
A date calculation library
Aim
This library handles dates (YYYY-MM-DD) and periods (in days, months and years). It provides operators on dates and periods. The addition of dates and periods containing months or years is a tricky case that may require roundings. We have taken special care to define those rounding operators and expose different rounding modes for users.
This library is a work in progress. You can find the library's description in lib/dates.mli. There are also a Python and C implementations (which correspond to ports of the OCaml implementation).
The full semantics of the library has been formalized and is available in the related ESOP 2024 paper Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law.
Installation
Just run opam install dates_calc or opam install . if you've cloned the git repository.
Building the documentation
The documentation can be built with dune build @doc, and is then available in doc/odoc.html.