purebred-0.1.0.0: An mail user agent built around notmuch
UI.App
Description
The main application module
drawUI :: AppState -> [Widget Name] Source #
renderWidget :: AppState -> ViewName -> Name -> Widget Name Source #
handleViewEvent :: ViewName -> Name -> AppState -> Event -> EventM Name (Next AppState) Source #
appEvent :: AppState -> BrickEvent Name e -> EventM Name (Next AppState) Source #
initialState :: InternalConfiguration -> IO AppState Source #
theApp :: AppState -> App AppState e Name Source #