Safe Haskell | None |
---|---|
Language | Haskell2010 |
- Module: Reflex.Vty.GHCi
- Description: Vty widgets useful when building your own GHCi runner
Synopsis
- statusDisplay :: (PostBuild t m, MonadHold t m, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Ghci t -> m ()
- scrollableOutput :: (Reflex t, HasDisplayRegion t m, HasFocus t m, HasFocusReader t m, HasImageWriter t m, HasInput t m, HasLayout t m, HasTheme t m, MonadFix m, MonadHold t m, MonadNodeId m, PostBuild t m) => Behavior t ByteString -> m ()
- scrollingOutput :: (Reflex t, Monad m, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m) => Dynamic t ByteString -> m ()
- ghciModuleStatus :: (MonadNodeId m, PostBuild t m, MonadHold t m, MonadFix m, Adjustable t m, HasLayout t m, HasImageWriter t m, HasFocusReader t m, HasDisplayRegion t m, HasInput t m, HasTheme t m, HasFocus t m) => Ghci t -> m ()
- ghciExecOutput :: (MonadHold t m, MonadFix m, Adjustable t m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m, HasInput t m) => Ghci t -> m ()
- ghciPanes :: (Reflex t, MonadFix m, MonadHold t m, MonadNodeId m, PostBuild t m, Adjustable t m, HasInput t m, HasImageWriter t m, HasFocusReader t m, HasDisplayRegion t m, HasTheme t m, HasLayout t m, HasFocus t m) => Ghci t -> m ()
- getExitEvent :: (PerformEvent t m, MonadIO (Performable m), HasInput t m) => Ghci t -> Event t a -> m (Event t ())
- shutdown :: (PerformEvent t m, MonadIO (Performable m)) => Event t (Ghci t) -> m (Event t ())
Documentation
statusDisplay :: (PostBuild t m, MonadHold t m, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Ghci t -> m () Source #
Display the overall status of the GHCi session, including exit information in case GHCi has quit
scrollableOutput :: (Reflex t, HasDisplayRegion t m, HasFocus t m, HasFocusReader t m, HasImageWriter t m, HasInput t m, HasLayout t m, HasTheme t m, MonadFix m, MonadHold t m, MonadNodeId m, PostBuild t m) => Behavior t ByteString -> m () Source #
A scrollable widget that displays a message at the bottom of the widget when there is additional content to view.
scrollingOutput :: (Reflex t, Monad m, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m) => Dynamic t ByteString -> m () Source #
A scrollable widget that scrolls down as output goes past the end of the widget
ghciModuleStatus :: (MonadNodeId m, PostBuild t m, MonadHold t m, MonadFix m, Adjustable t m, HasLayout t m, HasImageWriter t m, HasFocusReader t m, HasDisplayRegion t m, HasInput t m, HasTheme t m, HasFocus t m) => Ghci t -> m () Source #
Display the output GHCi produces when it's loading the requested modules (e.g., warnings)
ghciExecOutput :: (MonadHold t m, MonadFix m, Adjustable t m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m, HasInput t m) => Ghci t -> m () Source #
Display the output of the expression GHCi is evaluating
ghciPanes :: (Reflex t, MonadFix m, MonadHold t m, MonadNodeId m, PostBuild t m, Adjustable t m, HasInput t m, HasImageWriter t m, HasFocusReader t m, HasDisplayRegion t m, HasTheme t m, HasLayout t m, HasFocus t m) => Ghci t -> m () Source #
A widget that displays the module status and the execution status in two stacked, resizable panes
getExitEvent :: (PerformEvent t m, MonadIO (Performable m), HasInput t m) => Ghci t -> Event t a -> m (Event t ()) Source #
Listen for ctrl-c (and any other provided exit events) and shutdown the Ghci process upon receipt
shutdown :: (PerformEvent t m, MonadIO (Performable m)) => Event t (Ghci t) -> m (Event t ()) Source #
Shut down a given Ghci process