X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/dfb0d0d7748a9bd707705e0a676529a771366180..b6392a52a07ca163e5a1ee1b46d62a48ef395829:/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