Mercurial > urweb

diff lib/basis.urs @ 256:e52243e20858

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'eq' type class
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:15:41 -0400
parents 7f6620853c36
children 32f9212583b2
line wrap: on
line diff
--- a/lib/basis.urs	Sun Aug 31 15:04:10 2008 -0400
+++ b/lib/basis.urs	Sun Aug 31 15:15:41 2008 -0400
@@ -7,6 +7,16 @@
 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