Moduleinspection-testing-0.6.2Haskell2010

Test.Inspection.Core

This module implements some analyses of Core expressions necessary for Test.Inspection. Normally, users of this package can ignore this module.

9 values

Packageinspection-testing-0.6.2
Exports9
LanguageHaskell2010
LicenceMIT
SourceCore.hs

valueslice :: [(Var, CoreExpr)] -> Var -> Slice

Selects those bindings that define the given variable (with this variable first)

valuepprSlice :: Slice -> SDoc

Pretty-print a slice

valuepprSliceDifference :: Slice -> Slice -> SDoc

Pretty-print two slices, after removing variables occurring in both

valueeqSlice :: Equivalence -> Slice -> Slice -> Bool

This is a heuristic, which only works if both slices have auxiliary variables in the right order. (This is mostly to work-around the buggy CSE in GHC-8.0) It also breaks if there is shadowing.

valueeqSlice' :: Equivalence -> Slice -> Slice -> Either SDoc ()

Like eqSlice but also returns an explanation of inequality.

valuefreeOfType :: Slice -> [Name] -> Maybe (Var, CoreExpr)

Returns True if the given core expression mentions no type constructor anywhere that has the given name.

valuefreeOfTerm :: Slice -> [Name] -> Maybe (Var, CoreExpr)

Returns True if the given core expression mentions no term variable anywhere that has the given name.

valuedoesNotAllocate :: Slice -> Maybe (Var, CoreExpr)

True if the given variable binding does not allocate, if called fully satisfied.

It currently does not look through function calls, which of course could allocate. It should probably at least look through local function calls.

The variable is important to know the arity of the function.

valuedoesNotContainTypeClasses

:: Slice
-> [Name]
-> Maybe (Var, CoreExpr, [TyCon])