package timere
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=1fee8b8201899be96982918c17a4fa2952b18343f91d97b90743a38e4eb8b792
Description
Features:
-
Reasoning over time intervals via
timere
objects/expressions, examples:-
Pattern matching time and intervals. These work across DST boundaries.
-
Intersection and union
-
Chunking at year or month boundary, or in fixed sizes
-
Evaluate (sub)expressions with a different time zone (e.g. intersection of 9am to 5pm of Sydney and 9am to 5pm of New York)
-
Published: 10 Feb 2022
README
Timere
OCaml date time handling and reasoning suite
This repo houses:
Timedesc - date time handling library
Timere - date time reasoning library
Timere-parse - date time and duration natural language parsing library
Note: The NLP component is WIP.
Disclaimer: Timere is not designed to handle prehistoric events. For prehistoric planning and booking software, please consult appropriate experts.
Examples
Christmases which fall on Wednesday from now
let () =
let open Timere in
match
resolve (
since (Timedesc.now ())
&&& months [12]
&&& days [25]
&&& weekdays [`Wed]
)
with
| Error msg -> failwith msg
| Ok s ->
Fmt.pr "%a@." (Timedesc.Interval.pp_seq ~sep:(Fmt.any "@.") ()) s
gives
[2024 Dec 25 00:00:00 +00:00:00, 2024 Dec 26 00:00:00 +00:00:00)
[2030 Dec 25 00:00:00 +00:00:00, 2030 Dec 26 00:00:00 +00:00:00)
[2041 Dec 25 00:00:00 +00:00:00, 2041 Dec 26 00:00:00 +00:00:00)
[2047 Dec 25 00:00:00 +00:00:00, 2047 Dec 26 00:00:00 +00:00:00)
[2052 Dec 25 00:00:00 +00:00:00, 2052 Dec 26 00:00:00 +00:00:00)
[2058 Dec 25 00:00:00 +00:00:00, 2058 Dec 26 00:00:00 +00:00:00)
...
See examples/
for more examples
Features
Timedesc
Timestamp and date time handling with platform independent time zone support
Subset of the IANA time zone database is built into this library
Supports Gregorian calendar date, ISO week date, and ISO ordinal date
Supports nanosecond precision
ISO8601 parsing and RFC3339 printing
Timere
Reasoning over time intervals via
timere
objects/expressions, examples:Pattern matching time and intervals. These work across DST boundaries.
Intersection and union
Chunking at year or month boundary, or in fixed sizes
Evaluate (sub)expressions with a different time zone (e.g. intersection of 9am to 5pm of Sydney and 9am to 5pm of New York)
Basic usage
Include timedesc
(timere
and timere-parse
if needed) in the libraries
stanza in your dune file
Tzdb backend
You can optionally pick one of the following two concrete implementations of time zone data source
timedesc.tzdb.full
This is the default implementation which embeds the IANA time zone database from year 1850 to year 2100 exclusive
timedesc.tzdb.none
This embeds no database. This is suitable for when you want to retrieve time zone data during run time, for instance, to reduce the built artifact size.
The following resources should allow you to implement said approach readily
A usable and test suite covered data source is provided under
tzdb-json/
.List of available time zones is available as
gen-artifacts/available-time-zones.txt
Time_zone.JSON.of_string
can load files intzdb-json/
Tzlocal backend
You can optionally pick one of the following three concrete implementations of local time zone detection
timedesc.tzlocal.unix
This is the default implementation which tries to look up info of OS for local time zone name. Should work for common Linux distros.
timedesc.tzlocal.none
This simply returns no time zone guesses
timedesc.tzlocal.utc
This simply returns UTC as the only guess
Note: While tzdb-json/
may be useful and usable outside of Timere, we make no guarantees that the JSON format stays unmodified (though changes of the format should be a rare occurrence, if ever occurring)
Advanced usage
Using Timedesc in utop
To use Timedesc in utop, you need to pick the backends explicitly first
For example, to use the default implementations, one can first type the following lines in utop
#require "timedesc.tzdb.full";;
#require "timedesc.tzlocal.unix";;
#require "timedesc";;
then Timedesc
should be accessible in utop
Building a custom Tzdb backend
Timedesc itself can help build a time zone data source backend
TODO
Changelog
See here
License
Code files are licensed under the MIT license as specified in the LICENSE
file
Time zone database derived files are licensed under its original terms (public domain)
Acknowledgement
Time zone information is extracted via
zdump
command output intogen-artifacts/time_zone_db.sexp
, using the IANA database (as time zone files) distributed on LinuxTime zone data handling code copies approach used by chrono-tz
This includes data representation and choices of some algorithms
Local time zone detection approach for
timedesc.tzlocal.unix
backend is copied from tzlocalSome internal calculations/formulas in Timedesc based around Julian day are copied from Ptime
Dependencies (8)
Dev Dependencies (5)
-
qcheck
with-test
-
qcheck-alcotest
with-test
-
alcotest
with-test
-
crowbar
with-test
-
bisect_ppx
dev & >= "2.5.0"
Used by (2)
-
dirsift
>= "0.0.4"
-
timere-parse
>= "0.0.5"
Conflicts
None