view lib/ur/datetime.urs @ 1972:56c68443cb9d

Basic datetime library.
author Patrick Hurst <phurst@mit.edu>
date Thu, 05 Dec 2013 11:36:46 -0500
parents
children 155bd0bc4d28
line wrap: on
line source
type datetime = { Year : int,
                  Month : int,
                  Day : int,
                  Hour : int,
                  Minute : int,
                  Second : int
                }

val toTime : datetime -> time
val fromTime : time -> datetime
val datetimef : string -> datetime -> string
val now : transaction datetime