Index
=/= | Test.Inspection |
==- | Test.Inspection |
=== | Test.Inspection |
doesNotAllocate | Test.Inspection.Core |
doesNotContainTypeClasses | Test.Inspection.Core |
doesNotUse | Test.Inspection |
eqSlice | Test.Inspection.Core |
EqualTo | 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 |
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 |
Property | Test.Inspection |
property | Test.Inspection |
Result | Test.Inspection |
slice | Test.Inspection.Core |
srcLoc | Test.Inspection |
storeResult | Test.Inspection |
Success | Test.Inspection |
target | Test.Inspection |
testName | Test.Inspection |