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

Safe HaskellNone
LanguageHaskell2010

HERMIT.Shell.ShellEffect

Documentation

data ShellEffect :: * where Source

Constructors

Abort :: ShellEffect 
CLSModify :: CLT IO () -> ShellEffect 
PluginComp :: PluginM () -> ShellEffect 
Continue :: ShellEffect 
Resume :: ShellEffect 

Instances

performShellEffect :: (MonadCatch m, CLMonad m) => ShellEffect -> m () Source

dumpT :: FilePath -> PrettyPrinter -> String -> Int -> TransformH DocH () Source

dump :: FilePath -> PrettyPrinter -> String -> Int -> CLT IO () Source