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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.ScriptToRewrite

Contents

Synopsis

Converting Scripts to Rewrites

addScriptToDict :: MonadState CommandLineState m => ScriptName -> Script -> m () Source

Insert a script into the Dictionary.

loadAndRun :: FilePath -> ScriptEffect Source

A composite meta-command for running a loaded script immediately. The script is given the same name as the filepath.