Stream 0.3 → 0.3.1
raw patch · 2 files changed
+6/−4 lines, 2 filesdep ~QuickCheckPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: QuickCheck
API changes (from Hackage documentation)
- Data.Stream: instance (Arbitrary a) => Arbitrary (Stream a)
- Data.Stream: instance (Eq a) => Eq (Stream a)
- Data.Stream: instance (Ord a) => Ord (Stream a)
- Data.Stream: instance (Serial a) => Serial (Stream a)
- Data.Stream: instance (Show a) => Show (Stream a)
+ Data.Stream: instance Arbitrary a => Arbitrary (Stream a)
+ Data.Stream: instance CoArbitrary a => CoArbitrary (Stream a)
+ Data.Stream: instance Eq a => Eq (Stream a)
+ Data.Stream: instance Ord a => Ord (Stream a)
+ Data.Stream: instance Serial a => Serial (Stream a)
+ Data.Stream: instance Show a => Show (Stream a)
- Data.Stream: elemIndex :: (Eq a) => a -> Stream a -> Int
+ Data.Stream: elemIndex :: Eq a => a -> Stream a -> Int
- Data.Stream: elemIndices :: (Eq a) => a -> Stream a -> Stream Int
+ Data.Stream: elemIndices :: Eq a => a -> Stream a -> Stream Int
- Data.Stream: group :: (Eq a) => Stream a -> Stream [a]
+ Data.Stream: group :: Eq a => Stream a -> Stream [a]
- Data.Stream: isPrefixOf :: (Eq a) => [a] -> Stream a -> Bool
+ Data.Stream: isPrefixOf :: Eq a => [a] -> Stream a -> Bool
Files
- Data/Stream.hs +4/−2
- Stream.cabal +2/−2
Data/Stream.hs view
@@ -68,13 +68,13 @@ import Control.Monad (liftM2) import Data.Monoid (mappend) import Data.Char (isSpace)-import Test.QuickCheck (Arbitrary, arbitrary, coarbitrary)+import Test.QuickCheck (Arbitrary, CoArbitrary, arbitrary, coarbitrary) import Test.LazySmallCheck (Serial, series, cons2) -- | An infinite sequence. -- -- /Beware/: If you use any function from the @ Eq @ or @ Ord @--- class two compare to equal streams, these functions will diverge.+-- class to compare two equal streams, these functions will diverge. data Stream a = Cons a (Stream a) deriving (Eq, Ord) @@ -96,6 +96,8 @@ instance Arbitrary a => Arbitrary (Stream a) where arbitrary = liftM2 Cons arbitrary arbitrary++instance CoArbitrary a => CoArbitrary (Stream a) where coarbitrary xs gen = do n <- arbitrary coarbitrary (take (abs n) xs) gen
Stream.cabal view
@@ -1,5 +1,5 @@ Name: Stream-Version: 0.3+Version: 0.3.1 License: BSD3 License-file: LICENSE Author: Wouter Swierstra <wss@cs.nott.ac.uk>,@@ -17,7 +17,7 @@ nothing to do with the work on /Stream Fusion/ by Duncan Coutts, Roman Leshchinskiy, and Don Stewart. Category: Data-Build-Depends: base, QuickCheck < 2, lazysmallcheck >= 0.3+Build-Depends: base, QuickCheck >= 2.0, lazysmallcheck >= 0.3 Build-Type: Simple Exposed-modules: Data.Stream