inspection-testing-0.6.2: GHC plugin to do inspection testing

Index

=/- | Test.Inspection
=/= | Test.Inspection
=/~ | Test.Inspection
==- | Test.Inspection
=== | Test.Inspection
==~ | Test.Inspection
checkProperty | Test.Inspection.Plugin
CheckResult | Test.Inspection.Plugin
CoreOf | Test.Inspection
coreOf | Test.Inspection
doesNotAllocate | Test.Inspection.Core
doesNotContainTypeClasses | Test.Inspection.Core
doesNotUse | Test.Inspection
eqSlice | Test.Inspection.Core
eqSlice' | Test.Inspection.Core
EqualTo | Test.Inspection
Equivalence | Test.Inspection
expectFail | Test.Inspection
Failure | Test.Inspection
freeOfTerm | Test.Inspection.Core
freeOfType | Test.Inspection.Core
hasNoGenerics | Test.Inspection
hasNoType | Test.Inspection
hasNoTypeClasses | Test.Inspection
hasNoTypeClassesExcept | Test.Inspection
IgnoreTypesAndTicksEquiv | Test.Inspection
inspect | Test.Inspection
inspectTest | Test.Inspection
mkObligation | Test.Inspection
NoAllocation | Test.Inspection
NoTypeClasses | Test.Inspection
NoTypes | Test.Inspection
NoUseOf | Test.Inspection
Obligation |
1 (Type/Class) | Test.Inspection
2 (Data Constructor) | Test.Inspection
plugin | Test.Inspection.Plugin
pprSlice | Test.Inspection.Core
pprSliceDifference | Test.Inspection.Core
prettyProperty | Test.Inspection.Plugin
Property | Test.Inspection
property | Test.Inspection
ResFailure | Test.Inspection.Plugin
ResSuccess | Test.Inspection.Plugin
ResSuccessWithMessage | Test.Inspection.Plugin
Result | Test.Inspection
slice | Test.Inspection.Core
srcLoc | Test.Inspection
storeResult | Test.Inspection
StrictEquiv | Test.Inspection
Success | Test.Inspection
target | Test.Inspection
testName | Test.Inspection
UnorderedLetsEquiv | Test.Inspection