Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1972:56c68443cb9d | 1973:155bd0bc4d28 |
---|---|
4 Hour : int, | 4 Hour : int, |
5 Minute : int, | 5 Minute : int, |
6 Second : int | 6 Second : int |
7 } | 7 } |
8 | 8 |
9 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | | |
10 Friday | Saturday | |
11 | |
12 val show : show day_of_week | |
13 | |
9 val toTime : datetime -> time | 14 val toTime : datetime -> time |
10 val fromTime : time -> datetime | 15 val fromTime : time -> datetime |
11 val datetimef : string -> datetime -> string | 16 val datetimef : string -> datetime -> string |
12 val now : transaction datetime | 17 val now : transaction datetime |