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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.Externals

Documentation

shell_externals :: [External] Source

gc :: CommandLineState -> IO CommandLineState Source

setWindow :: CommandLineState -> IO CommandLineState Source

showRenderers :: QueryFun Source

versionCmd :: VersionCmd -> CommandLineState -> IO CommandLineState Source

showDerivationTree :: CommandLineState -> IO String Source

showRefactorTrail :: (Eq a, Show a) => [(a, [String], a)] -> [(a, String)] -> a -> a -> [String] Source

displayScripts :: QueryFun Source

showScripts :: [(ScriptName, Script)] -> String Source

testAllT :: CommandLineState -> TransformH Core String Source

testRewrites :: Bool -> [(ExternalName, RewriteH Core)] -> TransformH Core String Source