inspection-testing-0.5: GHC plugin to do inspection testing (Index)

inspection-testing-0.5: 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
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