smallcheck-0.4: Another lightweight testing library in Haskell.Source codeContentsIndex
Test.SmallCheck
Documentation
smallCheck :: Testable a => Int -> a -> IO ()Source
smallCheckI :: Testable a => a -> IO ()Source
depthCheck :: Testable a => Int -> a -> IO ()Source
test :: Testable a => a -> IO ()Source
data Property Source
show/hide Instances
class Testable a Source
show/hide Instances
forAll :: (Show a, Testable b) => Series a -> (a -> b) -> PropertySource
forAllElem :: (Show a, Testable b) => [a] -> (a -> b) -> PropertySource
exists :: (Show a, Serial a, Testable b) => (a -> b) -> PropertySource
existsDeeperBy :: (Show a, Serial a, Testable b) => (Int -> Int) -> (a -> b) -> PropertySource
thereExists :: (Show a, Testable b) => Series a -> (a -> b) -> PropertySource
thereExistsElem :: (Show a, Testable b) => [a] -> (a -> b) -> PropertySource
exists1 :: (Show a, Serial a, Testable b) => (a -> b) -> PropertySource
exists1DeeperBy :: (Show a, Serial a, Testable b) => (Int -> Int) -> (a -> b) -> PropertySource
thereExists1 :: (Show a, Testable b) => Series a -> (a -> b) -> PropertySource
thereExists1Elem :: (Show a, Testable b) => [a] -> (a -> b) -> PropertySource
(==>) :: Testable a => Bool -> a -> PropertySource
type Series a = Int -> [a]Source
class Serial a whereSource
Methods
series :: Series aSource
coseries :: Series b -> Series (a -> b)Source
show/hide Instances
(\/) :: Series a -> Series a -> Series aSource
(><) :: Series a -> Series b -> Series (a, b)Source
two :: Series a -> Series (a, a)Source
three :: Series a -> Series (a, a, a)Source
four :: Series a -> Series (a, a, a, a)Source
cons0 :: a -> Series aSource
cons1 :: Serial a => (a -> b) -> Series bSource
cons2 :: (Serial a, Serial b) => (a -> b -> c) -> Series cSource
cons3 :: (Serial a, Serial b, Serial c) => (a -> b -> c -> d) -> Series dSource
cons4 :: (Serial a, Serial b, Serial c, Serial d) => (a -> b -> c -> d -> e) -> Series eSource
alts0 :: Series a -> Series aSource
alts1 :: Serial a => Series b -> Series (a -> b)Source
alts2 :: (Serial a, Serial b) => Series c -> Series (a -> b -> c)Source
alts3 :: (Serial a, Serial b, Serial c) => Series d -> Series (a -> b -> c -> d)Source
alts4 :: (Serial a, Serial b, Serial c, Serial d) => Series e -> Series (a -> b -> c -> d -> e)Source
newtype N a Source
Constructors
N a
show/hide Instances
Eq a => Eq (N a)
Ord a => Ord (N a)
Show a => Show (N a)
(Integral a, Serial a) => Serial (N a)
type Nat = N IntSource
type Natural = N IntegerSource
depth :: Int -> Int -> IntSource
inc :: Int -> IntSource
dec :: Int -> IntSource
Produced by Haddock version 2.4.2