X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/b340786b13dacb1070c79713ebc4eaf298d27943..2581e0222b4def4ba8cc38b73edf0a3dfe425c1e:/util.sig diff --git a/util.sig b/util.sig index 2c134b8..1f46916 100644 --- a/util.sig +++ b/util.sig @@ -1,5 +1,7 @@ signature UTIL = sig + val init : unit -> unit + datatype 'a flat_element = BEGIN | END @@ -12,4 +14,22 @@ sig val id : 'a -> 'a val makeSet : ('a -> string) -> 'a list -> string val neg : real -> real -end \ No newline at end of file + val add : real * real -> real + val mult : int * real -> real + + val validHost : string -> bool + val validDomain : string -> bool + val validEmail : string -> bool + val whoisUrl : string -> string + + val randomPassword : unit -> string + + val domainDir : string -> string + + val readFile : string -> string + + val mem : ''a * ''a list -> bool + + val allLower : string -> string + val normEmail : string -> string +end