diff options
author | 2008-08-31 15:15:41 -0400 | |
---|---|---|
committer | 2008-08-31 15:15:41 -0400 | |
commit | 6a144b5f5a7e85a02465aa25a19c3b5686e062cb (patch) | |
tree | 9b8ec9f45e09d619e326c40706e38599a4ed9851 /lib | |
parent | 0ca7aad45b1581ab86d136aaf7829418e093bb24 (diff) |
'eq' type class
Diffstat (limited to 'lib')
-rw-r--r-- | lib/basis.urs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/basis.urs b/lib/basis.urs index f53ee1c1..bc4c9481 100644 --- a/lib/basis.urs +++ b/lib/basis.urs @@ -7,6 +7,16 @@ type unit = {} datatype bool = False | True +(** Basic type classes *) + +class eq +val eq : t ::: Type -> eq t -> t -> t -> bool +val eq_int : eq int +val eq_float : eq float +val eq_string : eq string +val eq_bool : eq bool + + (** SQL *) con sql_table :: {Type} -> Type |