{-# LANGUAGE CPP #-}
#ifndef NO_SAFE_HASKELL
{-# LANGUAGE Safe #-}
#endif
#ifndef NO_ST_MONAD
{-# LANGUAGE Rank2Types #-}
#endif
-- | Unsafe combinators for the 'Gen' monad.
--
-- 'Gen' is only morally a monad: two generators that are supposed
-- to be equal will give the same probability distribution, but they
-- might be different as functions from random number seeds to values.
-- QuickCheck maintains the illusion that a 'Gen' is a probability
-- distribution and does not allow you to distinguish two generators
-- that have the same distribution.
--
-- The functions in this module allow you to break this illusion by
-- reusing the same random number seed twice. This is unsafe because
-- by applying the same seed to two morally equal generators, you can
-- see whether they are really equal or not.
module Test.QuickCheck.Gen.Unsafe where

import Test.QuickCheck.Gen
import Control.Monad

-- | Promotes a monadic generator to a generator of monadic values.
promote :: Monad m => m (Gen a) -> Gen (m a)
promote :: m (Gen a) -> Gen (m a)
promote m :: m (Gen a)
m = do
  Gen a -> a
eval <- Gen (Gen a -> a)
forall a. Gen (Gen a -> a)
delay
  m a -> Gen (m a)
forall (m :: * -> *) a. Monad m => a -> m a
return ((Gen a -> a) -> m (Gen a) -> m a
forall (m :: * -> *) a1 r. Monad m => (a1 -> r) -> m a1 -> m r
liftM Gen a -> a
eval m (Gen a)
m)

-- | Randomly generates a function of type @'Gen' a -> a@, which
-- you can then use to evaluate generators. Mostly useful in
-- implementing 'promote'.
delay :: Gen (Gen a -> a)
delay :: Gen (Gen a -> a)
delay = (QCGen -> Int -> Gen a -> a) -> Gen (Gen a -> a)
forall a. (QCGen -> Int -> a) -> Gen a
MkGen (\r :: QCGen
r n :: Int
n g :: Gen a
g -> Gen a -> QCGen -> Int -> a
forall a. Gen a -> QCGen -> Int -> a
unGen Gen a
g QCGen
r Int
n)

#ifndef NO_ST_MONAD
-- | A variant of 'delay' that returns a polymorphic evaluation function.
-- Can be used in a pinch to generate polymorphic (rank-2) values:
--
-- > genSelector :: Gen (a -> a -> a)
-- > genSelector = elements [\x y -> x, \x y -> y]
-- >
-- > data Selector = Selector (forall a. a -> a -> a)
-- > genPolySelector :: Gen Selector
-- > genPolySelector = do
-- >   Capture eval <- capture
-- >   return (Selector (eval genSelector))
capture :: Gen Capture
capture :: Gen Capture
capture = (QCGen -> Int -> Capture) -> Gen Capture
forall a. (QCGen -> Int -> a) -> Gen a
MkGen (\r :: QCGen
r n :: Int
n -> (forall a. Gen a -> a) -> Capture
Capture (\g :: Gen a
g -> Gen a -> QCGen -> Int -> a
forall a. Gen a -> QCGen -> Int -> a
unGen Gen a
g QCGen
r Int
n))

newtype Capture = Capture (forall a. Gen a -> a)
#endif