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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.ScriptToRewrite

Contents

Synopsis

Converting Scripts to Rewrites

addScriptToDict :: CLMonad 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.