Module

Test.QuickCheck.Combinators

Package: purescript-quickcheck-combinators
Repository: athanclark/purescript-quickcheck-combinators

#conj Source

conj :: Result -> Result -> Result

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

#conj' Source

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

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

#(&=&) Source

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

#disj Source

disj :: Result -> Result -> Result

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

#disj' Source

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

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

#(|=|) Source

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

#xor Source

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' Source

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

#(|-|) Source

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

#implies Source

implies :: Result -> Result -> Result

Uses the second failure message as the result failure message

#(==>) Source

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

#not' Source

not' :: String -> Result -> Result

Supply a failure message if successful

#AtLeast Source

newtype AtLeast n t a

Constructors

AtLeast (t a)

Instances

(Generic (t a) ta) => Generic (AtLeast n t a) _
(Arbitrary a, Nat n, Unfoldable t, Traversable t) => Arbitrary (AtLeast n t a)

#getAtLeast Source

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

#AtMost Source

newtype AtMost n t a

Constructors

AtMost (t a)

Instances

(Generic (t a) ta) => Generic (AtMost n t a) _
(Arbitrary a, Nat n, Unfoldable t, Traversable t) => Arbitrary (AtMost n t a)

#getAtMost Source

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

#Between Source

newtype Between n m t a

Constructors

Between (t a)

Instances

(Generic (t a) ta) => Generic (Between n m t a) _
(Arbitrary a, Nat n, Nat m, Unfoldable t, Traversable t) => Arbitrary (Between n m t a)

#getBetween Source

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

Modules: Test.QuickCheck.Combinators