Test.DejaFu.Refinement
data Sig s o x
data RefinementProperty o x
expectFailure
refines
(=>=)
strictlyRefines
(->-)
equivalentTo
(===)
data FailedProperty o x
class Testable a
check
check'
checkFor
counterExamples
class Listable a