hermit-0.1.1.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellSafe-Infered

Language.HERMIT.Primitive.Local

Documentation

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