Test.Aeson.Internal.RandomSamples

Internal module, use at your own risk.

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)

Methods

(==) :: RandomSamples a -> RandomSamples a -> Bool

(/=) :: RandomSamples a -> RandomSamples a -> Bool

Ord a => Ord (RandomSamples a)

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)

Methods

showsPrec :: Int -> RandomSamples a -> ShowS

show :: RandomSamples a -> String

showList :: [RandomSamples a] -> ShowS

Generic (RandomSamples a)

Associated Types

type Rep (RandomSamples a) :: * -> *

Methods

from :: RandomSamples a -> Rep (RandomSamples a) x

to :: Rep (RandomSamples a) x -> RandomSamples a

ToJSON a => ToJSON (RandomSamples a)

Methods

toJSON :: RandomSamples a -> Value

toEncoding :: RandomSamples a -> Encoding

toJSONList :: [RandomSamples a] -> Value

toEncodingList :: [RandomSamples a] -> Encoding

FromJSON a => FromJSON (RandomSamples a)

Methods

parseJSON :: Value -> Parser (RandomSamples a)

parseJSONList :: Value -> Parser [RandomSamples a]

type Rep (RandomSamples a)

type Rep (RandomSamples a) = D1 (MetaData "RandomSamples" "Test.Aeson.Internal.RandomSamples" "hspec-golden-aeson-0.2.0.1-BZWjNplPW9fETuOwm3YAkz" False) (C1 (MetaCons "RandomSamples" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "seed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) (S1 (MetaSel (Just Symbol "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.