comparison 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
comparison
equal deleted inserted replaced
1972:56c68443cb9d 1973:155bd0bc4d28
4 Hour : int, 4 Hour : int,
5 Minute : int, 5 Minute : int,
6 Second : int 6 Second : int
7 } 7 }
8 8
9 datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
10 Friday | Saturday
11
12 val show : show day_of_week
13
9 val toTime : datetime -> time 14 val toTime : datetime -> time
10 val fromTime : time -> datetime 15 val fromTime : time -> datetime
11 val datetimef : string -> datetime -> string 16 val datetimef : string -> datetime -> string
12 val now : transaction datetime 17 val now : transaction datetime