Mercurial > urweb

comparison lib/ur/datetime.ur @ 1973:155bd0bc4d28

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 = {