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

Safe HaskellNone

Language.HERMIT.Primitive.Fold

Contents

Synopsis

Fold/Unfold Transformation

externals :: [External]Source

foldR :: Name -> RewriteH CoreExprSource

stashFoldR :: String -> RewriteH CoreExprSource