Test.Aeson.Internal.RandomSamples

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

FromJSON a => FromJSON (RandomSamples a)

Methods

parseJSON :: Value -> Parser (RandomSamples a)

parseJSONList :: Value -> Parser [RandomSamples a]

ToJSON a => ToJSON (RandomSamples a)

Methods

toJSON :: RandomSamples a -> Value

toEncoding :: RandomSamples a -> Encoding

toJSONList :: [RandomSamples a] -> Value

toEncodingList :: [RandomSamples a] -> Encoding

type Rep (RandomSamples a)

type Rep (RandomSamples a) = D1 (MetaData "RandomSamples" "Test.Aeson.Internal.RandomSamples" "hspec-golden-aeson-0.1.0.0-2rnFtmdD5x0IsmLf8w7gun" 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

readSeed :: ByteString -> IO Int

reads the seed without looking at the samples

readSampleSize :: ByteString -> IO Int

read the sample size