diff options
author | Patrick Hurst <phurst@mit.edu> | 2013-12-09 19:19:12 -0500 |
---|---|---|
committer | Patrick Hurst <phurst@mit.edu> | 2013-12-09 19:19:12 -0500 |
commit | 5f60bd5eebb24a474d55dc8edf38c8e67c590a17 (patch) | |
tree | 0a574cf4e3535ecd0b595208fa4fd8ca35a5bf37 /lib/ur/datetime.urs | |
parent | d26ce87498bfbdcf1c510d7c0853f8ac8f07314f (diff) |
Add datetime functions for adding time intervals.
Diffstat (limited to 'lib/ur/datetime.urs')
-rw-r--r-- | lib/ur/datetime.urs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs index 26ee795a..972f86bf 100644 --- a/lib/ur/datetime.urs +++ b/lib/ur/datetime.urs @@ -14,6 +14,8 @@ type t = { Second : int } +val ord_datetime : ord t + val show_day_of_week : show day_of_week val show_month : show month val eq_day_of_week : eq day_of_week @@ -28,3 +30,9 @@ val fromTime : time -> t val format : string -> t -> string val dayOfWeek : t -> day_of_week val now : transaction t +val normalize : t -> t + +val addSeconds : int -> t -> t +val addMinutes : int -> t -> t +val addHours : int -> t -> t +val addDays : int -> t -> t |