Safe Haskell	None
Language	Haskell2010

Test.Falsify.SampleTree

Contents

Definition
Construction
Combinators

Description

Sample tree

Intended for qualified import.

import Test.Falsify.SampleTree (SampleTree(..), pattern Inf, Sample(..))
import qualified Test.Falsify.SampleTree as SampleTree

Synopsis

data SampleTree
- = SampleTree Sample SampleTree SampleTree
- | Minimal
data Sample
- = NotShrunk Word64
- | Shrunk Word64
pattern Inf :: Sample -> SampleTree -> SampleTree -> SampleTree
sampleValue :: Sample -> Word64
fromPRNG :: SMGen -> SampleTree
fromSeed :: Word64 -> SampleTree
minimal :: SampleTree
constant :: Word64 -> SampleTree
map :: (Word64 -> Word64) -> SampleTree -> SampleTree
mod :: Word64 -> SampleTree -> SampleTree

Definition

data SampleTree Source #

Sample tree

A sample tree is a (conceptually and sometimes actually) infinite tree representing drawing values from and splitting a PRNG.

Constructors

SampleTree Sample SampleTree SampleTree

Default constructor

The type of ST is really

ST :: Word64 & (SampleTree * SampleTree) -> SampleTree

where (&) is the additive conjunction from linear logic. In other words, the intention is that either the Word64 is used, or the pair of subtrees; put another way, we either draw a value from the PRNG, or split it into two new PRNGs.

Minimal

Minimal tree (0 everywhere)

This constructor allows us to represent an infinite tree in a finite way and, importantly, recognize a tree that is minimal everywhere. This is necessary when shrinking in the context of generators that generate infinitely large values.

Instances

Instances details

Show SampleTree Source #
Instance details Defined in Test.Falsify.SampleTree Methods showsPrec :: Int -> SampleTree -> ShowS # show :: SampleTree -> String # showList :: [SampleTree] -> ShowS #

data Sample Source #

Sample

The samples in the SampleTree record if they were the originally produced sample, or whether they have been shrunk.

Constructors

NotShrunk Word64
Shrunk Word64

Instances

Instances details

Show Sample Source #
Instance details Defined in Test.Falsify.SampleTree Methods showsPrec :: Int -> Sample -> ShowS # show :: Sample -> String # showList :: [Sample] -> ShowS #
Eq Sample Source #
Instance details Defined in Test.Falsify.SampleTree Methods (==) :: Sample -> Sample -> Bool # (/=) :: Sample -> Sample -> Bool #
Ord Sample Source #
Instance details Defined in Test.Falsify.SampleTree Methods compare :: Sample -> Sample -> Ordering # (<) :: Sample -> Sample -> Bool # (<=) :: Sample -> Sample -> Bool # (>) :: Sample -> Sample -> Bool # (>=) :: Sample -> Sample -> Bool # max :: Sample -> Sample -> Sample # min :: Sample -> Sample -> Sample #