X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/5da9f4a91ea8e648812be0ca1afaeace2ba0423c..4763cfb8e0dc2f6b2d4fd798cc9e3124c3e86288:/util.sig diff --git a/util.sig b/util.sig index 55b05c3..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,8 +14,22 @@ sig val id : 'a -> 'a val makeSet : ('a -> string) -> 'a list -> string val neg : real -> real + 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 -end \ No newline at end of file + + 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