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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.Externals

Documentation

shell_externals :: [External] Source

gc :: CLT IO () Source

setWindow :: CLT IO () Source

showRenderers :: QueryFun Source

versionCmd :: VersionCmd -> CLT IO () Source

showDerivationTree :: PluginReader -> CommandLineState -> IO String Source

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

displayScripts :: QueryFun Source

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

testAllT :: CommandLineState -> TransformH LCore String Source

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