Module Test.QuickCheck

Public interface for the quick check modules

Imports

• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Test.QuickCheckArbitrary as QuickCheckArbitrary
• import Test.QuickCheckException as QuickCheckException
• import Test.QuickCheckGen as QuickCheckGen
• import Test.QuickCheckModifiers as QuickCheckModifiers
• import Test.QuickCheckProperty as QuickCheckProperty
• import Test.QuickCheckTest as QuickCheckTest
• import Test.QuickCheckText as QuickCheckText
• import Java.util.Regex as Regexp

Table of Content

• Re-Exported Items

  type AnException = Exception

  class Arbitrary a

  instance Arbitrary ()

  instance (Arbitrary a, Arbitrary b) ⇒ Arbitrary (a, b)

  instance (Arbitrary a, Arbitrary b, Arbitrary c) ⇒ Arbitrary (a, b, c)

  instance (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) ⇒ Arbitrary (a, b, c, d)

  instance (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) ⇒ Arbitrary (a, b, c, d, e)

  instance (CoArbitrary a, Arbitrary b) ⇒ Arbitrary (a→b)

  instance Arbitrary a ⇒ Arbitrary (Blind a)

  instance Arbitrary Bool

  instance Arbitrary Byte

  instance Arbitrary Char

  instance Arbitrary Double

  instance (Arbitrary a, Arbitrary b) ⇒ Arbitrary (a | b)

  instance Arbitrary a ⇒ Arbitrary (Fixed a)

  instance Arbitrary Float

  instance Arbitrary Int

  instance Arbitrary Integer

  instance (ArrayElement a, Arbitrary a) ⇒ Arbitrary (JArray a)

  instance Arbitrary Long

  instance Arbitrary a ⇒ Arbitrary (Maybe a)

  instance Arbitrary a ⇒ Arbitrary (NonEmptyList a)

  instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (NonNegative a)

  instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (NonZero a)

  instance (Ord a, Arbitrary a) ⇒ Arbitrary (OrderedList a)

  instance Arbitrary Ordering

  instance (Num a, Ord a, Arbitrary a) ⇒ Arbitrary (Positive a)

  instance Arbitrary Short

  instance Arbitrary a ⇒ Arbitrary (Shrink2 a)

  instance Arbitrary a ⇒ Arbitrary (Smart a)

  instance Arbitrary String

  instance (Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (TreeMap.TreeMap k v)

  instance Arbitrary a ⇒ Arbitrary [a]

  data Args

  data Blind a

  instance Bounded Ordering

  data Callback

  data CallbackKind

  class CoArbitrary a

  instance CoArbitrary ()

  instance (CoArbitrary a, CoArbitrary b) ⇒ CoArbitrary (a, b)

  instance (CoArbitrary a, CoArbitrary b, CoArbitrary c) ⇒ CoArbitrary (a, b, c)

  instance (CoArbitrary a, CoArbitrary b, CoArbitrary c, CoArbitrary d) ⇒ CoArbitrary (a, b, c, d)

  instance (CoArbitrary a, CoArbitrary b, CoArbitrary c, CoArbitrary d, CoArbitrary e) ⇒ CoArbitrary (a, b, c, d, e)

  instance (Arbitrary a, CoArbitrary b) ⇒ CoArbitrary (a→b)

  instance CoArbitrary Bool

  instance CoArbitrary Char

  instance CoArbitrary Double

  instance (CoArbitrary a, CoArbitrary b) ⇒ CoArbitrary (a | b)

  instance CoArbitrary Float

  instance CoArbitrary Int

  instance CoArbitrary Integer

  instance CoArbitrary Long

  instance CoArbitrary a ⇒ CoArbitrary (Maybe a)

  instance CoArbitrary Ordering

  instance CoArbitrary String

  instance (Ord k, CoArbitrary k, CoArbitrary v) ⇒ CoArbitrary (TreeMap.TreeMap k v)

  instance CoArbitrary a ⇒ CoArbitrary [a]

  instance Eq a ⇒ Eq (Blind a)

  instance Eq a ⇒ Eq (Fixed a)

  instance Eq a ⇒ Eq (NonEmptyList a)

  instance Eq a ⇒ Eq (NonNegative a)

  instance Eq a ⇒ Eq (NonZero a)

  instance Eq a ⇒ Eq (OrderedList a)

  instance Eq a ⇒ Eq (Positive a)

  instance Eq a ⇒ Eq (Shrink2 a)

  data Fixed a

  instance Functor Gen

  instance Functor Rose

  data Gen a

  type Handle = Mutable RealWorld PrintWriter

  instance Monad Gen

  instance Monad Rose

  data NonEmptyList a

  data NonNegative a

  data NonZero a

  instance Ord a ⇒ Ord (Blind a)

  instance Ord a ⇒ Ord (Fixed a)

  instance Ord a ⇒ Ord (NonEmptyList a)

  instance Ord a ⇒ Ord (NonNegative a)

  instance Ord a ⇒ Ord (NonZero a)

  instance Ord a ⇒ Ord (OrderedList a)

  instance Ord a ⇒ Ord (Positive a)

  instance Ord a ⇒ Ord (Shrink2 a)

  data OrderedList a

  data Output

  data Positive a

  data Prop

  type Property = Gen Prop

  data Result

  data Rose a

  instance Show Args

  instance Show (Blind a)

  instance Show a ⇒ Show (Fixed a)

  instance Show a ⇒ Show (NonEmptyList a)

  instance Show a ⇒ Show (NonNegative a)

  instance Show a ⇒ Show (NonZero a)

  instance Show a ⇒ Show (OrderedList a)

  instance Show a ⇒ Show (Positive a)

  instance Show Result

  instance Show a ⇒ Show (Shrink2 a)

  instance Show a ⇒ Show (Smart a)

  instance Show Random.StdGen

  instance Show Str

  data Shrink2 a

  data Smart a

  data Str

  data Terminal

  class Testable prop

  instance (Arbitrary a, Show a, Testable prop) ⇒ Testable (a→prop)

  instance Testable Bool

  instance Testable prop ⇒ Testable (Gen prop)

  instance Testable Prop

  instance Testable QuickCheckProperty.Result

  .&&. ∷ (Testable prop1, Testable prop2) ⇒ prop1 → prop2 → Property 

  .&. ∷ (Testable prop1, Testable prop2) ⇒ prop1 → prop2 → Property 

  .||. ∷ (Testable prop1, Testable prop2) ⇒ prop1 → prop2 → Property 

  ==> ∷ Testable prop ⇒ Bool → prop → Property 

  >< ∷ (Gen a → Gen a) → (Gen a → Gen a) → Gen a → Gen a 

  arbitrary ∷ Arbitrary a ⇒ Gen a

  arbitraryBoundedEnum ∷ (Bounded a, Enum a) ⇒ Gen a

  arbitraryBoundedIntegral ∷ (Bounded a, Integral a) ⇒ Gen a

  arbitraryBoundedRandom ∷ (Bounded a, Random.Random a) ⇒ Gen a

  arbitrarySizedBoundedIntegral ∷ (Bounded a, Integral a) ⇒ Gen a

  arbitrarySizedFloating ∷ Math.Floating a ⇒ Gen a

  arbitrarySizedIntegral ∷ Num a ⇒ Gen a

  bold ∷ String → String

  callback ∷ Testable prop ⇒ Callback → prop → Property

  callbackPostFinalFailure ∷ QuickCheckState.State → QuickCheckProperty.Result → IO ()

  callbackPostTest ∷ QuickCheckState.State → QuickCheckProperty.Result → IO ()

  choose ∷ Random.Random a ⇒ (a, a) → Gen a

  classify ∷ Testable prop ⇒ Bool → String → prop → Property

  coarbitrary ∷ CoArbitrary a ⇒ a → Gen c → Gen c

  coarbitraryEnum ∷ Enum a ⇒ a → Gen b → Gen b

  coarbitraryIntegral ∷ Integral a ⇒ a → Gen b → Gen b

  coarbitraryShow ∷ Show a ⇒ a → Gen b → Gen b

  collect ∷ (Show a, Testable prop) ⇒ a → prop → Property

  conjoin ∷ Testable prop ⇒ [prop] → Property

  cover ∷ Testable prop ⇒ Bool → Int → String → prop → Property

  discard ∷ a

  disjoin ∷ Testable prop ⇒ [prop] → Property

  doneTesting ∷ QuickCheckState.State → (Random.StdGen → Int → Prop) → IO Result

  elements ∷ [a] → Gen a

  exception ∷ String → Exception → QuickCheckProperty.Result

  exhaustive ∷ Testable prop ⇒ prop → Bool

  expectFailure ∷ Testable prop ⇒ prop → Property

  failed ∷ QuickCheckProperty.Result

  flush ∷ Terminal → IO ()

  forAll ∷ (Show a, Testable prop) ⇒ Gen a → (a → prop) → Property

  forAllShrink ∷ (Show a, Testable prop) ⇒ Gen a → (a → [a]) → (a → prop) → Property

  formatException ∷ String → Exception → String

  foundFailure ∷ QuickCheckState.State → QuickCheckProperty.Result → [Rose QuickCheckProperty.Result] → IO Int

  frequency ∷ [(Int, Gen a)] → Gen a

  get ∷ Output → IO String

  giveUp ∷ QuickCheckState.State → (Random.StdGen → Int → Prop) → IO Result

  growingElements ∷ [a] → Gen a

  flush ∷ MutableIO Flushable → IO ()   throws IOException

  print ∷ Handle → String → IO () 

  handle ∷ Handle → String → IO ()

  ioRose ∷ IO (Rose QuickCheckProperty.Result) → Rose QuickCheckProperty.Result

  isDigit ∷ Char → Bool Int → Bool 

  isDiscard ∷ Exception → Bool

  isInterrupt ∷ Exception → Bool

  isLowerCase ∷ Char → Bool Int → Bool 

  isOneLine ∷ String → Bool

  isWhitespace ∷ Char → Bool Int → Bool 

  isSuccess ∷ Result → Bool

  isUpperCase ∷ Char → Bool Int → Bool 

  joinRose ∷ Rose (Rose a) → Rose a

  kurz ∷ Int → String → String

  label ∷ Testable prop ⇒ String → prop → Property

  liftBool ∷ Bool → QuickCheckProperty.Result

  listOf ∷ Gen a → Gen [a]

  listOf1 ∷ Gen a → Gen [a]

  localMin ∷ QuickCheckState.State → QuickCheckProperty.Result → [Rose QuickCheckProperty.Result] → IO Int

  localMin' ∷ QuickCheckState.State → QuickCheckProperty.Result → [Rose QuickCheckProperty.Result] → IO Int

  localMinFound ∷ QuickCheckState.State → QuickCheckProperty.Result → IO Int

  mapProp ∷ Testable prop ⇒ (Prop → Prop) → prop → Property

  mapResult ∷ Testable prop ⇒ (QuickCheckProperty.Result → QuickCheckProperty.Result) → prop → Property

  mapRoseResult ∷ Testable prop ⇒ (Rose QuickCheckProperty.Result → Rose QuickCheckProperty.Result) → prop → Property

  mapSize ∷ Testable prop ⇒ (Int → Int) → prop → Property

  mapTotalResult ∷ Testable prop ⇒ (QuickCheckProperty.Result → QuickCheckProperty.Result) → prop → Property

  morallyDubiousIOProperty ∷ Testable prop ⇒ IO prop → Property

  newTerminal ∷ Output → Output → IO Terminal

  noShrinking ∷ Testable prop ⇒ prop → Property

  number ∷ Int → String → String

  onRose ∷ (a → [Rose a] → Rose a) → Rose a → Rose a

  once ∷ Testable prop ⇒ prop → Property

  oneLine ∷ String → String

  oneof ∷ [Gen a] → Gen a

  orderedList ∷ (Ord a, Arbitrary a) ⇒ Gen [a]

  output ∷ (String → IO ()) → IO Output

  postpone ∷ Terminal → IO () → IO ()

  printTestCase ∷ Testable prop ⇒ String → prop → Property

  promote ∷ Monad m ⇒ m (Gen a) → Gen (m a)

  property ∷ Testable prop ⇒ prop → Property

  protect ∷ (Exception → a) → IO a → IO a

  protectResult ∷ IO QuickCheckProperty.Result → IO QuickCheckProperty.Result

  protectResults ∷ Rose QuickCheckProperty.Result → Rose QuickCheckProperty.Result

  protectRose ∷ IO (Rose QuickCheckProperty.Result) → IO (Rose QuickCheckProperty.Result)

  put ∷ Output → String → IO ()

  putLine ∷ Terminal → String → IO ()

  putPart ∷ Terminal → String → IO ()

  putTemp ∷ Terminal → String → IO ()

  quickCheck ∷ Testable prop ⇒ prop → IO ()

  quickCheckResult ∷ Testable prop ⇒ prop → IO Result

  quickCheckWith ∷ Testable prop ⇒ Args → prop → IO ()

  quickCheckWithResult ∷ Testable prop ⇒ Args → prop → IO Result

  ranges ∷ (Show a, Integral a) ⇒ a → a → Str

  reduceRose ∷ Rose QuickCheckProperty.Result → IO (Rose QuickCheckProperty.Result)

  rejected ∷ QuickCheckProperty.Result

  resize ∷ Int → Gen a → Gen a

  result ∷ QuickCheckProperty.Result

  runATest ∷ QuickCheckState.State → (Random.StdGen → Int → Prop) → IO Result

  safely ∷ QuickCheckState.State → IO () → IO ()

  sample ∷ Show a ⇒ Gen a → IO ()

  sample' ∷ Gen a → IO [a]

  showErr ∷ Show a ⇒ a → String

  shrink ∷ Arbitrary a ⇒ a → [a]

  shrinkFloating ∷ Math.Floating a ⇒ a → [a]

  shrinkIntegral ∷ Integral a ⇒ a → [a]

  shrinkList ∷ (a → [a]) → [a] → [[a]]

  shrinkNothing ∷ a → [a]

  shrinking ∷ Testable prop ⇒ (a → [a]) → a → (a → prop) → Property

  sized ∷ (Int → Gen a) → Gen a

  stdArgs ∷ Args

  succeeded ∷ QuickCheckProperty.Result

  success ∷ QuickCheckState.State → IO ()

  suchThat ∷ Gen a → (a → Bool) → Gen a

  suchThatMaybe ∷ Gen a → (a → Bool) → Gen (Maybe a)

  summary ∷ QuickCheckState.State → [(String, Int)]

  terminalOutput ∷ Terminal → IO String

  test ∷ QuickCheckState.State → (Random.StdGen → Int → Prop) → IO Result

  toLowerCase ∷ Char → Char Int → Int 

  tryEvaluate ∷ a → IO (Exception | a)

  tryEvaluateIO ∷ IO a → IO (Exception | a)

  variant ∷ Integral n ⇒ n → Gen a → Gen a

  vector ∷ Arbitrary a ⇒ Int → Gen [a]

  vectorOf ∷ Int → Gen a → Gen [a]

  verbose ∷ Testable prop ⇒ prop → Property

  verboseCheck ∷ Testable prop ⇒ prop → IO ()

  verboseCheckResult ∷ Testable prop ⇒ prop → IO Result

  verboseCheckWith ∷ Testable prop ⇒ Args → prop → IO ()

  verboseCheckWithResult ∷ Testable prop ⇒ Args → prop → IO Result

  whenFail ∷ Testable prop ⇒ IO () → prop → Property

  whenFail' ∷ Testable prop ⇒ IO () → prop → Property

  withBuffering ∷ IO a → IO a

  withNullTerminal ∷ (Terminal → IO a) → IO a

  withStdioTerminal ∷ (Terminal → IO a) → IO a

  within ∷ Testable prop ⇒ Int → prop → Property

Definitions