diff options
author | 2013-12-05 11:36:46 -0500 | |
---|---|---|
committer | 2013-12-05 11:36:46 -0500 | |
commit | 3e814081cc04b2048a8f882a832890cc39332d79 (patch) | |
tree | 9e31f41a597508da5950b1f4869d8ca7acc864e0 /lib/ur/datetime.urs | |
parent | a7d5aa431c2e02652ca15dacce4b7f81268eeb85 (diff) |
Basic datetime library.
Diffstat (limited to 'lib/ur/datetime.urs')
-rw-r--r-- | lib/ur/datetime.urs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/ur/datetime.urs b/lib/ur/datetime.urs new file mode 100644 index 00000000..9d99b9e3 --- /dev/null +++ b/lib/ur/datetime.urs @@ -0,0 +1,12 @@ +type datetime = { Year : int, + Month : int, + Day : int, + Hour : int, + Minute : int, + Second : int + } + +val toTime : datetime -> time +val fromTime : time -> datetime +val datetimef : string -> datetime -> string +val now : transaction datetime |