X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/9d1c0e98cf0324f769b9f05b83fe24c5cfcba7f6..23bfc8776ac637a955c1f781ff20498eaf62ef5b:/util.sig diff --git a/util.sig b/util.sig index 3bfaccc..1f46916 100644 --- a/util.sig +++ b/util.sig @@ -14,6 +14,8 @@ 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 @@ -21,4 +23,13 @@ sig val whoisUrl : string -> string val randomPassword : unit -> string -end \ No newline at end of file + + val domainDir : string -> string + + val readFile : string -> string + + val mem : ''a * ''a list -> bool + + val allLower : string -> string + val normEmail : string -> string +end