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

Safe HaskellNone

Language.HERMIT.Optimize

Contents

Synopsis

The HERMIT Plugin

Running translations

run :: RewriteH Core -> OM ()Source

Using the shell

display :: OM ()Source

Active modifiers

at :: TranslateH Core Path -> OM () -> OM ()Source

phase :: Int -> OM () -> OM ()Source

after :: CorePass -> OM () -> OM ()Source

before :: CorePass -> OM () -> OM ()Source

allPhases :: OM () -> OM ()Source