hermit- Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone




fixIntro :: RewriteH CoreDefSource

f = e ==> f = fix ( f -> e)

cleanupUnfold :: RewriteH CoreExprSource

cleanupUnfold cleans a unfold operation (for example, an inline or rule application) It is used at the level of the top-redex.

push :: Name -> RewriteH CoreExprSource

Push a function through a Case or Let expression. Unsafe if the function is not strict.

abstract :: Name -> RewriteH CoreExprSource

Abstract over a variable using a lambda. e ==> ( x. e) x