util.sig

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