Mercurial > urweb
annotate lib/ur/datetime.urs @ 1974:a10368c65e7f
Add day-of-week/month <-> int conversion functions.
author | Patrick Hurst <phurst@mit.edu> |
---|---|
date | Sat, 07 Dec 2013 21:31:51 -0500 |
parents | 155bd0bc4d28 |
children | 0ee44375fe64 |
rev | line source |
---|---|
phurst@1973 | 1 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | |
phurst@1973 | 2 Friday | Saturday |
phurst@1973 | 3 |
phurst@1974 | 4 datatype month = January | February | March | April | May | June | July | |
phurst@1974 | 5 August | September | October | November | December |
phurst@1974 | 6 |
phurst@1974 | 7 |
phurst@1974 | 8 type datetime = { |
phurst@1974 | 9 Year : int, |
phurst@1974 | 10 Month : month, |
phurst@1974 | 11 Day : int, |
phurst@1974 | 12 Hour : int, |
phurst@1974 | 13 Minute : int, |
phurst@1974 | 14 Second : int |
phurst@1974 | 15 } |
phurst@1974 | 16 |
phurst@1974 | 17 val show_day_of_week : show day_of_week |
phurst@1974 | 18 val show_month : show month |
phurst@1974 | 19 val eq_day_of_week : eq day_of_week |
phurst@1974 | 20 val eq_month : eq month |
phurst@1974 | 21 val dayOfWeekToInt : day_of_week -> int |
phurst@1974 | 22 val intToDayOfWeek : int -> day_of_week |
phurst@1974 | 23 val monthToInt : month -> int |
phurst@1974 | 24 val intToMonth : int -> month |
phurst@1973 | 25 |
phurst@1972 | 26 val toTime : datetime -> time |
phurst@1972 | 27 val fromTime : time -> datetime |
phurst@1974 | 28 val format : string -> datetime -> string |
phurst@1974 | 29 val dayOfWeek : datetime -> day_of_week |
phurst@1972 | 30 val now : transaction datetime |