Ur/Web: lib/ur/datetime.urs annotate

Progress towards invalidation based on equalities of fields.

rev	line source
phurst@1973	1 datatype day_of_week = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \|
phurst@1973	2 Friday \| Saturday
phurst@1973	3
phurst@1974	4 datatype month = January \| February \| March \| April \| May \| June \| July \|
phurst@1974	5 August \| September \| October \| November \| December
phurst@1974	6
phurst@1974	7
phurst@1975	8 type t = {
phurst@1974	9 Year : int,
phurst@1974	10 Month : month,
phurst@1974	11 Day : int,
phurst@1974	12 Hour : int,
phurst@1974	13 Minute : int,
phurst@1974	14 Second : int
phurst@1974	15 }
phurst@1974	16
phurst@1977	17 val ord_datetime : ord t
phurst@1977	18
phurst@1974	19 val show_day_of_week : show day_of_week
phurst@1974	20 val show_month : show month
phurst@1974	21 val eq_day_of_week : eq day_of_week
phurst@1974	22 val eq_month : eq month
phurst@1974	23 val dayOfWeekToInt : day_of_week -> int
phurst@1974	24 val intToDayOfWeek : int -> day_of_week
phurst@1974	25 val monthToInt : month -> int
phurst@1974	26 val intToMonth : int -> month
phurst@1973	27
phurst@1975	28 val toTime : t -> time
phurst@1975	29 val fromTime : time -> t
phurst@1975	30 val format : string -> t -> string
phurst@1975	31 val dayOfWeek : t -> day_of_week
phurst@1975	32 val now : transaction t
phurst@1977	33 val normalize : t -> t
phurst@1977	34
phurst@1977	35 val addSeconds : int -> t -> t
phurst@1977	36 val addMinutes : int -> t -> t
phurst@1977	37 val addHours : int -> t -> t
phurst@1977	38 val addDays : int -> t -> t

Mercurial > urweb