Safe Haskell | None |
---|
Text frontend based on Gtk.
- data FrontendSession
- display :: Area -> FrontendSession -> (PointXY -> (Attr, Char)) -> String -> String -> IO ()
- nextEvent :: FrontendSession -> IO Key
- frontendName :: String
- startup :: String -> (FrontendSession -> IO ()) -> IO ()
- shutdown :: FrontendSession -> IO ()
Session data type for the frontend
data FrontendSession Source
Session data maintained by the frontend.
The output and input operations
:: Area | the size of the drawn area |
-> FrontendSession | current session data |
-> (PointXY -> (Attr, Char)) | the content of the screen |
-> String | an extra line to show at the top |
-> String | an extra line to show at the bottom |
-> IO () |
Output to the screen via the frontend.
nextEvent :: FrontendSession -> IO KeySource
Input key via the frontend.
Frontend administration tools
The name of the frontend.
startup :: String -> (FrontendSession -> IO ()) -> IO ()Source
Starts the main program loop using the frontend input and output.
shutdown :: FrontendSession -> IO ()Source
Shuts down the frontend cleanly.