Mercurial > urweb

annotate lib/ur/datetime.urs @ 1974:a10368c65e7f

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