Safe Haskell	Trustworthy
Language	Haskell98

Lambdabot.Plugin.Haskell.Eval.Trusted

Documentation

module Math.OEIS

vector :: Arbitrary a => Int -> Gen [a] #

(==>) :: STestable prop => Bool -> prop -> SProperty #

data Fun a b #

Constructors

Fun (a :-> b, b, Shrunk) (a -> b)

Instances

Instances details

Functor (Fun a)
Instance details Defined in Test.QuickCheck.Function Methods fmap :: (a0 -> b) -> Fun a a0 -> Fun a b Source # (<$) :: a0 -> Fun a b -> Fun a a0 Source #
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (Fun a b)
Instance details Defined in Test.QuickCheck.Function Methods arbitrary :: Gen (Fun a b) # shrink :: Fun a b -> [Fun a b] #
(Show a, Show b) => Show (Fun a b)
Instance details Defined in Test.QuickCheck.Function Methods showsPrec :: Int -> Fun a b -> ShowS Source # show :: Fun a b -> String Source # showList :: [Fun a b] -> ShowS Source #

discard :: a #

data Gen a #

Instances

Instances details

Applicative Gen
Instance details Defined in Test.QuickCheck.Gen Methods pure :: a -> Gen a Source # (<>) :: Gen (a -> b) -> Gen a -> Gen b Source # liftA2 :: (a -> b -> c) -> Gen a -> Gen b -> Gen c Source # (>) :: Gen a -> Gen b -> Gen b Source # (<*) :: Gen a -> Gen b -> Gen a Source #
Functor Gen
Instance details Defined in Test.QuickCheck.Gen Methods fmap :: (a -> b) -> Gen a -> Gen b Source # (<$) :: a -> Gen b -> Gen a Source #
Monad Gen
Instance details Defined in Test.QuickCheck.Gen Methods (>>=) :: Gen a -> (a -> Gen b) -> Gen b Source # (>>) :: Gen a -> Gen b -> Gen b Source # return :: a -> Gen a Source #
MonadFix Gen
Instance details Defined in Test.QuickCheck.Gen Methods mfix :: (a -> Gen a) -> Gen a Source #
Testable prop => Testable (Gen prop)
Instance details Defined in Test.QuickCheck.Property Methods property :: Gen prop -> Property propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> Gen prop) -> Property
STestable prop => STestable (Gen prop)
Instance details Defined in Test.QuickCheck.Safe Methods sProperty :: Gen prop -> SProperty

variant :: Integral n => n -> Gen a -> Gen a #

sized :: (Int -> Gen a) -> Gen a #

getSize :: Gen Int #

resize :: HasCallStack => Int -> Gen a -> Gen a #

scale :: (Int -> Int) -> Gen a -> Gen a #

choose :: Random a => (a, a) -> Gen a #

chooseAny :: Random a => Gen a #

chooseEnum :: Enum a => (a, a) -> Gen a #

chooseInt :: (Int, Int) -> Gen Int #

chooseBoundedIntegral :: (Bounded a, Integral a) => (a, a) -> Gen a #

chooseInteger :: (Integer, Integer) -> Gen Integer #

generate :: Gen a -> IO a #

sample' :: Gen a -> IO [a] #

sample :: Show a => Gen a -> IO () #

suchThat :: Gen a -> (a -> Bool) -> Gen a #

suchThatMap :: Gen a -> (a -> Maybe b) -> Gen b #

suchThatMaybe :: Gen a -> (a -> Bool) -> Gen (Maybe a) #

oneof :: HasCallStack => [Gen a] -> Gen a #

frequency :: HasCallStack => [(Int, Gen a)] -> Gen a #

elements :: HasCallStack => [a] -> Gen a #

sublistOf :: [a] -> Gen [a] #

shuffle :: [a] -> Gen [a] #

growingElements :: HasCallStack => [a] -> Gen a #

listOf :: Gen a -> Gen [a] #

listOf1 :: Gen a -> Gen [a] #

vectorOf :: Int -> Gen a -> Gen [a] #

infiniteListOf :: Gen a -> Gen [a] #

class CoArbitrary a where #

Minimal complete definition

Nothing

Methods

coarbitrary :: a -> Gen b -> Gen b #

Instances

Instances details

CoArbitrary A
Instance details Defined in Test.QuickCheck.Poly Methods coarbitrary :: A -> Gen b -> Gen b #
CoArbitrary B
Instance details Defined in Test.QuickCheck.Poly Methods coarbitrary :: B -> Gen b -> Gen b #
CoArbitrary C
Instance details Defined in Test.QuickCheck.Poly Methods coarbitrary :: C -> Gen b -> Gen b #
CoArbitrary OrdA
Instance details Defined in Test.QuickCheck.Poly Methods coarbitrary :: OrdA -> Gen b -> Gen b #
CoArbitrary OrdB
Instance details Defined in Test.QuickCheck.Poly Methods coarbitrary :: OrdB -> Gen b -> Gen b #
CoArbitrary OrdC
Instance details Defined in Test.QuickCheck.Poly Methods coarbitrary :: OrdC -> Gen b -> Gen b #
CoArbitrary IntSet
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: IntSet -> Gen b -> Gen b #
CoArbitrary All
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: All -> Gen b -> Gen b #
CoArbitrary Any
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Any -> Gen b -> Gen b #
CoArbitrary Version
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Version -> Gen b -> Gen b #
CoArbitrary Newline
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Newline -> Gen b -> Gen b #
CoArbitrary NewlineMode
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: NewlineMode -> Gen b -> Gen b #
CoArbitrary Int16
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Int16 -> Gen b -> Gen b #
CoArbitrary Int32
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Int32 -> Gen b -> Gen b #
CoArbitrary Int64
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Int64 -> Gen b -> Gen b #
CoArbitrary Int8
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Int8 -> Gen b -> Gen b #
CoArbitrary Word16
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Word16 -> Gen b -> Gen b #
CoArbitrary Word32
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Word32 -> Gen b -> Gen b #
CoArbitrary Word64
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Word64 -> Gen b -> Gen b #
CoArbitrary Word8
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Word8 -> Gen b -> Gen b #
CoArbitrary Ordering
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Ordering -> Gen b -> Gen b #
CoArbitrary Integer
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Integer -> Gen b -> Gen b #
CoArbitrary ()
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: () -> Gen b -> Gen b #
CoArbitrary Bool
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Bool -> Gen b -> Gen b #
CoArbitrary Char
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Char -> Gen b -> Gen b #
CoArbitrary Double
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Double -> Gen b -> Gen b #
CoArbitrary Float
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Float -> Gen b -> Gen b #
CoArbitrary Int
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Int -> Gen b -> Gen b #
CoArbitrary Word
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Word -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Complex a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Complex a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (IntMap a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: IntMap a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Seq a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Seq a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Set a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Set a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Tree a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Tree a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Identity a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Identity a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (First a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: First a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Last a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Last a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Dual a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Dual a -> Gen b -> Gen b #
(Arbitrary a, CoArbitrary a) => CoArbitrary (Endo a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Endo a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Product a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Product a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Sum a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Sum a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (ZipList a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: ZipList a -> Gen b -> Gen b #
(Integral a, CoArbitrary a) => CoArbitrary (Ratio a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Ratio a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Maybe a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Maybe a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary [a]
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: [a] -> Gen b -> Gen b #
HasResolution a => CoArbitrary (Fixed a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Fixed a -> Gen b -> Gen b #
(CoArbitrary k, CoArbitrary v) => CoArbitrary (Map k v)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Map k v -> Gen b -> Gen b #
(CoArbitrary a, CoArbitrary b) => CoArbitrary (Either a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Either a b -> Gen b0 -> Gen b0 #
(CoArbitrary a, CoArbitrary b) => CoArbitrary (a, b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: (a, b) -> Gen b0 -> Gen b0 #
(Arbitrary a, CoArbitrary b) => CoArbitrary (a -> b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: (a -> b) -> Gen b0 -> Gen b0 #
CoArbitrary a => CoArbitrary (Const a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Const a b -> Gen b0 -> Gen b0 #
CoArbitrary (f a) => CoArbitrary (Alt f a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Alt f a -> Gen b -> Gen b #
CoArbitrary a => CoArbitrary (Constant a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: Constant a b -> Gen b0 -> Gen b0 #
(CoArbitrary a, CoArbitrary b, CoArbitrary c) => CoArbitrary (a, b, c)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: (a, b, c) -> Gen b0 -> Gen b0 #
(CoArbitrary a, CoArbitrary b, CoArbitrary c, CoArbitrary d) => CoArbitrary (a, b, c, d)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: (a, b, c, d) -> Gen b0 -> Gen b0 #
(CoArbitrary a, CoArbitrary b, CoArbitrary c, CoArbitrary d, CoArbitrary e) => CoArbitrary (a, b, c, d, e)
Instance details Defined in Test.QuickCheck.Arbitrary Methods coarbitrary :: (a, b, c, d, e) -> Gen b0 -> Gen b0 #

class Arbitrary2 (f :: Type -> Type -> Type) where #

Minimal complete definition

liftArbitrary2

Methods

liftArbitrary2 :: Gen a -> Gen b -> Gen (f a b) #

liftShrink2 :: (a -> [a]) -> (b -> [b]) -> f a b -> [f a b] #

Instances

Instances details

Arbitrary2 Either
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Either a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Either a b -> [Either a b] #
Arbitrary2 (,)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (a, b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> (a, b) -> [(a, b)] #
Arbitrary2 (Const :: Type -> Type -> Type)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Const a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Const a b -> [Const a b] #
Arbitrary2 (Constant :: Type -> Type -> Type)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary2 :: Gen a -> Gen b -> Gen (Constant a b) # liftShrink2 :: (a -> [a]) -> (b -> [b]) -> Constant a b -> [Constant a b] #

class Arbitrary1 (f :: Type -> Type) where #

Minimal complete definition

liftArbitrary

Methods

liftArbitrary :: Gen a -> Gen (f a) #

liftShrink :: (a -> [a]) -> f a -> [f a] #

Instances

Instances details

Arbitrary1 IntMap
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (IntMap a) # liftShrink :: (a -> [a]) -> IntMap a -> [IntMap a] #
Arbitrary1 Seq
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Seq a) # liftShrink :: (a -> [a]) -> Seq a -> [Seq a] #
Arbitrary1 Tree
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Tree a) # liftShrink :: (a -> [a]) -> Tree a -> [Tree a] #
Arbitrary1 Identity
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Identity a) # liftShrink :: (a -> [a]) -> Identity a -> [Identity a] #
Arbitrary1 ZipList
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (ZipList a) # liftShrink :: (a -> [a]) -> ZipList a -> [ZipList a] #
Arbitrary1 Maybe
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Maybe a) # liftShrink :: (a -> [a]) -> Maybe a -> [Maybe a] #
Arbitrary1 []
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen [a] # liftShrink :: (a -> [a]) -> [a] -> [[a]] #
(Ord k, Arbitrary k) => Arbitrary1 (Map k)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Map k a) # liftShrink :: (a -> [a]) -> Map k a -> [Map k a] #
Arbitrary a => Arbitrary1 (Either a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a0 -> Gen (Either a a0) # liftShrink :: (a0 -> [a0]) -> Either a a0 -> [Either a a0] #
Arbitrary a => Arbitrary1 ((,) a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a0 -> Gen (a, a0) # liftShrink :: (a0 -> [a0]) -> (a, a0) -> [(a, a0)] #
Arbitrary a => Arbitrary1 (Const a :: Type -> Type)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a0 -> Gen (Const a a0) # liftShrink :: (a0 -> [a0]) -> Const a a0 -> [Const a a0] #
Arbitrary a => Arbitrary1 (Constant a :: Type -> Type)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a0 -> Gen (Constant a a0) # liftShrink :: (a0 -> [a0]) -> Constant a a0 -> [Constant a a0] #
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Product f g)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Product f g a) # liftShrink :: (a -> [a]) -> Product f g a -> [Product f g a] #
CoArbitrary a => Arbitrary1 ((->) a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a0 -> Gen (a -> a0) # liftShrink :: (a0 -> [a0]) -> (a -> a0) -> [a -> a0] #
(Arbitrary1 f, Arbitrary1 g) => Arbitrary1 (Compose f g)
Instance details Defined in Test.QuickCheck.Arbitrary Methods liftArbitrary :: Gen a -> Gen (Compose f g a) # liftShrink :: (a -> [a]) -> Compose f g a -> [Compose f g a] #

class Arbitrary a where #

Minimal complete definition

arbitrary

Methods

arbitrary :: Gen a #

shrink :: a -> [a] #

Instances

Instances details

Arbitrary ASCIIString
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen ASCIIString # shrink :: ASCIIString -> [ASCIIString] #
Arbitrary PrintableString
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen PrintableString # shrink :: PrintableString -> [PrintableString] #
Arbitrary UnicodeString
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen UnicodeString # shrink :: UnicodeString -> [UnicodeString] #
Arbitrary A
Instance details Defined in Test.QuickCheck.Poly Methods arbitrary :: Gen A # shrink :: A -> [A] #
Arbitrary B
Instance details Defined in Test.QuickCheck.Poly Methods arbitrary :: Gen B # shrink :: B -> [B] #
Arbitrary C
Instance details Defined in Test.QuickCheck.Poly Methods arbitrary :: Gen C # shrink :: C -> [C] #
Arbitrary OrdA
Instance details Defined in Test.QuickCheck.Poly Methods arbitrary :: Gen OrdA # shrink :: OrdA -> [OrdA] #
Arbitrary OrdB
Instance details Defined in Test.QuickCheck.Poly Methods arbitrary :: Gen OrdB # shrink :: OrdB -> [OrdB] #
Arbitrary OrdC
Instance details Defined in Test.QuickCheck.Poly Methods arbitrary :: Gen OrdC # shrink :: OrdC -> [OrdC] #
Arbitrary QCGen
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen QCGen # shrink :: QCGen -> [QCGen] #
Arbitrary IntSet
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen IntSet # shrink :: IntSet -> [IntSet] #
Arbitrary All
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen All # shrink :: All -> [All] #
Arbitrary Any
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Any # shrink :: Any -> [Any] #
Arbitrary Version
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Version # shrink :: Version -> [Version] #
Arbitrary CChar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CChar # shrink :: CChar -> [CChar] #
Arbitrary CClock
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CClock # shrink :: CClock -> [CClock] #
Arbitrary CDouble
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CDouble # shrink :: CDouble -> [CDouble] #
Arbitrary CFloat
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CFloat # shrink :: CFloat -> [CFloat] #
Arbitrary CInt
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CInt # shrink :: CInt -> [CInt] #
Arbitrary CIntMax
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CIntMax # shrink :: CIntMax -> [CIntMax] #
Arbitrary CIntPtr
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CIntPtr # shrink :: CIntPtr -> [CIntPtr] #
Arbitrary CLLong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CLLong # shrink :: CLLong -> [CLLong] #
Arbitrary CLong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CLong # shrink :: CLong -> [CLong] #
Arbitrary CPtrdiff
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CPtrdiff # shrink :: CPtrdiff -> [CPtrdiff] #
Arbitrary CSChar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSChar # shrink :: CSChar -> [CSChar] #
Arbitrary CSUSeconds
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSUSeconds # shrink :: CSUSeconds -> [CSUSeconds] #
Arbitrary CShort
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CShort # shrink :: CShort -> [CShort] #
Arbitrary CSigAtomic
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSigAtomic # shrink :: CSigAtomic -> [CSigAtomic] #
Arbitrary CSize
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CSize # shrink :: CSize -> [CSize] #
Arbitrary CTime
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CTime # shrink :: CTime -> [CTime] #
Arbitrary CUChar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUChar # shrink :: CUChar -> [CUChar] #
Arbitrary CUInt
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUInt # shrink :: CUInt -> [CUInt] #
Arbitrary CUIntMax
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUIntMax # shrink :: CUIntMax -> [CUIntMax] #
Arbitrary CUIntPtr
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUIntPtr # shrink :: CUIntPtr -> [CUIntPtr] #
Arbitrary CULLong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CULLong # shrink :: CULLong -> [CULLong] #
Arbitrary CULong
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CULong # shrink :: CULong -> [CULong] #
Arbitrary CUSeconds
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUSeconds # shrink :: CUSeconds -> [CUSeconds] #
Arbitrary CUShort
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CUShort # shrink :: CUShort -> [CUShort] #
Arbitrary CWchar
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen CWchar # shrink :: CWchar -> [CWchar] #
Arbitrary ExitCode
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen ExitCode # shrink :: ExitCode -> [ExitCode] #
Arbitrary Newline
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Newline # shrink :: Newline -> [Newline] #
Arbitrary NewlineMode
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen NewlineMode # shrink :: NewlineMode -> [NewlineMode] #
Arbitrary Int16
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int16 # shrink :: Int16 -> [Int16] #
Arbitrary Int32
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int32 # shrink :: Int32 -> [Int32] #
Arbitrary Int64
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int64 # shrink :: Int64 -> [Int64] #
Arbitrary Int8
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int8 # shrink :: Int8 -> [Int8] #
Arbitrary Word16
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word16 # shrink :: Word16 -> [Word16] #
Arbitrary Word32
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word32 # shrink :: Word32 -> [Word32] #
Arbitrary Word64
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word64 # shrink :: Word64 -> [Word64] #
Arbitrary Word8
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word8 # shrink :: Word8 -> [Word8] #
Arbitrary Ordering
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Ordering # shrink :: Ordering -> [Ordering] #
Arbitrary Integer
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Integer # shrink :: Integer -> [Integer] #
Arbitrary ()
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen () # shrink :: () -> [()] #
Arbitrary Bool
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Bool # shrink :: Bool -> [Bool] #
Arbitrary Char
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Char # shrink :: Char -> [Char] #
Arbitrary Double
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Double # shrink :: Double -> [Double] #
Arbitrary Float
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Float # shrink :: Float -> [Float] #
Arbitrary Int
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Int # shrink :: Int -> [Int] #
Arbitrary Word
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen Word # shrink :: Word -> [Word] #
Arbitrary a => Arbitrary (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Blind a) # shrink :: Blind a -> [Blind a] #
Arbitrary a => Arbitrary (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Fixed a) # shrink :: Fixed a -> [Fixed a] #
Arbitrary a => Arbitrary (InfiniteList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (InfiniteList a) # shrink :: InfiniteList a -> [InfiniteList a] #
Arbitrary a => Arbitrary (InfiniteListInternalData a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (InfiniteListInternalData a) # shrink :: InfiniteListInternalData a -> [InfiniteListInternalData a] #
(Integral a, Bounded a) => Arbitrary (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Large a) # shrink :: Large a -> [Large a] #
(Num a, Ord a, Arbitrary a) => Arbitrary (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Negative a) # shrink :: Negative a -> [Negative a] #
Arbitrary a => Arbitrary (NonEmptyList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonEmptyList a) # shrink :: NonEmptyList a -> [NonEmptyList a] #
(Num a, Ord a, Arbitrary a) => Arbitrary (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonNegative a) # shrink :: NonNegative a -> [NonNegative a] #
(Num a, Ord a, Arbitrary a) => Arbitrary (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonPositive a) # shrink :: NonPositive a -> [NonPositive a] #
(Num a, Eq a, Arbitrary a) => Arbitrary (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonZero a) # shrink :: NonZero a -> [NonZero a] #
(Ord a, Arbitrary a) => Arbitrary (OrderedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (OrderedList a) # shrink :: OrderedList a -> [OrderedList a] #
(Num a, Ord a, Arbitrary a) => Arbitrary (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Positive a) # shrink :: Positive a -> [Positive a] #
Arbitrary a => Arbitrary (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Shrink2 a) # shrink :: Shrink2 a -> [Shrink2 a] #
Integral a => Arbitrary (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Small a) # shrink :: Small a -> [Small a] #
Arbitrary a => Arbitrary (Smart a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Smart a) # shrink :: Smart a -> [Smart a] #
(Arbitrary a, Ord a) => Arbitrary (SortedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (SortedList a) # shrink :: SortedList a -> [SortedList a] #
Arbitrary a => Arbitrary (Complex a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Complex a) # shrink :: Complex a -> [Complex a] #
Arbitrary a => Arbitrary (IntMap a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (IntMap a) # shrink :: IntMap a -> [IntMap a] #
Arbitrary a => Arbitrary (Seq a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Seq a) # shrink :: Seq a -> [Seq a] #
(Ord a, Arbitrary a) => Arbitrary (Set a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Set a) # shrink :: Set a -> [Set a] #
Arbitrary a => Arbitrary (Tree a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Tree a) # shrink :: Tree a -> [Tree a] #
Arbitrary a => Arbitrary (Identity a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Identity a) # shrink :: Identity a -> [Identity a] #
Arbitrary a => Arbitrary (First a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (First a) # shrink :: First a -> [First a] #
Arbitrary a => Arbitrary (Last a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Last a) # shrink :: Last a -> [Last a] #
Arbitrary a => Arbitrary (Dual a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Dual a) # shrink :: Dual a -> [Dual a] #
(Arbitrary a, CoArbitrary a) => Arbitrary (Endo a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Endo a) # shrink :: Endo a -> [Endo a] #
Arbitrary a => Arbitrary (Product a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Product a) # shrink :: Product a -> [Product a] #
Arbitrary a => Arbitrary (Sum a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Sum a) # shrink :: Sum a -> [Sum a] #
Arbitrary a => Arbitrary (ZipList a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (ZipList a) # shrink :: ZipList a -> [ZipList a] #
Integral a => Arbitrary (Ratio a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Ratio a) # shrink :: Ratio a -> [Ratio a] #
Arbitrary a => Arbitrary (Maybe a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Maybe a) # shrink :: Maybe a -> [Maybe a] #
Arbitrary a => Arbitrary [a]
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen [a] # shrink :: [a] -> [[a]] #
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (a :-> b)
Instance details Defined in Test.QuickCheck.Function Methods arbitrary :: Gen (a :-> b) # shrink :: (a :-> b) -> [a :-> b] #
(Function a, CoArbitrary a, Arbitrary b) => Arbitrary (Fun a b)
Instance details Defined in Test.QuickCheck.Function Methods arbitrary :: Gen (Fun a b) # shrink :: Fun a b -> [Fun a b] #
(Arbitrary a, ShrinkState s a) => Arbitrary (Shrinking s a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Shrinking s a) # shrink :: Shrinking s a -> [Shrinking s a] #
Arbitrary (m a) => Arbitrary (WrappedMonad m a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (WrappedMonad m a) # shrink :: WrappedMonad m a -> [WrappedMonad m a] #
HasResolution a => Arbitrary (Fixed a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Fixed a) # shrink :: Fixed a -> [Fixed a] #
(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Map k v) # shrink :: Map k v -> [Map k v] #
(Arbitrary a, Arbitrary b) => Arbitrary (Either a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Either a b) # shrink :: Either a b -> [Either a b] #
(Arbitrary a, Arbitrary b) => Arbitrary (a, b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b) # shrink :: (a, b) -> [(a, b)] #
(CoArbitrary a, Arbitrary b) => Arbitrary (a -> b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a -> b) # shrink :: (a -> b) -> [a -> b] #
Arbitrary (a b c) => Arbitrary (WrappedArrow a b c)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (WrappedArrow a b c) # shrink :: WrappedArrow a b c -> [WrappedArrow a b c] #
Arbitrary a => Arbitrary (Const a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Const a b) # shrink :: Const a b -> [Const a b] #
Arbitrary (f a) => Arbitrary (Alt f a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Alt f a) # shrink :: Alt f a -> [Alt f a] #
Arbitrary a => Arbitrary (Constant a b)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Constant a b) # shrink :: Constant a b -> [Constant a b] #
(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c) # shrink :: (a, b, c) -> [(a, b, c)] #
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Product f g a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Product f g a) # shrink :: Product f g a -> [Product f g a] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d) # shrink :: (a, b, c, d) -> [(a, b, c, d)] #
(Arbitrary1 f, Arbitrary1 g, Arbitrary a) => Arbitrary (Compose f g a)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (Compose f g a) # shrink :: Compose f g a -> [Compose f g a] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (a, b, c, d, e)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e) # shrink :: (a, b, c, d, e) -> [(a, b, c, d, e)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (a, b, c, d, e, f)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f) # shrink :: (a, b, c, d, e, f) -> [(a, b, c, d, e, f)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (a, b, c, d, e, f, g)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g) # shrink :: (a, b, c, d, e, f, g) -> [(a, b, c, d, e, f, g)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => Arbitrary (a, b, c, d, e, f, g, h)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g, h) # shrink :: (a, b, c, d, e, f, g, h) -> [(a, b, c, d, e, f, g, h)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => Arbitrary (a, b, c, d, e, f, g, h, i)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g, h, i) # shrink :: (a, b, c, d, e, f, g, h, i) -> [(a, b, c, d, e, f, g, h, i)] #
(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => Arbitrary (a, b, c, d, e, f, g, h, i, j)
Instance details Defined in Test.QuickCheck.Arbitrary Methods arbitrary :: Gen (a, b, c, d, e, f, g, h, i, j) # shrink :: (a, b, c, d, e, f, g, h, i, j) -> [(a, b, c, d, e, f, g, h, i, j)] #

arbitrary1 :: (Arbitrary1 f, Arbitrary a) => Gen (f a) #

shrink1 :: (Arbitrary1 f, Arbitrary a) => f a -> [f a] #

arbitrary2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => Gen (f a b) #

shrink2 :: (Arbitrary2 f, Arbitrary a, Arbitrary b) => f a b -> [f a b] #

genericShrink :: (Generic a, RecursivelyShrink (Rep a), GSubterms (Rep a) a) => a -> [a] #

recursivelyShrink :: (Generic a, RecursivelyShrink (Rep a)) => a -> [a] #

subterms :: (Generic a, GSubterms (Rep a) a) => a -> [a] #

shrinkList :: (a -> [a]) -> [a] -> [[a]] #

applyArbitrary2 :: (Arbitrary a, Arbitrary b) => (a -> b -> r) -> Gen r #

applyArbitrary3 :: (Arbitrary a, Arbitrary b, Arbitrary c) => (a -> b -> c -> r) -> Gen r #

applyArbitrary4 :: (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => (a -> b -> c -> d -> r) -> Gen r #

arbitrarySizedIntegral :: Integral a => Gen a #

arbitrarySizedNatural :: Integral a => Gen a #

arbitrarySizedFractional :: Fractional a => Gen a #

arbitraryBoundedIntegral :: (Bounded a, Integral a) => Gen a #

arbitraryBoundedRandom :: (Bounded a, Random a) => Gen a #

arbitraryBoundedEnum :: (Bounded a, Enum a) => Gen a #

arbitrarySizedBoundedIntegral :: (Bounded a, Integral a) => Gen a #

arbitraryUnicodeChar :: Gen Char #

arbitraryASCIIChar :: Gen Char #

arbitraryPrintableChar :: Gen Char #

shrinkNothing :: a -> [a] #

shrinkMap :: Arbitrary a => (a -> b) -> (b -> a) -> b -> [b] #

shrinkMapBy :: (a -> b) -> (b -> a) -> (a -> [a]) -> b -> [b] #

shrinkIntegral :: Integral a => a -> [a] #

shrinkBoundedEnum :: (Bounded a, Enum a, Eq a) => a -> [a] #

shrinkRealFrac :: RealFrac a => a -> [a] #

shrinkDecimal :: RealFrac a => a -> [a] #

genericCoarbitrary :: (Generic a, GCoArbitrary (Rep a)) => a -> Gen b -> Gen b #

(><) :: (Gen a -> Gen a) -> (Gen a -> Gen a) -> Gen a -> Gen a #

coarbitraryIntegral :: Integral a => a -> Gen b -> Gen b #

coarbitraryReal :: Real a => a -> Gen b -> Gen b #

coarbitraryShow :: Show a => a -> Gen b -> Gen b #

coarbitraryEnum :: Enum a => a -> Gen b -> Gen b #

orderedList :: (Ord a, Arbitrary a) => Gen [a] #

infiniteList :: Arbitrary a => Gen [a] #

newtype PrintableString #

Constructors

PrintableString
Fields getPrintableString :: String

Instances

Instances details

Arbitrary PrintableString
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen PrintableString # shrink :: PrintableString -> [PrintableString] #
Read PrintableString
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS PrintableString Source # readList :: ReadS [PrintableString] Source # readPrec :: ReadPrec PrintableString Source # readListPrec :: ReadPrec [PrintableString] Source #
Show PrintableString
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> PrintableString -> ShowS Source # show :: PrintableString -> String Source # showList :: [PrintableString] -> ShowS Source #
Eq PrintableString
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: PrintableString -> PrintableString -> Bool Source # (/=) :: PrintableString -> PrintableString -> Bool Source #
Ord PrintableString
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: PrintableString -> PrintableString -> Ordering Source # (<) :: PrintableString -> PrintableString -> Bool Source # (<=) :: PrintableString -> PrintableString -> Bool Source # (>) :: PrintableString -> PrintableString -> Bool Source # (>=) :: PrintableString -> PrintableString -> Bool Source # max :: PrintableString -> PrintableString -> PrintableString Source # min :: PrintableString -> PrintableString -> PrintableString Source #

newtype UnicodeString #

Constructors

UnicodeString
Fields getUnicodeString :: String

Instances

Instances details

Arbitrary UnicodeString
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen UnicodeString # shrink :: UnicodeString -> [UnicodeString] #
Read UnicodeString
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS UnicodeString Source # readList :: ReadS [UnicodeString] Source # readPrec :: ReadPrec UnicodeString Source # readListPrec :: ReadPrec [UnicodeString] Source #
Show UnicodeString
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> UnicodeString -> ShowS Source # show :: UnicodeString -> String Source # showList :: [UnicodeString] -> ShowS Source #
Eq UnicodeString
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: UnicodeString -> UnicodeString -> Bool Source # (/=) :: UnicodeString -> UnicodeString -> Bool Source #
Ord UnicodeString
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: UnicodeString -> UnicodeString -> Ordering Source # (<) :: UnicodeString -> UnicodeString -> Bool Source # (<=) :: UnicodeString -> UnicodeString -> Bool Source # (>) :: UnicodeString -> UnicodeString -> Bool Source # (>=) :: UnicodeString -> UnicodeString -> Bool Source # max :: UnicodeString -> UnicodeString -> UnicodeString Source # min :: UnicodeString -> UnicodeString -> UnicodeString Source #

newtype ASCIIString #

Constructors

ASCIIString
Fields getASCIIString :: String

Instances

Instances details

Arbitrary ASCIIString
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen ASCIIString # shrink :: ASCIIString -> [ASCIIString] #
Read ASCIIString
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS ASCIIString Source # readList :: ReadS [ASCIIString] Source # readPrec :: ReadPrec ASCIIString Source # readListPrec :: ReadPrec [ASCIIString] Source #
Show ASCIIString
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> ASCIIString -> ShowS Source # show :: ASCIIString -> String Source # showList :: [ASCIIString] -> ShowS Source #
Eq ASCIIString
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: ASCIIString -> ASCIIString -> Bool Source # (/=) :: ASCIIString -> ASCIIString -> Bool Source #
Ord ASCIIString
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: ASCIIString -> ASCIIString -> Ordering Source # (<) :: ASCIIString -> ASCIIString -> Bool Source # (<=) :: ASCIIString -> ASCIIString -> Bool Source # (>) :: ASCIIString -> ASCIIString -> Bool Source # (>=) :: ASCIIString -> ASCIIString -> Bool Source # max :: ASCIIString -> ASCIIString -> ASCIIString Source # min :: ASCIIString -> ASCIIString -> ASCIIString Source #

class ShrinkState s a where #

Methods

shrinkInit :: a -> s #

shrinkState :: a -> s -> [(a, s)] #

data Shrinking s a #

Constructors

Shrinking s a

Instances

Instances details

Functor (Shrinking s)
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Shrinking s a -> Shrinking s b Source # (<$) :: a -> Shrinking s b -> Shrinking s a Source #
(Arbitrary a, ShrinkState s a) => Arbitrary (Shrinking s a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Shrinking s a) # shrink :: Shrinking s a -> [Shrinking s a] #
Show a => Show (Shrinking s a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Shrinking s a -> ShowS Source # show :: Shrinking s a -> String Source # showList :: [Shrinking s a] -> ShowS Source #

data Smart a #

Constructors

Smart Int a

Instances

Instances details

Functor Smart
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Smart a -> Smart b Source # (<$) :: a -> Smart b -> Smart a Source #
Arbitrary a => Arbitrary (Smart a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Smart a) # shrink :: Smart a -> [Smart a] #
Show a => Show (Smart a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Smart a -> ShowS Source # show :: Smart a -> String Source # showList :: [Smart a] -> ShowS Source #

newtype Shrink2 a #

Constructors

Shrink2
Fields getShrink2 :: a

Instances

Instances details

Functor Shrink2
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Shrink2 a -> Shrink2 b Source # (<$) :: a -> Shrink2 b -> Shrink2 a Source #
Arbitrary a => Arbitrary (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Shrink2 a) # shrink :: Shrink2 a -> [Shrink2 a] #
Enum a => Enum (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Shrink2 a -> Shrink2 a Source # pred :: Shrink2 a -> Shrink2 a Source # toEnum :: Int -> Shrink2 a Source # fromEnum :: Shrink2 a -> Int Source # enumFrom :: Shrink2 a -> [Shrink2 a] Source # enumFromThen :: Shrink2 a -> Shrink2 a -> [Shrink2 a] Source # enumFromTo :: Shrink2 a -> Shrink2 a -> [Shrink2 a] Source # enumFromThenTo :: Shrink2 a -> Shrink2 a -> Shrink2 a -> [Shrink2 a] Source #
Num a => Num (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (+) :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # (-) :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # (*) :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # negate :: Shrink2 a -> Shrink2 a Source # abs :: Shrink2 a -> Shrink2 a Source # signum :: Shrink2 a -> Shrink2 a Source # fromInteger :: Integer -> Shrink2 a Source #
Read a => Read (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (Shrink2 a) Source # readList :: ReadS [Shrink2 a] Source # readPrec :: ReadPrec (Shrink2 a) Source # readListPrec :: ReadPrec [Shrink2 a] Source #
Integral a => Integral (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods quot :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # rem :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # div :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # mod :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # quotRem :: Shrink2 a -> Shrink2 a -> (Shrink2 a, Shrink2 a) Source # divMod :: Shrink2 a -> Shrink2 a -> (Shrink2 a, Shrink2 a) Source # toInteger :: Shrink2 a -> Integer Source #
Real a => Real (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods toRational :: Shrink2 a -> Rational Source #
Show a => Show (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Shrink2 a -> ShowS Source # show :: Shrink2 a -> String Source # showList :: [Shrink2 a] -> ShowS Source #
Eq a => Eq (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Shrink2 a -> Shrink2 a -> Bool Source # (/=) :: Shrink2 a -> Shrink2 a -> Bool Source #
Ord a => Ord (Shrink2 a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Shrink2 a -> Shrink2 a -> Ordering Source # (<) :: Shrink2 a -> Shrink2 a -> Bool Source # (<=) :: Shrink2 a -> Shrink2 a -> Bool Source # (>) :: Shrink2 a -> Shrink2 a -> Bool Source # (>=) :: Shrink2 a -> Shrink2 a -> Bool Source # max :: Shrink2 a -> Shrink2 a -> Shrink2 a Source # min :: Shrink2 a -> Shrink2 a -> Shrink2 a Source #

newtype Small a #

Constructors

Small
Fields getSmall :: a

Instances

Instances details

Functor Small
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Small a -> Small b Source # (<$) :: a -> Small b -> Small a Source #
Integral a => Arbitrary (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Small a) # shrink :: Small a -> [Small a] #
Enum a => Enum (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Small a -> Small a Source # pred :: Small a -> Small a Source # toEnum :: Int -> Small a Source # fromEnum :: Small a -> Int Source # enumFrom :: Small a -> [Small a] Source # enumFromThen :: Small a -> Small a -> [Small a] Source # enumFromTo :: Small a -> Small a -> [Small a] Source # enumFromThenTo :: Small a -> Small a -> Small a -> [Small a] Source #
Ix a => Ix (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods range :: (Small a, Small a) -> [Small a] Source # index :: (Small a, Small a) -> Small a -> Int Source # unsafeIndex :: (Small a, Small a) -> Small a -> Int Source # inRange :: (Small a, Small a) -> Small a -> Bool Source # rangeSize :: (Small a, Small a) -> Int Source # unsafeRangeSize :: (Small a, Small a) -> Int Source #
Num a => Num (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (+) :: Small a -> Small a -> Small a Source # (-) :: Small a -> Small a -> Small a Source # (*) :: Small a -> Small a -> Small a Source # negate :: Small a -> Small a Source # abs :: Small a -> Small a Source # signum :: Small a -> Small a Source # fromInteger :: Integer -> Small a Source #
Read a => Read (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (Small a) Source # readList :: ReadS [Small a] Source # readPrec :: ReadPrec (Small a) Source # readListPrec :: ReadPrec [Small a] Source #
Integral a => Integral (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods quot :: Small a -> Small a -> Small a Source # rem :: Small a -> Small a -> Small a Source # div :: Small a -> Small a -> Small a Source # mod :: Small a -> Small a -> Small a Source # quotRem :: Small a -> Small a -> (Small a, Small a) Source # divMod :: Small a -> Small a -> (Small a, Small a) Source # toInteger :: Small a -> Integer Source #
Real a => Real (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods toRational :: Small a -> Rational Source #
Show a => Show (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Small a -> ShowS Source # show :: Small a -> String Source # showList :: [Small a] -> ShowS Source #
Eq a => Eq (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Small a -> Small a -> Bool Source # (/=) :: Small a -> Small a -> Bool Source #
Ord a => Ord (Small a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Small a -> Small a -> Ordering Source # (<) :: Small a -> Small a -> Bool Source # (<=) :: Small a -> Small a -> Bool Source # (>) :: Small a -> Small a -> Bool Source # (>=) :: Small a -> Small a -> Bool Source # max :: Small a -> Small a -> Small a Source # min :: Small a -> Small a -> Small a Source #

newtype Large a #

Constructors

Large
Fields getLarge :: a

Instances

Instances details

Functor Large
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Large a -> Large b Source # (<$) :: a -> Large b -> Large a Source #
(Integral a, Bounded a) => Arbitrary (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Large a) # shrink :: Large a -> [Large a] #
Enum a => Enum (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Large a -> Large a Source # pred :: Large a -> Large a Source # toEnum :: Int -> Large a Source # fromEnum :: Large a -> Int Source # enumFrom :: Large a -> [Large a] Source # enumFromThen :: Large a -> Large a -> [Large a] Source # enumFromTo :: Large a -> Large a -> [Large a] Source # enumFromThenTo :: Large a -> Large a -> Large a -> [Large a] Source #
Ix a => Ix (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods range :: (Large a, Large a) -> [Large a] Source # index :: (Large a, Large a) -> Large a -> Int Source # unsafeIndex :: (Large a, Large a) -> Large a -> Int Source # inRange :: (Large a, Large a) -> Large a -> Bool Source # rangeSize :: (Large a, Large a) -> Int Source # unsafeRangeSize :: (Large a, Large a) -> Int Source #
Num a => Num (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (+) :: Large a -> Large a -> Large a Source # (-) :: Large a -> Large a -> Large a Source # (*) :: Large a -> Large a -> Large a Source # negate :: Large a -> Large a Source # abs :: Large a -> Large a Source # signum :: Large a -> Large a Source # fromInteger :: Integer -> Large a Source #
Read a => Read (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (Large a) Source # readList :: ReadS [Large a] Source # readPrec :: ReadPrec (Large a) Source # readListPrec :: ReadPrec [Large a] Source #
Integral a => Integral (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods quot :: Large a -> Large a -> Large a Source # rem :: Large a -> Large a -> Large a Source # div :: Large a -> Large a -> Large a Source # mod :: Large a -> Large a -> Large a Source # quotRem :: Large a -> Large a -> (Large a, Large a) Source # divMod :: Large a -> Large a -> (Large a, Large a) Source # toInteger :: Large a -> Integer Source #
Real a => Real (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods toRational :: Large a -> Rational Source #
Show a => Show (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Large a -> ShowS Source # show :: Large a -> String Source # showList :: [Large a] -> ShowS Source #
Eq a => Eq (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Large a -> Large a -> Bool Source # (/=) :: Large a -> Large a -> Bool Source #
Ord a => Ord (Large a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Large a -> Large a -> Ordering Source # (<) :: Large a -> Large a -> Bool Source # (<=) :: Large a -> Large a -> Bool Source # (>) :: Large a -> Large a -> Bool Source # (>=) :: Large a -> Large a -> Bool Source # max :: Large a -> Large a -> Large a Source # min :: Large a -> Large a -> Large a Source #

newtype NonPositive a #

Constructors

NonPositive
Fields getNonPositive :: a

Instances

Instances details

Functor NonPositive
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> NonPositive a -> NonPositive b Source # (<$) :: a -> NonPositive b -> NonPositive a Source #
(Num a, Ord a, Arbitrary a) => Arbitrary (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonPositive a) # shrink :: NonPositive a -> [NonPositive a] #
Enum a => Enum (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: NonPositive a -> NonPositive a Source # pred :: NonPositive a -> NonPositive a Source # toEnum :: Int -> NonPositive a Source # fromEnum :: NonPositive a -> Int Source # enumFrom :: NonPositive a -> [NonPositive a] Source # enumFromThen :: NonPositive a -> NonPositive a -> [NonPositive a] Source # enumFromTo :: NonPositive a -> NonPositive a -> [NonPositive a] Source # enumFromThenTo :: NonPositive a -> NonPositive a -> NonPositive a -> [NonPositive a] Source #
Read a => Read (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (NonPositive a) Source # readList :: ReadS [NonPositive a] Source # readPrec :: ReadPrec (NonPositive a) Source # readListPrec :: ReadPrec [NonPositive a] Source #
Show a => Show (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonPositive a -> ShowS Source # show :: NonPositive a -> String Source # showList :: [NonPositive a] -> ShowS Source #
Eq a => Eq (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: NonPositive a -> NonPositive a -> Bool Source # (/=) :: NonPositive a -> NonPositive a -> Bool Source #
Ord a => Ord (NonPositive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: NonPositive a -> NonPositive a -> Ordering Source # (<) :: NonPositive a -> NonPositive a -> Bool Source # (<=) :: NonPositive a -> NonPositive a -> Bool Source # (>) :: NonPositive a -> NonPositive a -> Bool Source # (>=) :: NonPositive a -> NonPositive a -> Bool Source # max :: NonPositive a -> NonPositive a -> NonPositive a Source # min :: NonPositive a -> NonPositive a -> NonPositive a Source #

newtype NonNegative a #

Constructors

NonNegative
Fields getNonNegative :: a

Instances

Instances details

Functor NonNegative
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> NonNegative a -> NonNegative b Source # (<$) :: a -> NonNegative b -> NonNegative a Source #
(Num a, Ord a, Arbitrary a) => Arbitrary (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonNegative a) # shrink :: NonNegative a -> [NonNegative a] #
Enum a => Enum (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: NonNegative a -> NonNegative a Source # pred :: NonNegative a -> NonNegative a Source # toEnum :: Int -> NonNegative a Source # fromEnum :: NonNegative a -> Int Source # enumFrom :: NonNegative a -> [NonNegative a] Source # enumFromThen :: NonNegative a -> NonNegative a -> [NonNegative a] Source # enumFromTo :: NonNegative a -> NonNegative a -> [NonNegative a] Source # enumFromThenTo :: NonNegative a -> NonNegative a -> NonNegative a -> [NonNegative a] Source #
Read a => Read (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (NonNegative a) Source # readList :: ReadS [NonNegative a] Source # readPrec :: ReadPrec (NonNegative a) Source # readListPrec :: ReadPrec [NonNegative a] Source #
Show a => Show (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonNegative a -> ShowS Source # show :: NonNegative a -> String Source # showList :: [NonNegative a] -> ShowS Source #
Eq a => Eq (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: NonNegative a -> NonNegative a -> Bool Source # (/=) :: NonNegative a -> NonNegative a -> Bool Source #
Ord a => Ord (NonNegative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: NonNegative a -> NonNegative a -> Ordering Source # (<) :: NonNegative a -> NonNegative a -> Bool Source # (<=) :: NonNegative a -> NonNegative a -> Bool Source # (>) :: NonNegative a -> NonNegative a -> Bool Source # (>=) :: NonNegative a -> NonNegative a -> Bool Source # max :: NonNegative a -> NonNegative a -> NonNegative a Source # min :: NonNegative a -> NonNegative a -> NonNegative a Source #

newtype NonZero a #

Constructors

NonZero
Fields getNonZero :: a

Instances

Instances details

Functor NonZero
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> NonZero a -> NonZero b Source # (<$) :: a -> NonZero b -> NonZero a Source #
(Num a, Eq a, Arbitrary a) => Arbitrary (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonZero a) # shrink :: NonZero a -> [NonZero a] #
Enum a => Enum (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: NonZero a -> NonZero a Source # pred :: NonZero a -> NonZero a Source # toEnum :: Int -> NonZero a Source # fromEnum :: NonZero a -> Int Source # enumFrom :: NonZero a -> [NonZero a] Source # enumFromThen :: NonZero a -> NonZero a -> [NonZero a] Source # enumFromTo :: NonZero a -> NonZero a -> [NonZero a] Source # enumFromThenTo :: NonZero a -> NonZero a -> NonZero a -> [NonZero a] Source #
Read a => Read (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (NonZero a) Source # readList :: ReadS [NonZero a] Source # readPrec :: ReadPrec (NonZero a) Source # readListPrec :: ReadPrec [NonZero a] Source #
Show a => Show (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonZero a -> ShowS Source # show :: NonZero a -> String Source # showList :: [NonZero a] -> ShowS Source #
Eq a => Eq (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: NonZero a -> NonZero a -> Bool Source # (/=) :: NonZero a -> NonZero a -> Bool Source #
Ord a => Ord (NonZero a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: NonZero a -> NonZero a -> Ordering Source # (<) :: NonZero a -> NonZero a -> Bool Source # (<=) :: NonZero a -> NonZero a -> Bool Source # (>) :: NonZero a -> NonZero a -> Bool Source # (>=) :: NonZero a -> NonZero a -> Bool Source # max :: NonZero a -> NonZero a -> NonZero a Source # min :: NonZero a -> NonZero a -> NonZero a Source #

newtype Negative a #

Constructors

Negative
Fields getNegative :: a

Instances

Instances details

Functor Negative
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Negative a -> Negative b Source # (<$) :: a -> Negative b -> Negative a Source #
(Num a, Ord a, Arbitrary a) => Arbitrary (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Negative a) # shrink :: Negative a -> [Negative a] #
Enum a => Enum (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Negative a -> Negative a Source # pred :: Negative a -> Negative a Source # toEnum :: Int -> Negative a Source # fromEnum :: Negative a -> Int Source # enumFrom :: Negative a -> [Negative a] Source # enumFromThen :: Negative a -> Negative a -> [Negative a] Source # enumFromTo :: Negative a -> Negative a -> [Negative a] Source # enumFromThenTo :: Negative a -> Negative a -> Negative a -> [Negative a] Source #
Read a => Read (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (Negative a) Source # readList :: ReadS [Negative a] Source # readPrec :: ReadPrec (Negative a) Source # readListPrec :: ReadPrec [Negative a] Source #
Show a => Show (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Negative a -> ShowS Source # show :: Negative a -> String Source # showList :: [Negative a] -> ShowS Source #
Eq a => Eq (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Negative a -> Negative a -> Bool Source # (/=) :: Negative a -> Negative a -> Bool Source #
Ord a => Ord (Negative a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Negative a -> Negative a -> Ordering Source # (<) :: Negative a -> Negative a -> Bool Source # (<=) :: Negative a -> Negative a -> Bool Source # (>) :: Negative a -> Negative a -> Bool Source # (>=) :: Negative a -> Negative a -> Bool Source # max :: Negative a -> Negative a -> Negative a Source # min :: Negative a -> Negative a -> Negative a Source #

newtype Positive a #

Constructors

Positive
Fields getPositive :: a

Instances

Instances details

Functor Positive
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Positive a -> Positive b Source # (<$) :: a -> Positive b -> Positive a Source #
(Num a, Ord a, Arbitrary a) => Arbitrary (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Positive a) # shrink :: Positive a -> [Positive a] #
Enum a => Enum (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Positive a -> Positive a Source # pred :: Positive a -> Positive a Source # toEnum :: Int -> Positive a Source # fromEnum :: Positive a -> Int Source # enumFrom :: Positive a -> [Positive a] Source # enumFromThen :: Positive a -> Positive a -> [Positive a] Source # enumFromTo :: Positive a -> Positive a -> [Positive a] Source # enumFromThenTo :: Positive a -> Positive a -> Positive a -> [Positive a] Source #
Read a => Read (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (Positive a) Source # readList :: ReadS [Positive a] Source # readPrec :: ReadPrec (Positive a) Source # readListPrec :: ReadPrec [Positive a] Source #
Show a => Show (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Positive a -> ShowS Source # show :: Positive a -> String Source # showList :: [Positive a] -> ShowS Source #
Eq a => Eq (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Positive a -> Positive a -> Bool Source # (/=) :: Positive a -> Positive a -> Bool Source #
Ord a => Ord (Positive a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Positive a -> Positive a -> Ordering Source # (<) :: Positive a -> Positive a -> Bool Source # (<=) :: Positive a -> Positive a -> Bool Source # (>) :: Positive a -> Positive a -> Bool Source # (>=) :: Positive a -> Positive a -> Bool Source # max :: Positive a -> Positive a -> Positive a Source # min :: Positive a -> Positive a -> Positive a Source #

newtype SortedList a #

Constructors

Sorted
Fields getSorted :: [a]

Instances

Instances details

Functor SortedList
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> SortedList a -> SortedList b Source # (<$) :: a -> SortedList b -> SortedList a Source #
(Arbitrary a, Ord a) => Arbitrary (SortedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (SortedList a) # shrink :: SortedList a -> [SortedList a] #
Read a => Read (SortedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (SortedList a) Source # readList :: ReadS [SortedList a] Source # readPrec :: ReadPrec (SortedList a) Source # readListPrec :: ReadPrec [SortedList a] Source #
Show a => Show (SortedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> SortedList a -> ShowS Source # show :: SortedList a -> String Source # showList :: [SortedList a] -> ShowS Source #
Eq a => Eq (SortedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: SortedList a -> SortedList a -> Bool Source # (/=) :: SortedList a -> SortedList a -> Bool Source #
Ord a => Ord (SortedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: SortedList a -> SortedList a -> Ordering Source # (<) :: SortedList a -> SortedList a -> Bool Source # (<=) :: SortedList a -> SortedList a -> Bool Source # (>) :: SortedList a -> SortedList a -> Bool Source # (>=) :: SortedList a -> SortedList a -> Bool Source # max :: SortedList a -> SortedList a -> SortedList a Source # min :: SortedList a -> SortedList a -> SortedList a Source #

data InfiniteList a #

Constructors

InfiniteList
Fields getInfiniteList :: [a] infiniteListInternalData :: InfiniteListInternalData a

Instances

Instances details

Arbitrary a => Arbitrary (InfiniteList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (InfiniteList a) # shrink :: InfiniteList a -> [InfiniteList a] #
Show a => Show (InfiniteList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> InfiniteList a -> ShowS Source # show :: InfiniteList a -> String Source # showList :: [InfiniteList a] -> ShowS Source #

newtype NonEmptyList a #

Constructors

NonEmpty
Fields getNonEmpty :: [a]

Instances

Instances details

Functor NonEmptyList
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> NonEmptyList a -> NonEmptyList b Source # (<$) :: a -> NonEmptyList b -> NonEmptyList a Source #
Arbitrary a => Arbitrary (NonEmptyList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (NonEmptyList a) # shrink :: NonEmptyList a -> [NonEmptyList a] #
Read a => Read (NonEmptyList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (NonEmptyList a) Source # readList :: ReadS [NonEmptyList a] Source # readPrec :: ReadPrec (NonEmptyList a) Source # readListPrec :: ReadPrec [NonEmptyList a] Source #
Show a => Show (NonEmptyList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> NonEmptyList a -> ShowS Source # show :: NonEmptyList a -> String Source # showList :: [NonEmptyList a] -> ShowS Source #
Eq a => Eq (NonEmptyList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: NonEmptyList a -> NonEmptyList a -> Bool Source # (/=) :: NonEmptyList a -> NonEmptyList a -> Bool Source #
Ord a => Ord (NonEmptyList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: NonEmptyList a -> NonEmptyList a -> Ordering Source # (<) :: NonEmptyList a -> NonEmptyList a -> Bool Source # (<=) :: NonEmptyList a -> NonEmptyList a -> Bool Source # (>) :: NonEmptyList a -> NonEmptyList a -> Bool Source # (>=) :: NonEmptyList a -> NonEmptyList a -> Bool Source # max :: NonEmptyList a -> NonEmptyList a -> NonEmptyList a Source # min :: NonEmptyList a -> NonEmptyList a -> NonEmptyList a Source #

newtype OrderedList a #

Constructors

Ordered
Fields getOrdered :: [a]

Instances

Instances details

Functor OrderedList
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> OrderedList a -> OrderedList b Source # (<$) :: a -> OrderedList b -> OrderedList a Source #
(Ord a, Arbitrary a) => Arbitrary (OrderedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (OrderedList a) # shrink :: OrderedList a -> [OrderedList a] #
Read a => Read (OrderedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (OrderedList a) Source # readList :: ReadS [OrderedList a] Source # readPrec :: ReadPrec (OrderedList a) Source # readListPrec :: ReadPrec [OrderedList a] Source #
Show a => Show (OrderedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> OrderedList a -> ShowS Source # show :: OrderedList a -> String Source # showList :: [OrderedList a] -> ShowS Source #
Eq a => Eq (OrderedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: OrderedList a -> OrderedList a -> Bool Source # (/=) :: OrderedList a -> OrderedList a -> Bool Source #
Ord a => Ord (OrderedList a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: OrderedList a -> OrderedList a -> Ordering Source # (<) :: OrderedList a -> OrderedList a -> Bool Source # (<=) :: OrderedList a -> OrderedList a -> Bool Source # (>) :: OrderedList a -> OrderedList a -> Bool Source # (>=) :: OrderedList a -> OrderedList a -> Bool Source # max :: OrderedList a -> OrderedList a -> OrderedList a Source # min :: OrderedList a -> OrderedList a -> OrderedList a Source #

newtype Fixed a #

Constructors

Fixed
Fields getFixed :: a

Instances

Instances details

Functor Fixed
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Fixed a -> Fixed b Source # (<$) :: a -> Fixed b -> Fixed a Source #
Arbitrary a => Arbitrary (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Fixed a) # shrink :: Fixed a -> [Fixed a] #
Enum a => Enum (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Fixed a -> Fixed a Source # pred :: Fixed a -> Fixed a Source # toEnum :: Int -> Fixed a Source # fromEnum :: Fixed a -> Int Source # enumFrom :: Fixed a -> [Fixed a] Source # enumFromThen :: Fixed a -> Fixed a -> [Fixed a] Source # enumFromTo :: Fixed a -> Fixed a -> [Fixed a] Source # enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a] Source #
Num a => Num (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (+) :: Fixed a -> Fixed a -> Fixed a Source # (-) :: Fixed a -> Fixed a -> Fixed a Source # (*) :: Fixed a -> Fixed a -> Fixed a Source # negate :: Fixed a -> Fixed a Source # abs :: Fixed a -> Fixed a Source # signum :: Fixed a -> Fixed a Source # fromInteger :: Integer -> Fixed a Source #
Read a => Read (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods readsPrec :: Int -> ReadS (Fixed a) Source # readList :: ReadS [Fixed a] Source # readPrec :: ReadPrec (Fixed a) Source # readListPrec :: ReadPrec [Fixed a] Source #
Integral a => Integral (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods quot :: Fixed a -> Fixed a -> Fixed a Source # rem :: Fixed a -> Fixed a -> Fixed a Source # div :: Fixed a -> Fixed a -> Fixed a Source # mod :: Fixed a -> Fixed a -> Fixed a Source # quotRem :: Fixed a -> Fixed a -> (Fixed a, Fixed a) Source # divMod :: Fixed a -> Fixed a -> (Fixed a, Fixed a) Source # toInteger :: Fixed a -> Integer Source #
Real a => Real (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods toRational :: Fixed a -> Rational Source #
Show a => Show (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Fixed a -> ShowS Source # show :: Fixed a -> String Source # showList :: [Fixed a] -> ShowS Source #
Eq a => Eq (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Fixed a -> Fixed a -> Bool Source # (/=) :: Fixed a -> Fixed a -> Bool Source #
Ord a => Ord (Fixed a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Fixed a -> Fixed a -> Ordering Source # (<) :: Fixed a -> Fixed a -> Bool Source # (<=) :: Fixed a -> Fixed a -> Bool Source # (>) :: Fixed a -> Fixed a -> Bool Source # (>=) :: Fixed a -> Fixed a -> Bool Source # max :: Fixed a -> Fixed a -> Fixed a Source # min :: Fixed a -> Fixed a -> Fixed a Source #

newtype Blind a #

Constructors

Blind
Fields getBlind :: a

Instances

class Function a where #

Minimal complete definition

Nothing

Methods

function :: (a -> b) -> a :-> b #

Instances

Instances details

Function A
Instance details Defined in Test.QuickCheck.Function Methods function :: (A -> b) -> A :-> b #
Function B
Instance details Defined in Test.QuickCheck.Function Methods function :: (B -> b) -> B :-> b #
Function C
Instance details Defined in Test.QuickCheck.Function Methods function :: (C -> b) -> C :-> b #
Function OrdA
Instance details Defined in Test.QuickCheck.Function Methods function :: (OrdA -> b) -> OrdA :-> b #
Function OrdB
Instance details Defined in Test.QuickCheck.Function Methods function :: (OrdB -> b) -> OrdB :-> b #
Function OrdC
Instance details Defined in Test.QuickCheck.Function Methods function :: (OrdC -> b) -> OrdC :-> b #
Function IntSet
Instance details Defined in Test.QuickCheck.Function Methods function :: (IntSet -> b) -> IntSet :-> b #
Function All
Instance details Defined in Test.QuickCheck.Function Methods function :: (All -> b) -> All :-> b #
Function Any
Instance details Defined in Test.QuickCheck.Function Methods function :: (Any -> b) -> Any :-> b #
Function Newline
Instance details Defined in Test.QuickCheck.Function Methods function :: (Newline -> b) -> Newline :-> b #
Function NewlineMode
Instance details Defined in Test.QuickCheck.Function Methods function :: (NewlineMode -> b) -> NewlineMode :-> b #
Function Int16
Instance details Defined in Test.QuickCheck.Function Methods function :: (Int16 -> b) -> Int16 :-> b #
Function Int32
Instance details Defined in Test.QuickCheck.Function Methods function :: (Int32 -> b) -> Int32 :-> b #
Function Int64
Instance details Defined in Test.QuickCheck.Function Methods function :: (Int64 -> b) -> Int64 :-> b #
Function Int8
Instance details Defined in Test.QuickCheck.Function Methods function :: (Int8 -> b) -> Int8 :-> b #
Function Word16
Instance details Defined in Test.QuickCheck.Function Methods function :: (Word16 -> b) -> Word16 :-> b #
Function Word32
Instance details Defined in Test.QuickCheck.Function Methods function :: (Word32 -> b) -> Word32 :-> b #
Function Word64
Instance details Defined in Test.QuickCheck.Function Methods function :: (Word64 -> b) -> Word64 :-> b #
Function Word8
Instance details Defined in Test.QuickCheck.Function Methods function :: (Word8 -> b) -> Word8 :-> b #
Function Ordering
Instance details Defined in Test.QuickCheck.Function Methods function :: (Ordering -> b) -> Ordering :-> b #
Function Integer
Instance details Defined in Test.QuickCheck.Function Methods function :: (Integer -> b) -> Integer :-> b #
Function ()
Instance details Defined in Test.QuickCheck.Function Methods function :: (() -> b) -> () :-> b #
Function Bool
Instance details Defined in Test.QuickCheck.Function Methods function :: (Bool -> b) -> Bool :-> b #
Function Char
Instance details Defined in Test.QuickCheck.Function Methods function :: (Char -> b) -> Char :-> b #
Function Double
Instance details Defined in Test.QuickCheck.Function Methods function :: (Double -> b) -> Double :-> b #
Function Float
Instance details Defined in Test.QuickCheck.Function Methods function :: (Float -> b) -> Float :-> b #
Function Int
Instance details Defined in Test.QuickCheck.Function Methods function :: (Int -> b) -> Int :-> b #
Function Word
Instance details Defined in Test.QuickCheck.Function Methods function :: (Word -> b) -> Word :-> b #
(RealFloat a, Function a) => Function (Complex a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Complex a -> b) -> Complex a :-> b #
Function a => Function (IntMap a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (IntMap a -> b) -> IntMap a :-> b #
Function a => Function (Seq a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Seq a -> b) -> Seq a :-> b #
(Ord a, Function a) => Function (Set a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Set a -> b) -> Set a :-> b #
Function a => Function (Tree a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Tree a -> b) -> Tree a :-> b #
Function a => Function (Identity a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Identity a -> b) -> Identity a :-> b #
Function a => Function (First a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (First a -> b) -> First a :-> b #
Function a => Function (Last a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Last a -> b) -> Last a :-> b #
Function a => Function (Dual a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Dual a -> b) -> Dual a :-> b #
Function a => Function (Product a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Product a -> b) -> Product a :-> b #
Function a => Function (Sum a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Sum a -> b) -> Sum a :-> b #
(Integral a, Function a) => Function (Ratio a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Ratio a -> b) -> Ratio a :-> b #
Function a => Function (Maybe a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Maybe a -> b) -> Maybe a :-> b #
Function a => Function [a]
Instance details Defined in Test.QuickCheck.Function Methods function :: ([a] -> b) -> [a] :-> b #
HasResolution a => Function (Fixed a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Fixed a -> b) -> Fixed a :-> b #
(Ord a, Function a, Function b) => Function (Map a b)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Map a b -> b0) -> Map a b :-> b0 #
(Function a, Function b) => Function (Either a b)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Either a b -> b0) -> Either a b :-> b0 #
(Function a, Function b) => Function (a, b)
Instance details Defined in Test.QuickCheck.Function Methods function :: ((a, b) -> b0) -> (a, b) :-> b0 #
Function a => Function (Const a b)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Const a b -> b0) -> Const a b :-> b0 #
Function (f a) => Function (Alt f a)
Instance details Defined in Test.QuickCheck.Function Methods function :: (Alt f a -> b) -> Alt f a :-> b #
(Function a, Function b, Function c) => Function (a, b, c)
Instance details Defined in Test.QuickCheck.Function Methods function :: ((a, b, c) -> b0) -> (a, b, c) :-> b0 #
(Function a, Function b, Function c, Function d) => Function (a, b, c, d)
Instance details Defined in Test.QuickCheck.Function Methods function :: ((a, b, c, d) -> b0) -> (a, b, c, d) :-> b0 #
(Function a, Function b, Function c, Function d, Function e) => Function (a, b, c, d, e)
Instance details Defined in Test.QuickCheck.Function Methods function :: ((a, b, c, d, e) -> b0) -> (a, b, c, d, e) :-> b0 #
(Function a, Function b, Function c, Function d, Function e, Function f) => Function (a, b, c, d, e, f)
Instance details Defined in Test.QuickCheck.Function Methods function :: ((a, b, c, d, e, f) -> b0) -> (a, b, c, d, e, f) :-> b0 #
(Function a, Function b, Function c, Function d, Function e, Function f, Function g) => Function (a, b, c, d, e, f, g)
Instance details Defined in Test.QuickCheck.Function Methods function :: ((a, b, c, d, e, f, g) -> b0) -> (a, b, c, d, e, f, g) :-> b0 #

pattern Fn3 :: (a -> b -> c -> d) -> Fun (a, b, c) d #

pattern Fn2 :: (a -> b -> c) -> Fun (a, b) c #

pattern Fn :: (a -> b) -> Fun a b #

functionBoundedEnum :: (Eq a, Bounded a, Enum a) => (a -> b) -> a :-> b #

functionRealFrac :: RealFrac a => (a -> b) -> a :-> b #

functionIntegral :: Integral a => (a -> b) -> a :-> b #

functionShow :: (Show a, Read a) => (a -> c) -> a :-> c #

functionVoid :: (forall b. void -> b) -> void :-> c #

functionMap :: Function b => (a -> b) -> (b -> a) -> (a -> c) -> a :-> c #

applyFun :: Fun a b -> a -> b #

applyFun2 :: Fun (a, b) c -> a -> b -> c #

applyFun3 :: Fun (a, b, c) d -> a -> b -> c -> d #

data Confidence #

Constructors

Confidence
Fields certainty :: Integer tolerance :: Double

Instances

Instances details

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

data Witness #

Constructors

(Typeable a, Show a) => Wit a

Instances

Instances details

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

data Discard #

Constructors

Discard

Instances

Instances details

Testable Discard
Instance details Defined in Test.QuickCheck.Property Methods property :: Discard -> Property propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> Discard) -> Property

ioProperty :: Testable prop => IO prop -> Property #

idempotentIOProperty :: Testable prop => IO prop -> Property #

coerceWitness :: Typeable a => Witness -> a #

castWitness :: Typeable a => Witness -> Maybe a #

mapSize :: STestable prop => (Int -> Int) -> prop -> SProperty #

shrinking :: STestable prop => (a -> [a]) -> a -> (a -> prop) -> SProperty #

noShrinking :: STestable prop => prop -> SProperty #

whenFail :: Testable prop => IO () -> prop -> Property #

whenFail' :: Testable prop => IO () -> prop -> Property #

verboseShrinking :: Testable prop => prop -> Property #

again :: Testable prop => prop -> Property #

withMaxSuccess :: Testable prop => Int -> prop -> Property #

withDiscardRatio :: Testable prop => Int -> prop -> Property #

withMaxShrinks :: Testable prop => Int -> prop -> Property #

withMaxSize :: Testable prop => Int -> prop -> Property #

witness :: (Typeable a, Show a, Testable prop) => a -> prop -> Property #

checkCoverage :: Testable prop => prop -> Property #

checkCoverageWith :: Testable prop => Confidence -> prop -> Property #

stdConfidence :: Confidence #

label :: STestable prop => String -> prop -> SProperty #

tabulate :: Testable prop => String -> [String] -> prop -> Property #

coverTable :: Testable prop => String -> [(String, Double)] -> prop -> Property #

discardAfter :: Testable prop => Int -> prop -> Property #

forAll :: (Show a, STestable prop) => Gen a -> (a -> prop) -> SProperty #

forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property #

forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property #

forAllShrink :: (Show a, STestable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> SProperty #

forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Property #

forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Property #

(.&.) :: (STestable prop2, STestable prop1) => prop1 -> prop2 -> SProperty #

(.&&.) :: (STestable prop2, STestable prop1) => prop1 -> prop2 -> SProperty #

(.||.) :: (STestable prop2, STestable prop1) => prop1 -> prop2 -> SProperty #

(===) :: (Eq a, Show a) => a -> a -> SProperty #

(=/=) :: (Eq a, Show a) => a -> a -> Property #

total :: NFData a => a -> Property #

data Result #

Constructors

Success
Fields numTests :: Int numDiscarded :: Int labels :: !(Map [String] Int) classes :: !(Map String Int) tables :: !(Map String (Map String Int)) output :: String
GaveUp
Fields numTests :: Int numDiscarded :: Int labels :: !(Map [String] Int) classes :: !(Map String Int) tables :: !(Map String (Map String Int)) output :: String
Failure
Fields numTests :: Int numDiscarded :: Int numShrinks :: Int numShrinkTries :: Int numShrinkFinal :: Int usedSeed :: QCGen usedSize :: Int reason :: String theException :: Maybe AnException output :: String failingTestCase :: [String] failingLabels :: [String] failingClasses :: Set String witnesses :: [Witness]
NoExpectedFailure
Fields numTests :: Int numDiscarded :: Int labels :: !(Map [String] Int) classes :: !(Map String Int) tables :: !(Map String (Map String Int)) output :: String

Instances

Instances details

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

data Args #

Constructors

Args
Fields replay :: Maybe (QCGen, Int) maxSuccess :: Int maxDiscardRatio :: Int maxSize :: Int chatty :: Bool maxShrinks :: Int

Instances

Instances details

Read Args
Instance details Defined in Test.QuickCheck.Test Methods readsPrec :: Int -> ReadS Args Source # readList :: ReadS [Args] Source # readPrec :: ReadPrec Args Source # readListPrec :: ReadPrec [Args] Source #
Show Args
Instance details Defined in Test.QuickCheck.Test Methods showsPrec :: Int -> Args -> ShowS Source # show :: Args -> String Source # showList :: [Args] -> ShowS Source #

isSuccess :: Result -> Bool #

stdArgs :: Args #

quickCheck :: STestable prop => QCGen -> prop -> String #

quickCheckWith :: STestable prop => Args -> QCGen -> prop -> String #

quickCheckResult :: STestable prop => QCGen -> prop -> Result #

quickCheckWithResult :: STestable prop => Args -> QCGen -> prop -> Result #

recheck :: Testable prop => Result -> prop -> IO () #

verboseCheck :: Testable prop => prop -> IO () #

verboseCheckWith :: Testable prop => Args -> prop -> IO () #

verboseCheckResult :: Testable prop => prop -> IO Result #

verboseCheckWithResult :: Testable prop => Args -> prop -> IO Result #

polyQuickCheck :: Name -> ExpQ #

polyVerboseCheck :: Name -> ExpQ #

monomorphic :: Name -> ExpQ #

forAllProperties :: Q Exp #

allProperties :: Q Exp #

quickCheckAll :: Q Exp #

verboseCheckAll :: Q Exp #

labelledExamples :: Testable prop => prop -> IO () #

labelledExamplesWith :: Testable prop => Args -> prop -> IO () #

labelledExamplesResult :: Testable prop => prop -> IO Result #

labelledExamplesWithResult :: Testable prop => Args -> prop -> IO Result #

inventQCGen :: a -> QCGen #

class STestable prop #

Minimal complete definition

sProperty

Instances

Instances details

STestable SProperty
Instance details Defined in Test.QuickCheck.Safe Methods sProperty :: SProperty -> SProperty
STestable Bool
Instance details Defined in Test.QuickCheck.Safe Methods sProperty :: Bool -> SProperty
STestable prop => STestable (Gen prop)
Instance details Defined in Test.QuickCheck.Safe Methods sProperty :: Gen prop -> SProperty
(Arbitrary a, Show a, STestable prop) => STestable (a -> prop)
Instance details Defined in Test.QuickCheck.Safe Methods sProperty :: (a -> prop) -> SProperty

myquickcheck :: STestable prop => prop -> String Source #

newtype Rec a Source #

Constructors

InR
Fields outR :: Rec a -> a

describeSequence :: SequenceData -> Maybe String Source #

newtype Mu (f :: Type -> Type) Source #

Constructors

In
Fields out :: f (Mu f)

Functor Blind
Instance details Defined in Test.QuickCheck.Modifiers Methods fmap :: (a -> b) -> Blind a -> Blind b Source # (<$) :: a -> Blind b -> Blind a Source #
Arbitrary a => Arbitrary (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods arbitrary :: Gen (Blind a) # shrink :: Blind a -> [Blind a] #
Enum a => Enum (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods succ :: Blind a -> Blind a Source # pred :: Blind a -> Blind a Source # toEnum :: Int -> Blind a Source # fromEnum :: Blind a -> Int Source # enumFrom :: Blind a -> [Blind a] Source # enumFromThen :: Blind a -> Blind a -> [Blind a] Source # enumFromTo :: Blind a -> Blind a -> [Blind a] Source # enumFromThenTo :: Blind a -> Blind a -> Blind a -> [Blind a] Source #
Num a => Num (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (+) :: Blind a -> Blind a -> Blind a Source # (-) :: Blind a -> Blind a -> Blind a Source # (*) :: Blind a -> Blind a -> Blind a Source # negate :: Blind a -> Blind a Source # abs :: Blind a -> Blind a Source # signum :: Blind a -> Blind a Source # fromInteger :: Integer -> Blind a Source #
Integral a => Integral (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods quot :: Blind a -> Blind a -> Blind a Source # rem :: Blind a -> Blind a -> Blind a Source # div :: Blind a -> Blind a -> Blind a Source # mod :: Blind a -> Blind a -> Blind a Source # quotRem :: Blind a -> Blind a -> (Blind a, Blind a) Source # divMod :: Blind a -> Blind a -> (Blind a, Blind a) Source # toInteger :: Blind a -> Integer Source #
Real a => Real (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods toRational :: Blind a -> Rational Source #
Show (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods showsPrec :: Int -> Blind a -> ShowS Source # show :: Blind a -> String Source # showList :: [Blind a] -> ShowS Source #
Eq a => Eq (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods (==) :: Blind a -> Blind a -> Bool Source # (/=) :: Blind a -> Blind a -> Bool Source #
Ord a => Ord (Blind a)
Instance details Defined in Test.QuickCheck.Modifiers Methods compare :: Blind a -> Blind a -> Ordering Source # (<) :: Blind a -> Blind a -> Bool Source # (<=) :: Blind a -> Blind a -> Bool Source # (>) :: Blind a -> Blind a -> Bool Source # (>=) :: Blind a -> Blind a -> Bool Source # max :: Blind a -> Blind a -> Blind a Source # min :: Blind a -> Blind a -> Blind a Source #