Commit | Line | Data |
---|---|---|
208e2cbc AC |
1 | signature UTIL = |
2 | sig | |
9d1c0e98 AC |
3 | val init : unit -> unit |
4 | ||
b340786b AC |
5 | datatype 'a flat_element = |
6 | BEGIN | |
7 | | END | |
8 | | ITEM of 'a | |
9 | type 'a flat_tree = 'a flat_element list | |
10 | ||
208e2cbc AC |
11 | val printInt : int -> unit |
12 | val printReal : real -> unit | |
13 | ||
14 | val id : 'a -> 'a | |
15 | val makeSet : ('a -> string) -> 'a list -> string | |
f49e1088 | 16 | val neg : real -> real |
9bda1e7f | 17 | val add : real * real -> real |
466c5944 | 18 | val sub : real * real -> real |
aaa50197 | 19 | val mult : int * real -> real |
5da9f4a9 | 20 | |
60465e67 AC |
21 | val lt : real * real -> bool |
22 | val ge : real * real -> bool | |
23 | ||
5da9f4a9 AC |
24 | val validHost : string -> bool |
25 | val validDomain : string -> bool | |
9d1c0e98 | 26 | val validEmail : string -> bool |
5da9f4a9 | 27 | val whoisUrl : string -> string |
9d1c0e98 AC |
28 | |
29 | val randomPassword : unit -> string | |
37cec107 AC |
30 | |
31 | val domainDir : string -> string | |
b90b0980 AC |
32 | |
33 | val readFile : string -> string | |
dfb0d0d7 AC |
34 | |
35 | val mem : ''a * ''a list -> bool | |
d5f8418b AC |
36 | |
37 | val allLower : string -> string | |
9953bee7 | 38 | val normEmail : string -> string |
6b8b767b AC |
39 | |
40 | val diffFromNow : Time.time -> string | |
37cec107 | 41 | end |