{-# LANGUAGE PatternSynonyms #-}
module Test.QuickCheck.HigherOrder
(
Constructible(..)
, quickCheck'
, quickCheckWith'
, Testable'(..)
, Equation(..)
, Implication(..)
, EqImpl
, Decidable(..)
, TestEq(..)
, decEq
, ok
, ko
, quickChecks
, forAll_
, Constructed()
, pattern Construct
, (:->)
, applyFun
, CoArbitrary(..)
, cogenEmbed
, cogenIntegral
, coarbitraryGeneric
) where
import Test.Fun
import Test.QuickCheck.HigherOrder.Internal.Testable
import Test.QuickCheck.HigherOrder.Internal.Testable.Class
import Test.QuickCheck.HigherOrder.Internal.TestEq
import Test.QuickCheck.HigherOrder.Internal.Constructible
import Test.QuickCheck.HigherOrder.Internal.Function ()