Module PropertyUsage

isProperty :: CFuncDecl -> Bool   

Check whether a function definition is a property, i.e., if the result type is Prop or PropIO.

isPropType :: CTypeExpr -> Bool   

Is the type expression the type Test.EasyCheck.Prop?

isPropIOType :: CTypeExpr -> Bool   

Is the type expression the type Test.EasyCheck.PropIO?

isEquivProperty :: CFuncDecl -> Maybe (CExpr,CExpr)   

Check whether a function definition is an equivalence property, i.e., has the form test = f1 <=> f2. If yes, returns both operations, otherwise Nothing is returned.

propModule :: String   

Name of the Test.Prop module (the clone of the EasyCheck module).

Further infos:

• solution complete, i.e., able to compute all solutions

propTypesModule :: String   

Name of the Test.Prop.Types module (containing property type definitions).

Further infos:

• solution complete, i.e., able to compute all solutions

easyCheckModule :: String   

Name of the EasyCheck module.

Further infos:

• solution complete, i.e., able to compute all solutions

easyCheckExecModule :: String   

Name of the EasyCheckExec module.

Further infos:

• solution complete, i.e., able to compute all solutions