Haskell Hierarchical Libraries (QuickCheck package)
Contents
Index
Test.QuickCheck.Utils
Portability
portable
Stability
experimental
Maintainer
libraries@haskell.org
Description
These are some general purpose utilities for use with QuickCheck.
Synopsis
isAssociativeBy
:: (
Show
a,
Testable
prop) => (a -> a -> prop) ->
Gen
a -> (a -> a -> a) ->
Property
isAssociative
:: (
Arbitrary
a,
Show
a,
Eq
a) => (a -> a -> a) ->
Property
isCommutableBy
:: (
Show
a,
Testable
prop) => (b -> b -> prop) ->
Gen
a -> (a -> a -> b) ->
Property
isCommutable
:: (
Arbitrary
a,
Show
a,
Eq
b) => (a -> a -> b) ->
Property
isTotalOrder
:: (
Arbitrary
a,
Show
a,
Ord
a) => a -> a ->
Property
Produced by
Haddock
version 0.6