Module

Test.QuickCheck.Combinators

#conj 

conj :: Result -> Result -> Result

Combine two results with "And" logic, and with ", and " as the failure message separator

#conj' 

conj' :: String -> Result -> Result -> Result

Combine two results with "And" logic, and with a failure message separator

#(&=&)

Operator alias for Test.QuickCheck.Combinators.conj (right-associative / precedence 3)

#disj 

disj :: Result -> Result -> Result

Combine two results with "Or" logic, and with ", or " as the failure message separator

#disj' 

disj' :: String -> Result -> Result -> Result

Combine two results with "Or" logic, and with a failure message separator

#(|=|)

Operator alias for Test.QuickCheck.Combinators.disj (right-associative / precedence 3)

#xor 

xor :: Result -> Result -> Result

Combine two results with "Exclusive Or" logic, and with ", xor " as the failure message separator, and "XOR" as the failure message if they are both Success

#xor' 

xor' :: String -> String -> Result -> Result -> Result

Combine two results with "Exclusive Or" logic, and with a failure message separator and failure message if they are both Success

#(|-|)

Operator alias for Test.QuickCheck.Combinators.xor (right-associative / precedence 3)

#implies 

implies :: Result -> Result -> Result

Uses the second failure message as the result failure message

#(==>)

Operator alias for Test.QuickCheck.Combinators.implies (right-associative / precedence 3)

#not' 

not' :: String -> Result -> Result

Supply a failure message if successful

#AtLeast 

newtype AtLeast n t a

Constructors

Instances

#getAtLeast 

getAtLeast :: forall n t a. AtLeast n t a -> t a

#AtMost 

newtype AtMost n t a

Constructors

Instances

#getAtMost 

getAtMost :: forall n t a. AtMost n t a -> t a

#Between 

newtype Between n m t a

Constructors

Instances

#getBetween 

getBetween :: forall n m t a. Between n m t a -> t a

Modules