Safe Haskell	None
Language	Haskell2010

Test.QuickCheck.Special

Synopsis

Documentation

newtype Special a Source #

Additionally to the standard Arbitrary instances, this generates special values with a small probability.

Constructors

Special
Fields getSpecial :: a

Instances

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

class SpecialValues a where Source #

Provides a list of special values or edge cases

Minimal complete definition

specialValues

Methods

specialValues :: [a] Source #

Finite list of special values

Instances

SpecialValues Bool Source #
Methods specialValues :: [Bool] Source #
SpecialValues Char Source #
Methods specialValues :: [Char] Source #
SpecialValues Double Source #
Methods specialValues :: [Double] Source #
SpecialValues Float Source #
Methods specialValues :: [Float] Source #
SpecialValues Int Source #
Methods specialValues :: [Int] Source #
SpecialValues Int8 Source #
Methods specialValues :: [Int8] Source #
SpecialValues Int16 Source #
Methods specialValues :: [Int16] Source #
SpecialValues Int32 Source #
Methods specialValues :: [Int32] Source #
SpecialValues Int64 Source #
Methods specialValues :: [Int64] Source #
SpecialValues Integer Source #
Methods specialValues :: [Integer] Source #
SpecialValues Word Source #
Methods specialValues :: [Word] Source #
SpecialValues Word8 Source #
Methods specialValues :: [Word8] Source #
SpecialValues Word16 Source #
Methods specialValues :: [Word16] Source #
SpecialValues Word32 Source #
Methods specialValues :: [Word32] Source #
SpecialValues Word64 Source #
Methods specialValues :: [Word64] Source #
SpecialValues Natural Source #
Methods specialValues :: [Natural] Source #
SpecialValues ByteString Source #
Methods specialValues :: [ByteString] Source #
SpecialValues ByteString Source #
Methods specialValues :: [ByteString] Source #
SpecialValues Scientific Source #
Methods specialValues :: [Scientific] Source #
SpecialValues Text Source #
Methods specialValues :: [Text] Source #
SpecialValues Text Source #
Methods specialValues :: [Text] Source #
SpecialValues a => SpecialValues [a] Source #
Methods specialValues :: [[a]] Source #
SpecialValues a => SpecialValues (Maybe a) Source #
Methods specialValues :: [Maybe a] Source #
(SpecialValues a, SpecialValues b) => SpecialValues (Either a b) Source #
Methods specialValues :: [Either a b] Source #
(SpecialValues a, SpecialValues b) => SpecialValues (a, b) Source #
Methods specialValues :: [(a, b)] Source #