Copyright	(c) Plow Technologies 2016
License	BSD3
Maintainer	mchaver@gmail.com
Stability	Beta
Safe Haskell	None
Language	Haskell2010

Test.Aeson.Internal.RandomSamples

Description

Internal module, use at your own risk.

Synopsis

data RandomSamples a = RandomSamples {
- seed :: Int
- samples :: [a]
}
setSeed :: Int -> Gen a -> Gen a
readSeed :: ByteString -> IO Int
readSampleSize :: ByteString -> IO Int

Documentation

data RandomSamples a #

RandomSamples, using a seed allows you to replicate an arbitrary. By storing the seed and the samples (previously produced arbitraries), we can try to reproduce the same samples by generating the arbitraries with a seed.

Constructors

RandomSamples
Fields seed :: Int samples :: [a]

Instances

Eq a => Eq (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples Methods (==) :: RandomSamples a -> RandomSamples a -> Bool # (/=) :: RandomSamples a -> RandomSamples a -> Bool #
Ord a => Ord (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples Methods compare :: RandomSamples a -> RandomSamples a -> Ordering # (<) :: RandomSamples a -> RandomSamples a -> Bool # (<=) :: RandomSamples a -> RandomSamples a -> Bool # (>) :: RandomSamples a -> RandomSamples a -> Bool # (>=) :: RandomSamples a -> RandomSamples a -> Bool # max :: RandomSamples a -> RandomSamples a -> RandomSamples a # min :: RandomSamples a -> RandomSamples a -> RandomSamples a #
Show a => Show (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples Methods showsPrec :: Int -> RandomSamples a -> ShowS # show :: RandomSamples a -> String # showList :: [RandomSamples a] -> ShowS #
Generic (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples Associated Types type Rep (RandomSamples a) :: Type -> Type # Methods from :: RandomSamples a -> Rep (RandomSamples a) x # to :: Rep (RandomSamples a) x -> RandomSamples a #
ToJSON a => ToJSON (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples Methods toJSON :: RandomSamples a -> Value # toEncoding :: RandomSamples a -> Encoding # toJSONList :: [RandomSamples a] -> Value # toEncodingList :: [RandomSamples a] -> Encoding #
FromJSON a => FromJSON (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples Methods parseJSON :: Value -> Parser (RandomSamples a) # parseJSONList :: Value -> Parser [RandomSamples a] #
type Rep (RandomSamples a) #
Instance details Defined in Test.Aeson.Internal.RandomSamples type Rep (RandomSamples a) = D1 (MetaData "RandomSamples" "Test.Aeson.Internal.RandomSamples" "hspec-golden-aeson-0.7.0.0-FsnT2OXzJezKcgq6FGspvn" False) (C1 (MetaCons "RandomSamples" PrefixI True) (S1 (MetaSel (Just "seed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "samples") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [a])))

setSeed :: Int -> Gen a -> Gen a #

Apply the seed.

readSeed :: ByteString -> IO Int #

Reads the seed without looking at the samples.

readSampleSize :: ByteString -> IO Int #

Read the sample size.