Safe Haskell | None |
---|---|
Language | Haskell2010 |
HERMIT.Plugin.Display
Documentation
ps_putStr :: (MonadIO m, MonadState PluginState m) => String -> m () Source
ps_putStrLn :: (MonadIO m, MonadState PluginState m) => String -> m () Source
hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel
Safe Haskell | None |
---|---|
Language | Haskell2010 |
HERMIT.Plugin.Display
ps_putStr :: (MonadIO m, MonadState PluginState m) => String -> m () Source
ps_putStrLn :: (MonadIO m, MonadState PluginState m) => String -> m () Source