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

Safe HaskellNone

HERMIT.Shell.ScriptToRewrite

Contents

Synopsis

Converting Scripts to Rewrites

addScriptToDict :: Monad m => ScriptName -> Script -> Dictionary -> m DictionarySource

Insert a script into the Dictionary.