hunk ./collections-api/Data/Collections.hs 1
-{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances -fno-warn-incomplete-patterns -fno-warn-name-shadowing -fno-warn-orphans #-}
+{-# OPTIONS_GHC -fno-warn-incomplete-patterns -fno-warn-name-shadowing -fno-warn-orphans #-}
hunk ./collections-api/Data/Collections.hs 10
--- Portability :  MPTC, FD, undecidable instances
hunk ./collections-api/Data/Collections.hs 128
-import Control.Monad
hunk ./collections-api/Data/Collections.hs 181
-    minView :: Monad m => c -> m (o,c)
-    -- maxView :: Monad m => c -> m (o,c)
-
+    minView :: c -> Maybe (o,c)
hunk ./collections-api/Data/Collections.hs 219
-    front :: Monad m => c -> m (a,c)
+    front :: c -> Maybe (a,c)
hunk ./collections-api/Data/Collections.hs 221
-    back :: Monad m => c -> m (c,a)
+    back :: c -> Maybe (c,a)
hunk ./collections-api/Data/Collections.hs 387
-    lookup :: Monad m => k -> c -> m a
+    lookup :: k -> c -> Maybe a
hunk ./collections-api/Data/Collections/Properties.hs 78
-import Test.QuickCheck
+import Test.QuickCheck hiding ((><))
hunk ./collections-api/Data/Collections/Properties.hs 86
-{- ?? From 6.6.1 this instance duplicates one in Test.QuickCheck
-
-instance Arbitrary a => Arbitrary (Maybe a)
-    where arbitrary = do test <- arbitrary
-                         if test 
-                            then return Nothing
-                            else return Just `ap` arbitrary
-          coarbitrary Nothing = variant 0
-          coarbitrary (Just x) = variant 1 . coarbitrary x
-
--}
-
hunk ./collections-api/Data/Collections/Properties.hs 183
-collection_properties :: forall c i. (Arbitrary c, Arbitrary i,
+collection_properties :: forall c i. (CoArbitrary i, Arbitrary c, Arbitrary i,
hunk ./collections-api/Data/Collections/Properties.hs 290
-map_properties :: forall m k v. (Arbitrary m, Arbitrary k, Arbitrary v, 
+map_properties :: forall m k v. (CoArbitrary v, CoArbitrary k, Arbitrary m, Arbitrary k, Arbitrary v, 
hunk ./collections-api/Data/Collections/Properties.hs 392
-map_fold_properties :: forall m k v. (Arbitrary m, Arbitrary k, Arbitrary v, 
+map_fold_properties :: forall m k v. (CoArbitrary v, Arbitrary m, Arbitrary k, Arbitrary v, 
hunk ./collections-api/Data/Collections/Properties.hs 471
-indexed_properties :: forall m k v. (Arbitrary m, Arbitrary k, Arbitrary v, 
+indexed_properties :: forall m k v. (CoArbitrary v, Arbitrary m, Arbitrary k, Arbitrary v, 
hunk ./collections-api/collections-api.cabal 2
-version:        0.4
+build-type:     Simple
+version:        1.0.0.0
+category:       Data Structures
+
hunk ./collections-api/collections-api.cabal 12
-stability:      Stable
-category:       Data Structures
-
-synopsis:       Useful standard collections types and related functions.
+synopsis:       API for collection data structures.
hunk ./collections-api/collections-api.cabal 14
-                structures. (and QuickCheck properties) It is intended as an
-                evolution of the data structures in the @base@ package.
-homepage:       http://code.haskell.org/collections/collections-ghc6.8
+                structures. The behaviour of the interface is specified by QuickCheck properties. 
+                It is intended as an evolution of the API of the data structures in the @containers@ package.
hunk ./collections-api/collections-api.cabal 17
-build-type:     Simple
-tested-with:    GHC==6.8.2
+source-repository head
+    type:     darcs
+    location: http://code.haskell.org/collections/
+
+cabal-version: >= 1.6
+
+tested-with:    GHC==6.12.1
hunk ./collections-api/collections-api.cabal 29
-
-build-depends:  base >= 3.0, QuickCheck<2, array
-extensions:     CPP
+build-depends:  base >= 3 && < 5, QuickCheck == 2.*, array
+extensions:     CPP, MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, FlexibleInstances
hunk ./collections-base-instances/Data/Collections/BaseInstances.hs 342
-    isProperSubset = IntSet.isSubsetOf
hunk ./collections-base-instances/collections-base-instances.cabal 2
-version:        0.4
+version:        1.0.0.0
+category:       Data Structures
+description:
+        This package provides a common API, through a consistent set of classes, to the container types in the @containers@ package.
+        list, array, set, map, bytestring, etc. are supported.
hunk ./collections-base-instances/collections-base-instances.cabal 18
-homepage: http://code.haskell.org/collections/collections-ghc6.8
+homepage: http://code.haskell.org/collections/
+cabal-version: >= 1.6
hunk ./collections-base-instances/collections-base-instances.cabal 29
-build-depends:  base >= 3.0, QuickCheck, array, containers, bytestring, collections-api
+build-depends:  base >= 3.0 && < 5, array, containers, bytestring, collections-api == 1.0.*