Safe Haskell	Unsafe
Language	Haskell2010

Test.Expr.Property

Description

Property generation. Allows to generate property which compares two implementations of the same functionality.

Synopsis

Documentation

prop :: Prop -> Q Exp #

$(prop 'cmp 'a 'b) :: Property >>> quickCheck $(prop '(===) 'drop 'drop) +++ OK, passed 100 tests.

>>> quickCheck $(prop '(===) 'drop 'take)
*** Failed! Falsifiable (after 3 tests):
0
[()]
[()] /= []

data Prop #

Constructors

Prop
Fields comparer :: Exp pattern :: Maybe Pat typeOrder :: TypeOrder teacherName :: Teacher Name studentName :: Student Name degenType :: Maybe Type

Instances details

Show Prop #
Instance details Defined in Test.Expr.Property Methods showsPrec :: Int -> Prop -> ShowS show :: Prop -> String showList :: [Prop] -> ShowS
Eq Prop #
Instance details Defined in Test.Expr.Property Methods (==) :: Prop -> Prop -> Bool (/=) :: Prop -> Prop -> Bool

compareTypes :: TypeOrder -> Teacher Type -> Student Type -> Q Exp #