| Standard ML Basis Library |
structure Date : DATE =
struct
type tm = int * int * int * int * int * int * int * int * int
datatype weekday = Mon | Tue | Wed | Thu | Fri | Sat | Sun
datatype month =
Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec
datatype date =
DATE of
{
year : int,
month : month,
day : int,
hour : int,
minute : int,
second : int,
offset : Time.time option,
wday : weekday,
yday : int,
isDst : bool option
}
exception Date
val baseYear
val dayTbl
val monthTbl
val dayToInt
val monthToInt
val wrap
val ascTime
val localTime'
val gmTime'
val mkTime'
val strfTime
val localTime
val gmTime
val mkTime
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 isDst : date -> bool option
val offset : date -> Time.time option
val withDst
val dstOf
val localOffset'
val localOffset : unit -> Time.time
val toAbsolute
val fromAbsolute
val wday
val yday
val canonicalizeDate
val toTM
val fromTM
val fromTimeLocal : Time.time -> date
val fromTimeUniv : Time.time -> date
val fromTimeOffset
val day_seconds
val hday_seconds
val canonicalOffset
val toTime : date -> Time.time
val date
: {
year : int,
month : month,
day : int,
hour : int,
minute : int,
second : int,
offset : Time.time option
} ->
date
val toString : date -> string
val fmt : string -> date -> string
val scan : (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader
val fromString : string -> date option
val compare : date * date -> order
end
Type detail |
---|
type tm = int * int * int * int * int * int * int * int * int
Datatype detail |
---|
datatype weekday = Mon | Tue | Wed | Thu | Fri | Sat | Sun
datatype month =
Jan | Feb | Mar | Apr | May | Jun | Jul | Aug | Sep | Oct | Nov | Dec
datatype date =
DATE of
{
year : int,
month : month,
day : int,
hour : int,
minute : int,
second : int,
offset : Time.time option,
wday : weekday,
yday : int,
isDst : bool option
}
DataConstructor detail |
---|
constructor Mon : weekday
constructor Tue : weekday
constructor Wed : weekday
constructor Thu : weekday
constructor Fri : weekday
constructor Sat : weekday
constructor Sun : weekday
constructor Jan : month
constructor Feb : month
constructor Mar : month
constructor Apr : month
constructor May : month
constructor Jun : month
constructor Jul : month
constructor Aug : month
constructor Sep : month
constructor Oct : month
constructor Nov : month
constructor Dec : month
constructor DATE
: {
year : int,
month : month,
day : int,
hour : int,
minute : int,
second : int,
offset : Time.time option,
wday : weekday,
yday : int,
isDst : bool option
} ->
date
Value detail |
---|
val baseYear
val dayTbl
val monthTbl
val dayToInt
val monthToInt
val wrap
val ascTime
val localTime'
val gmTime'
val mkTime'
val strfTime
val localTime
val gmTime
val mkTime
val isDst : date -> bool option
val offset : date -> Time.time option
val withDst
val dstOf
val localOffset'
val localOffset : unit -> Time.time
val toAbsolute
val fromAbsolute
val wday
val yday
val canonicalizeDate
val toTM
val fromTM
val fromTimeLocal : Time.time -> date
val fromTimeUniv : Time.time -> date
val fromTimeOffset
val day_seconds
val hday_seconds
val canonicalOffset
val toTime : date -> Time.time
val date
: {
year : int,
month : month,
day : int,
hour : int,
minute : int,
second : int,
offset : Time.time option
} ->
date
val fmt : string -> date -> string
val scan : (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader
val fromString : string -> date option
val compare : date * date -> order
Exception detail |
---|
exception Date
| Standard ML Basis Library |
This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.
Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.
Permission is granted for internet users to make one paper copy for their
own personal use. Further hardcopy reproduction is strictly prohibited.
Permission to distribute the HTML document electronically on any medium
other than the internet must be requested from the copyright holders by
contacting the editors.
Printed versions of the SML Basis Manual are available from Cambridge
University Press.
To order, please visit
www.cup.org (North America) or
www.cup.cam.ac.uk (outside North America). |