Mercurial > urweb
view 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 |
line wrap: on
line source
type datetime = { Year : int, Month : int, Day : int, Hour : int, Minute : int, Second : int } datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday val show : show day_of_week val toTime : datetime -> time val fromTime : time -> datetime val datetimef : string -> datetime -> string val now : transaction datetime