phurst@1973: datatype day_of_week = Sunday | Monday | Tuesday | Wednesday | Thursday |
phurst@1973:          Friday | Saturday
phurst@1973: 
phurst@1974: datatype month = January | February | March | April | May | June | July |
phurst@1974:          August | September | October | November | December
phurst@1974: 
phurst@1974: 
phurst@1975: type t = {
phurst@1974:      Year : int,
phurst@1974:      Month : month,
phurst@1974:      Day : int,
phurst@1974:      Hour : int,
phurst@1974:      Minute : int,
phurst@1974:      Second : int
phurst@1974: }
phurst@1974: 
phurst@1977: val ord_datetime : ord t
phurst@1977: 
phurst@1974: val show_day_of_week : show day_of_week
phurst@1974: val show_month : show month
phurst@1974: val eq_day_of_week : eq day_of_week
phurst@1974: val eq_month : eq month
phurst@1974: val dayOfWeekToInt : day_of_week -> int
phurst@1974: val intToDayOfWeek : int -> day_of_week
phurst@1974: val monthToInt : month -> int
phurst@1974: val intToMonth : int -> month
phurst@1973: 
phurst@1975: val toTime : t -> time
phurst@1975: val fromTime : time -> t
phurst@1975: val format : string -> t -> string
phurst@1975: val dayOfWeek : t -> day_of_week
phurst@1975: val now : transaction t
phurst@1977: val normalize : t -> t
phurst@1977: 
phurst@1977: val addSeconds : int -> t -> t
phurst@1977: val addMinutes : int -> t -> t
phurst@1977: val addHours : int -> t -> t
phurst@1977: val addDays : int -> t -> t