Safe Haskell	None
Language	Haskell2010

Test.QuickCheck.HigherOrder.Internal.TestEq

Synopsis

class TestEq a where
- (=?) :: a -> a -> Property
decEq :: (Eq a, Show a) => a -> a -> Property

Documentation

class TestEq a where Source #

Testable equality

Methods

(=?) :: a -> a -> Property infix 4 Source #

A property that probably fails if the two values are not equal.

(a =? a)  =  property True

Instances

Instances details

TestEq Bool Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Bool -> Bool -> Property Source #
TestEq Char Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Char -> Char -> Property Source #
TestEq Double Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Double -> Double -> Property Source #
TestEq Int Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Int -> Int -> Property Source #
TestEq Integer Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Integer -> Integer -> Property Source #
TestEq Ordering Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Ordering -> Ordering -> Property Source #
TestEq Word Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Word -> Word -> Property Source #
TestEq () Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: () -> () -> Property Source #
TestEq a => TestEq [a] Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: [a] -> [a] -> Property Source #
TestEq a => TestEq (Maybe a) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Maybe a -> Maybe a -> Property Source #
TestEq a => TestEq (Identity a) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Identity a -> Identity a -> Property Source #
TestEq a => TestEq (Sum a) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Sum a -> Sum a -> Property Source #
(Constructible a, TestEq b) => TestEq (a -> b) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: (a -> b) -> (a -> b) -> Property Source #
(TestEq a, TestEq b) => TestEq (Either a b) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: Either a b -> Either a b -> Property Source #
(TestEq a, TestEq b) => TestEq (a, b) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.TestEq Methods (=?) :: (a, b) -> (a, b) -> Property Source #

decEq :: (Eq a, Show a) => a -> a -> Property Source #

Default method to convert Eq (decidable equality) into TestEq.