basis-library/system/date.sig

   1 signature DATE =
   2    sig
   3       datatype weekday =
   4          Mon | Tue | Wed | Thu | Fri | Sat | Sun
   5
   6       datatype month =
   7          Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec
   8
   9       type date
  10
  11       exception Date
  12
  13       val date: {year: int,
  14                  month: month,
  15                  day: int,
  16                  hour: int,
  17                  minute: int,
  18                  second: int,
  19                  offset: Time.time option} -> date
  20
  21       val year: date -> int
  22       val month: date -> month
  23       val day: date -> int
  24       val hour: date -> int
  25       val minute: date -> int
  26       val second: date -> int
  27       val weekDay: date -> weekday
  28       val yearDay: date -> int
  29       val offset: date -> Time.time option
  30       val isDst: date -> bool option
  31       val localOffset: unit -> Time.time
  32       val fromTimeLocal: Time.time -> date
  33       val fromTimeUniv: Time.time -> date
  34       val toTime: date -> Time.time
  35       val toString: date -> string
  36       val fmt: string -> date -> string
  37       val fromString: string -> date option
  38       val scan: (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader
  39       val compare: date * date -> order
  40    end