hermit-0.1.2.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Language.HERMIT.Primitive.Local
externals :: [External]Source
betaReduce :: RewriteH CoreExprSource
multiBetaReduce :: (Int -> Bool) -> RewriteH CoreExprSource
betaReducePlus :: RewriteH CoreExprSource
betaExpand :: RewriteH CoreExprSource
etaReduce :: RewriteH CoreExprSource
etaExpand :: Name -> RewriteH CoreExprSource
multiEtaExpand :: [Name] -> RewriteH CoreExprSource
dce :: RewriteH CoreExprSource