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