alice
library
manual.
signature DATE
structure Date : DATE
An extended version of the Standard ML Basis' Date structure.
See also: Time
Imported implicitly.
signature DATE =
sig
datatype weekday = Sun | Mon | Tue | Wed | Thu | Fri | Sat
datatype month = Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec
type date
type t = date
exception Date
val date : {year : int,
month : month,
day : int,
hour : int,
minute : int,
second : int,
offset : Time.time option} -> date
val year : date -> int
val month : date -> month
val day : date -> int
val hour : date -> int
val minute : date -> int
val second : date -> int
val weekDay : date -> weekday
val yearDay : date -> int
val offset : date -> Time.time option
val isDst : date -> bool option
val localOffset : unit -> Time.time
val fromTimeLocal : Time.time -> date
val fromTimeUniv : Time.time -> date
val toTime : date -> Time.time
val fmt : string -> date -> string
val toString : date -> string
val scan : (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader
val fromString : string -> date option
val toISO : date -> string
val scanISO : (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader
val fromISO : string -> date option
val compare : date * date -> order
end
Items not described here are as in the Standard ML Basis' Date structure.
A local synonym for type date.
Return a string representation of the date date conforming to the ISO 8601 format.
Convert a string representation conforming to the ISO 8601 format into a date. Returns NONE if the string could not be converted.
Scan a string representation conforming to the ISO 8601 format into a date. Returns NONE if the scanned representation could not be converted.