X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/9bda1e7f56f54ad5f5fa2782a8b746c4b77ae70b..64264243ac899669f55285e53a5ba511bbac9340:/util.sig diff --git a/util.sig b/util.sig index df2fda7..f8c38d4 100644 --- a/util.sig +++ b/util.sig @@ -15,6 +15,11 @@ sig val makeSet : ('a -> string) -> 'a list -> string val neg : real -> real val add : real * real -> real + val sub : real * real -> real + val mult : int * real -> real + + val lt : real * real -> bool + val ge : real * real -> bool val validHost : string -> bool val validDomain : string -> bool @@ -22,4 +27,15 @@ 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 + + val diffFromNow : Time.time -> string +end