hermit-0.7.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 (Either CLException CommandLineState) Source

showRenderers :: QueryFun Source

versionCmd :: VersionCmd -> CommandLineState -> IO (Either CLException CommandLineState) Source

showDerivationTree :: 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