HERMIT.Dictionary.GHC

GHC-based Transformations

externals

Substitution

substR

substCoreAlt

substCoreExpr

Utilities

dynFlagsT

arityOf

Lifted GHC capabilities

lintExprT

lintModuleT

occurAnalyseR

occurAnalyseChangedR

occurAnalyseExprChangedR

occurAnalyseAndDezombifyR

dezombifyR