Mercurial > urweb

annotate lib/ur/datetime.urs @ 1972:56c68443cb9d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basic datetime library.
author Patrick Hurst <phurst@mit.edu>
date Thu, 05 Dec 2013 11:36:46 -0500
parents
children 155bd0bc4d28
rev   line source
phurst@1972 1 type datetime = { Year : int,
phurst@1972 2 Month : int,
phurst@1972 3 Day : int,
phurst@1972 4 Hour : int,
phurst@1972 5 Minute : int,
phurst@1972 6 Second : int
phurst@1972 7 }
phurst@1972 8
phurst@1972 9 val toTime : datetime -> time
phurst@1972 10 val fromTime : time -> datetime
phurst@1972 11 val datetimef : string -> datetime -> string
phurst@1972 12 val now : transaction datetime