Reports for figuring out which accounts to freeze or boot; most of new SSL request...
[bpt/portal.git] / util.sig
CommitLineData
208e2cbc
AC
1signature UTIL =
2sig
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
AC
20
21 val validHost : string -> bool
22 val validDomain : string -> bool
9d1c0e98 23 val validEmail : string -> bool
5da9f4a9 24 val whoisUrl : string -> string
9d1c0e98
AC
25
26 val randomPassword : unit -> string
37cec107
AC
27
28 val domainDir : string -> string
b90b0980
AC
29
30 val readFile : string -> string
dfb0d0d7
AC
31
32 val mem : ''a * ''a list -> bool
d5f8418b
AC
33
34 val allLower : string -> string
9953bee7 35 val normEmail : string -> string
6b8b767b
AC
36
37 val diffFromNow : Time.time -> string
37cec107 38end