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 |