Mercurial > urweb
comparison lib/ur/datetime.ur @ 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 Day : int, | 4 Day : int, |
5 Hour : int, | 5 Hour : int, |
6 Minute : int, | 6 Minute : int, |
7 Second : int | 7 Second : int |
8 } | 8 } |
9 | |
10 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | | |
11 Friday | Saturday | |
12 | |
13 val show = mkShow (fn dow => case dow of | |
14 Sunday => "Sunday" | |
15 | Monday => "Monday" | |
16 | Tuesday => "Tuesday" | |
17 | Wednesday => "Wednesday" | |
18 | Thursday => "Thursday" | |
19 | Friday => "Friday" | |
20 | Saturday => "Saturday") | |
9 | 21 |
10 fun toTime dt : time = fromDatetime dt.Year dt.Month dt.Day | 22 fun toTime dt : time = fromDatetime dt.Year dt.Month dt.Day |
11 dt.Hour dt.Minute dt.Second | 23 dt.Hour dt.Minute dt.Second |
12 | 24 |
13 fun fromTime t : datetime = { | 25 fun fromTime t : datetime = { |