summaryrefslogtreecommitdiff
path: root/lib/ur/datetime.urs
blob: 0d8e8c289ea1943f4467f70e397a151a794b21b5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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