X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/dfb0d0d7748a9bd707705e0a676529a771366180..ff21b0b604e36522aa9d91d90d6e93d792c438cf:/util.sig diff --git a/util.sig b/util.sig index c82c869..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 @@ -28,4 +33,9 @@ sig val readFile : string -> string val mem : ''a * ''a list -> bool + + val allLower : string -> string + val normEmail : string -> string + + val diffFromNow : Time.time -> string end