hspec-wai-0.6.6: Experimental Hspec support for testing WAI applications

Safe HaskellNone
LanguageHaskell2010

Test.Hspec.Wai.QuickCheck

Contents

Synopsis

Documentation

(==>) :: Testable prop => Bool -> prop -> WaiProperty infixr 0 Source #

Re-exports

class Arbitrary a where #

Random generation and shrinking of values.

Minimal complete definition

arbitrary

Instances

Arbitrary Bool 

Methods

arbitrary :: Gen Bool #

shrink :: Bool -> [Bool] #

Arbitrary Char 

Methods

arbitrary :: Gen Char #

shrink :: Char -> [Char] #

Arbitrary Double 
Arbitrary Float 

Methods

arbitrary :: Gen Float #

shrink :: Float -> [Float] #

Arbitrary Int 

Methods

arbitrary :: Gen Int #

shrink :: Int -> [Int] #

Arbitrary Int8 

Methods

arbitrary :: Gen Int8 #

shrink :: Int8 -> [Int8] #

Arbitrary Int16 

Methods

arbitrary :: Gen Int16 #

shrink :: Int16 -> [Int16] #

Arbitrary Int32 

Methods

arbitrary :: Gen Int32 #

shrink :: Int32 -> [Int32] #

Arbitrary Int64 

Methods

arbitrary :: Gen Int64 #

shrink :: Int64 -> [Int64] #

Arbitrary Integer 
Arbitrary Ordering 
Arbitrary Word 

Methods

arbitrary :: Gen Word #

shrink :: Word -> [Word] #

Arbitrary Word8 

Methods

arbitrary :: Gen Word8 #

shrink :: Word8 -> [Word8] #

Arbitrary Word16 
Arbitrary Word32 
Arbitrary Word64 
Arbitrary () 

Methods

arbitrary :: Gen () #

shrink :: () -> [()] #

Arbitrary Natural 
Arbitrary IntSet 
Arbitrary a => Arbitrary [a] 

Methods

arbitrary :: Gen [a] #

shrink :: [a] -> [[a]] #

Arbitrary a => Arbitrary (Maybe a) 

Methods

arbitrary :: Gen (Maybe a) #

shrink :: Maybe a -> [Maybe a] #

Integral a => Arbitrary (Ratio a) 

Methods

arbitrary :: Gen (Ratio a) #

shrink :: Ratio a -> [Ratio a] #

HasResolution a => Arbitrary (Fixed a) 

Methods

arbitrary :: Gen (Fixed a) #

shrink :: Fixed a -> [Fixed a] #

(RealFloat a, Arbitrary a) => Arbitrary (Complex a) 

Methods

arbitrary :: Gen (Complex a) #

shrink :: Complex a -> [Complex a] #

Arbitrary a => Arbitrary (Seq a) 

Methods

arbitrary :: Gen (Seq a) #

shrink :: Seq a -> [Seq a] #

Arbitrary a => Arbitrary (IntMap a) 

Methods

arbitrary :: Gen (IntMap a) #

shrink :: IntMap a -> [IntMap a] #

(Ord a, Arbitrary a) => Arbitrary (Set a) 

Methods

arbitrary :: Gen (Set a) #

shrink :: Set a -> [Set a] #

(CoArbitrary a, Arbitrary b) => Arbitrary (a -> b) 

Methods

arbitrary :: Gen (a -> b) #

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

(Arbitrary a, Arbitrary b) => Arbitrary (Either a b) 

Methods

arbitrary :: Gen (Either a b) #

shrink :: Either a b -> [Either a b] #

(Arbitrary a, Arbitrary b) => Arbitrary (a, b) 

Methods

arbitrary :: Gen (a, b) #

shrink :: (a, b) -> [(a, b)] #

(Ord k, Arbitrary k, Arbitrary v) => Arbitrary (Map k v) 

Methods

arbitrary :: Gen (Map k v) #

shrink :: Map k v -> [Map k v] #

(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c) 

Methods

arbitrary :: Gen (a, b, c) #

shrink :: (a, b, c) -> [(a, b, c)] #

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d) 

Methods

arbitrary :: Gen (a, b, c, d) #

shrink :: (a, b, c, d) -> [(a, b, c, d)] #

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (a, b, c, d, e) 

Methods

arbitrary :: Gen (a, b, c, d, e) #

shrink :: (a, b, c, d, e) -> [(a, b, c, d, e)] #

Internals

class Testable a where Source #

Minimal complete definition

toProperty