X-Git-Url: https://git.hcoop.net/bpt/portal.git/blobdiff_plain/9bda1e7f56f54ad5f5fa2782a8b746c4b77ae70b..62b0bade1cb05b41e62f68a2f74f8406193c64f3:/util.sig diff --git a/util.sig b/util.sig index df2fda7..1f46916 100644 --- a/util.sig +++ b/util.sig @@ -15,6 +15,7 @@ sig 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 @@ -22,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