smallcheck-0.2.1: Another lightweight testing library in Haskell.

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

Instances

Testable Property

class Testable a Source

Instances

Testable Bool
Testable Property
Testable PR
Testable a => Testable (IO a)
(Serial a, Show a, Testable b) => Testable (a -> b)

forAll :: (Show a, Testable b) => Series a -> (a -> b) -> Property Source

forAllElem :: (Show a, Testable b) => [a] -> (a -> b) -> Property Source

exists :: (Serial a, Testable b) => (a -> b) -> Property Source

existsDeeperBy :: (Serial a, Testable b) => (Int -> Int) -> (a -> b) -> Property Source

thereExists :: Testable b => Series a -> (a -> b) -> Property Source

thereExistsElem :: Testable b => [a] -> (a -> b) -> Property Source

(==>) :: Testable a => Bool -> a -> Property Source

type Series a = Int -> [a]Source

class Serial a whereSource

Methods

series :: Series aSource

coseries :: Serial b => Series (a -> b)Source

Instances

Serial Bool
Serial Char
Serial Double
Serial Float
Serial Int
Serial Integer
Serial ()
Serial a => Serial [a]
Serial a => Serial (Maybe a)
(Integral a, Serial a) => Serial (N a)
(Serial a, Serial b) => Serial (a -> b)
(Serial a, Serial b) => Serial (Either a b)
(Serial a, Serial b) => Serial (a, b)
(Serial a, Serial b, Serial c) => Serial (a, b, c)
(Serial a, Serial b, Serial c, Serial d) => Serial (a, b, c, d)

(\/) :: 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 :: Serial a => Series aSource

alts1 :: (Serial a, Serial b) => Series (a -> b)Source

alts2 :: (Serial a, Serial b, Serial c) => Series (a -> b -> c)Source

alts3 :: (Serial a, Serial b, Serial c, Serial d) => Series (a -> b -> c -> d)Source

alts4 :: (Serial a, Serial b, Serial c, Serial d, Serial e) => Series (a -> b -> c -> d -> e)Source

newtype N a Source

Constructors

N a

Instances

Show a => Show (N a)
(Integral a, Serial a) => Serial (N a)

type Nat = N Int Source

type Natural = N Integer Source

depth :: Int -> Int -> Int Source

inc :: Int -> Int Source

dec :: Int -> Int Source