Merged changes from feature/scl to master.

[simantics/platform.git] / bundles / org.simantics.scl.runtime / scl / Collection.scl

diff --git a/bundles/org.simantics.scl.runtime/scl/Collection.scl b/bundles/org.simantics.scl.runtime/scl/Collection.scl
index 63df233239d7d82ab00351e14d8ce80dc24cba0d..418e8f03b81c6c1f387b5d4b57845eff3a80cb0b 100644 (file)
--- a/bundles/org.simantics.scl.runtime/scl/Collection.scl
+++ b/bundles/org.simantics.scl.runtime/scl/Collection.scl
@@ -12,7 +12,7 @@ class Collection a where
     all :: (El a -> <e> Boolean) -> a -> <e> Boolean
     filter :: (El a -> <e> Boolean) -> a -> <e> a
     partition :: (El a -> <e> Boolean) -> a -> <e> (a,a)
-    groupBy :: Hashable b => (El a -> b) -> [(b, a)]
+    groupBy :: (El a -> b) -> [(b, a)]
     uniqueElement :: a -> El a // may fail
     fromList :: [El a] -> a
     toList :: a -> [El a]
@@ -37,9 +37,9 @@ class (Collection a) => Sequence a where
     foldl1 :: (El a -> El a -> <e> El a) -> a -> <e> a
     foldr1 :: (El a -> El a -> <e> El a) -> a -> <e> a
     
-    elem :: Eq (El a) => El a -> a -> Boolean
-    elemIndex :: Eq (El a) => El a -> a -> Maybe Integer
-    elemIndices :: Eq (El a) => El a -> a -> [Integer]
+    elem :: El a -> a -> Boolean
+    elemIndex :: El a -> a -> Maybe Integer
+    elemIndices :: El a -> a -> [Integer]
     find :: (El a -> <e> Boolean) -> a -> <e> Maybe (El a)
     findIndex :: (El a -> <e> Boolean) -> a -> <e> Maybe Integer
     findIndices :: (El a -> <e> Boolean) -> a -> <e> [Integer]