package dates_calc

  1. Overview
  2. Docs
A date calculation library

Install

Dune Dependency

Authors

Maintainers

Sources

0.0.5.tar.gz
md5=fb8e79024f140c9819f44ac7128377a4
sha512=ec4292f54c009d80bdb9ff85a373432a988661c325ba920f383de572e17272a2d43a52629ed600f40c53574c89bf0e682bf18ee9b5cda591e346158b5eb0e4e2

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: 13 Nov 2023

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 is also a Python implementation (which corresponds to a port of the OCaml implementation).

We have a paper under submission that will detail the full semantics of this library.

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.

Dependencies (2)

  1. ocaml >= "4.11.0"
  2. dune >= "2.7"

Dev Dependencies (3)

  1. odoc with-doc
  2. qcheck with-test & >= "0.15"
  3. alcotest with-test & >= "1.5.0"

Used by (1)

  1. catala >= "0.8.0"

Conflicts

None