Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/PervEnv/Basis/date.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/PervEnv/Basis/date.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89 - (view) (download) (as text)

1 : monnier 89 (* date.sig
2 :     *
3 :     * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
4 :     *
5 :     *)
6 :    
7 :     signature DATE =
8 :     sig
9 :    
10 :     datatype weekday = Mon | Tue | Wed | Thu | Fri | Sat | Sun
11 :    
12 :     datatype month
13 :     = Jan | Feb | Mar | Apr | May | Jun
14 :     | Jul | Aug | Sep | Oct | Nov | Dec
15 :    
16 :     type date
17 :    
18 :     exception Date
19 :     (* raised on errors, as described below *)
20 :    
21 :     val year : date -> int
22 :     (* returns the year (e.g., 1997) *)
23 :     val month : date -> month
24 :     (* returns the month *)
25 :     val day : date -> int
26 :     (* returns the day of the month *)
27 :     val hour : date -> int
28 :     (* returns the hour *)
29 :     val minute : date -> int
30 :     (* returns the minute *)
31 :     val second : date -> int
32 :     (* returns the second *)
33 :     val weekDay : date -> weekday
34 :     (* returns the day of the week *)
35 :     val yearDay : date -> int
36 :     (* returns the day of the year *)
37 :     val isDst : date -> bool option
38 :     (* returns SOME(true) if daylight savings time is in effect; returns
39 :     * SOME(false) if not, and returns NONE if we don't know.
40 :     *)
41 :     val offset : date -> Time.time option
42 :     (* return time west of UTC. NONE is localtime, SOME(Time.zeroTime)
43 :     * is UTC.
44 :     *)
45 :    
46 :     val date : {
47 :     year : int,
48 :     month : month,
49 :     day : int,
50 :     hour : int,
51 :     minute : int,
52 :     second : int,
53 :     offset : Time.time option
54 :     } -> date
55 :     (* creates a date from the given values. *)
56 :    
57 :     val fromTimeLocal : Time.time -> date
58 :     (* returns the date for the given time in the local timezone.
59 :     * this is like the ANSI C function localtime.
60 :     * was: fromTime
61 :     *)
62 :     val fromTimeUniv : Time.time -> date
63 :     (* returns the date for the given time in the UTC timezone.
64 :     * this is like the ANSI C function gmtime.
65 :     * was: fromUTC
66 :     *)
67 :     val toTime : date -> Time.time
68 :     (* returns the time value corresponding to the date in the
69 :     * host system. This raises Date exception if the date cannot
70 :     * be represented as a time value.
71 :     *)
72 :    
73 :     val toString : date -> string
74 :     val fmt : string -> date -> string
75 :     (** not yet implemented **
76 :     val fromString : string -> date option
77 :     val scan : (char, 'a) StringCvt.reader -> (date, 'a) StringCvt.reader
78 :     **)
79 :    
80 :     val compare : (date * date) -> order
81 :     (* returns the relative order of two dates. *)
82 :    
83 :     end;
84 :    
85 :     (*
86 :     * $Log: date.sig,v $
87 :     * Revision 1.1.1.1 1998/04/08 18:40:05 george
88 :     * Version 110.5
89 :     *
90 :     *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0