Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature TIME = |
2 | sig | |
3 | eqtype time | |
4 | exception Time | |
5 | ||
6 | val + : time * time -> time | |
7 | val - : time * time -> time | |
8 | val < : time * time -> bool | |
9 | val <= : time * time -> bool | |
10 | val > : time * time -> bool | |
11 | val >= : time * time -> bool | |
12 | val compare: time * time -> order | |
13 | val fmt: int -> time -> string | |
14 | val fromMicroseconds: LargeInt.int -> time | |
15 | val fromMilliseconds: LargeInt.int -> time | |
16 | val fromNanoseconds: LargeInt.int -> time | |
17 | val fromReal: LargeReal.real -> time | |
18 | val fromSeconds: LargeInt.int -> time | |
19 | val fromString: string -> time option | |
20 | val now: unit -> time | |
21 | val scan: (char, 'a) StringCvt.reader -> (time, 'a) StringCvt.reader | |
22 | val toMicroseconds: time -> LargeInt.int | |
23 | val toMilliseconds: time -> LargeInt.int | |
24 | val toNanoseconds: time -> LargeInt.int | |
25 | val toReal: time -> LargeReal.real | |
26 | val toSeconds: time -> LargeInt.int | |
27 | val toString: time -> string | |
28 | val zeroTime: time | |
29 | end | |
30 | ||
31 | signature TIME_EXTRA = | |
32 | sig | |
33 | include TIME | |
34 | ||
35 | val fromTicks: LargeInt.int -> time | |
36 | val ticksPerSecond: LargeInt.int | |
37 | end |