X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.runtime%2Fscl%2FCollection.scl;h=418e8f03b81c6c1f387b5d4b57845eff3a80cb0b;hp=63df233239d7d82ab00351e14d8ce80dc24cba0d;hb=a8758de5bc19e5adb3f618d3038743a164f09912;hpb=12d9af17384d960b75d58c3935d2b7b46d93e87b diff --git a/bundles/org.simantics.scl.runtime/scl/Collection.scl b/bundles/org.simantics.scl.runtime/scl/Collection.scl index 63df23323..418e8f03b 100644 --- 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 -> Boolean) -> a -> Boolean filter :: (El a -> Boolean) -> a -> a partition :: (El a -> Boolean) -> a -> (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 -> El a) -> a -> a foldr1 :: (El a -> El a -> El a) -> a -> 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 -> Boolean) -> a -> Maybe (El a) findIndex :: (El a -> Boolean) -> a -> Maybe Integer findIndices :: (El a -> Boolean) -> a -> [Integer]