Mercurial > urweb
annotate lib/ur/datetime.urs @ 1973:155bd0bc4d28
Day of week functions.
author | Patrick Hurst <phurst@mit.edu> |
---|---|
date | Thu, 05 Dec 2013 11:36:54 -0500 |
parents | 56c68443cb9d |
children | a10368c65e7f |
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@1973 | 9 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | |
phurst@1973 | 10 Friday | Saturday |
phurst@1973 | 11 |
phurst@1973 | 12 val show : show day_of_week |
phurst@1973 | 13 |
phurst@1972 | 14 val toTime : datetime -> time |
phurst@1972 | 15 val fromTime : time -> datetime |
phurst@1972 | 16 val datetimef : string -> datetime -> string |
phurst@1972 | 17 val now : transaction datetime |