Safe Haskell | None |
---|
- externals :: [External]
- foldR :: ReadBindings c => Name -> Rewrite c HermitM CoreExpr
- foldVarR :: ReadBindings c => Var -> Maybe BindingDepth -> Rewrite c HermitM CoreExpr
- stashFoldR :: ReadBindings c => Label -> Rewrite c HermitM CoreExpr
- stashFoldAnyR :: ReadBindings c => Rewrite c HermitM CoreExpr
Fold/Unfold Transformation
foldVarR :: ReadBindings c => Var -> Maybe BindingDepth -> Rewrite c HermitM CoreExprSource
stashFoldR :: ReadBindings c => Label -> Rewrite c HermitM CoreExprSource
stashFoldAnyR :: ReadBindings c => Rewrite c HermitM CoreExprSource