clean up even more

[clean-tests.git] / datatype / Language.hs

diff --git a/datatype/Language.hs b/datatype/Language.hs
index c2909f1..9656bcd 100644 (file)
--- a/datatype/Language.hs
+++ b/datatype/Language.hs
@@ -35,15 +35,19 @@ class Expression v where
     if' :: v Bool -> v a -> v a -> v a
     bottom :: String -> v a
 
-class Function a v where
-    fun :: ( (a -> v s) -> In (a -> v s) (Main (v u)) ) -> Main (v u)
-
 infixr 2 |.
 infixr 3 &.
 infix 4 ==., /=., <., >., <=., >=.
 infixl 6 +., -.
 infixl 7 *., /.
 
+class Function a v where
+    fun :: ( (a -> v s) -> In (a -> v s) (Main (v u)) ) -> Main (v u)
+
+true,false :: Expression v => v Bool
+true = lit True
+false = lit False
+
 class Serialise a where
     serialise :: a -> Int