Changeset 25 for sizechecking/branches/macs/Ops.hs

Timestamp:

May 4, 2014, 6:57:47 PM (11 years ago)

Author:

gobi

Message:

monad for observable sharing

File:

• sizechecking/branches/macs/Ops.hs (modified) (2 diffs)

sizechecking/branches/macs/Ops.hs

@@ -1 @@
-{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FlexibleInstances, KindSignatures #-}
 
 module Ops where
@@ -8 +8 @@
 import Lambda
 
+-- infix operatorok, ezek beagyazasa picit necces, lasd a type family kesobb
 class (Lambda l) => LOps l where
-    infixop :: String -> Int -> (a -> b -> c) -> l a -> l b -> l c
+    infixop  :: String -> Int -> (a -> b -> c) -> l a -> l b -> l c
     infixopr :: String -> Int -> (a -> b -> c) -> l a -> l b -> l c
     infixopl :: String -> Int -> (a -> b -> c) -> l a -> l b -> l c
-    fun :: String -> a -> l a
+    fun ::  String -> a -> l a
 
-    (+) :: l Int -> l Int -> l Int
-    (+) = infixopl "+" 6 (Prelude.+)
+(+) :: (LOps l) => l Int -> l Int -> l Int
+(+) = infixopl "+" 6 (Prelude.+)
 
-    (-) :: l Int -> l Int -> l Int
-    (-) = infixopl "-" 6 (Prelude.-)
+(-) :: (LOps l) => l Int -> l Int -> l Int
+(-) = infixopl "-" 6 (Prelude.-)
 
-    (*) :: l Int -> l Int -> l Int
-    (*) = infixopl "*" 7 (Prelude.*)
+(*) :: (LOps l) => l Int -> l Int -> l Int
+(*) = infixopl "*" 7 (Prelude.*)
+