packages feed

QuickCheck-GenT 0.1.4 → 0.2.0

raw patch · 2 files changed

+5/−4 lines, 2 filesdep ~QuickCheckPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: QuickCheck

API changes (from Hackage documentation)

- QuickCheck.GenT: instance (Applicative m, Monad m) => MonadGen (GenT m)
- QuickCheck.GenT: instance (Functor m, Monad m) => Applicative (GenT m)
- QuickCheck.GenT: instance Functor m => Functor (GenT m)
- QuickCheck.GenT: instance Monad m => Monad (GenT m)
- QuickCheck.GenT: instance MonadGen Gen
- QuickCheck.GenT: instance MonadIO m => MonadIO (GenT m)
- QuickCheck.GenT: instance MonadTrans GenT
- QuickCheck.GenT: unGenT :: GenT m a -> StdGen -> Int -> m a
+ QuickCheck.GenT: [unGenT] :: GenT m a -> QCGen -> Int -> m a
+ QuickCheck.GenT: instance (GHC.Base.Applicative m, GHC.Base.Monad m) => QuickCheck.GenT.MonadGen (QuickCheck.GenT.GenT m)
+ QuickCheck.GenT: instance (GHC.Base.Functor m, GHC.Base.Monad m) => GHC.Base.Applicative (QuickCheck.GenT.GenT m)
+ QuickCheck.GenT: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (QuickCheck.GenT.GenT m)
+ QuickCheck.GenT: instance Control.Monad.Trans.Class.MonadTrans QuickCheck.GenT.GenT
+ QuickCheck.GenT: instance GHC.Base.Functor m => GHC.Base.Functor (QuickCheck.GenT.GenT m)
+ QuickCheck.GenT: instance GHC.Base.Monad m => GHC.Base.Monad (QuickCheck.GenT.GenT m)
+ QuickCheck.GenT: instance QuickCheck.GenT.MonadGen Test.QuickCheck.Gen.Gen
- QuickCheck.GenT: GenT :: (StdGen -> Int -> m a) -> GenT m a
+ QuickCheck.GenT: GenT :: (QCGen -> Int -> m a) -> GenT m a
- QuickCheck.GenT: var :: Integral n => n -> StdGen -> StdGen
+ QuickCheck.GenT: var :: Integral n => n -> QCGen -> QCGen

Files

QuickCheck-GenT.cabal view
@@ -1,7 +1,7 @@ name:   QuickCheck-GenT version:-  0.1.4+  0.2.0 synopsis:   A GenT monad transformer for QuickCheck library. description:@@ -42,7 +42,7 @@   other-modules:     QuickCheck.GenT.Prelude   build-depends:-    QuickCheck < 2.7,+    QuickCheck >= 2.7,     random,     mtl,     base >= 4.5 && < 5
src/QuickCheck/GenT.hs view
@@ -6,10 +6,11 @@  import QuickCheck.GenT.Prelude import qualified Test.QuickCheck.Gen as QC+import qualified Test.QuickCheck.Random as QC import qualified System.Random as Random  -newtype GenT m a = GenT { unGenT :: Random.StdGen -> Int -> m a }+newtype GenT m a = GenT { unGenT :: QC.QCGen -> Int -> m a }  instance (Functor m) => Functor (GenT m) where   fmap f m = GenT $ \r n -> fmap f $ unGenT m r n@@ -61,7 +62,7 @@ -- of (fst . split) and (snd . split) applications.  Every integer (including  -- negative ones) will give rise to a different random number generator in  -- log2 n steps. -var :: Integral n => n -> Random.StdGen -> Random.StdGen +var :: Integral n => n -> QC.QCGen -> QC.QCGen var k =    (if k == k' then id else var k') . (if even k then fst else snd) . Random.split    where k' = k `div` 2