Test.QuickCheck.Property.Common.Internal

Implementation of delayed comparison and composition of properties

Comparison for equality

data Equal a

Values to be compared for equality

Constructors

Equal a a

NotE (Equal a)

AndE (Equal a) (Equal a)

OrE (Equal a) (Equal a)

Instances

Equalable (Equal a)

runEqual :: (a -> a -> Bool) -> Equal a -> Bool

Evaluate boolean expression inside Equal

class Equalable a where

Recurse through function to apply comparison to Equal.

Associated Types

type Result a :: *

Type which should be compared for equality

type Compared a :: *

Result of comparison. Could be passed to quickCheck

Methods

equalWith :: (Result a -> Result a -> Bool) -> a -> Compared a

Compare value using custom comparison function

mapEqual :: (Equal (Result a) -> Equal (Result a)) -> a -> a

Map property

zipEquals :: (Equal (Result a) -> Equal (Result a) -> Equal (Result a)) -> a -> a -> a

Zip properties

Instances

Equalable (Equal a)

Equalable a => Equalable (x -> a)