Test.DejaFu.Refinement

Defining properties

data Sig s o x

data RefinementProperty o x

expectFailure

A refines B

refines

(=>=)

A strictly refines B

strictlyRefines

(->-)

A is equivalent to B

equivalentTo

(===)

Testing properties

data FailedProperty o x

class Testable a

check

check'

checkFor

counterExamples

Re-exports

class Listable a