Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- drawListWindow :: ListWindowState a b -> (b -> Widget Name) -> (b -> Widget Name) -> (b -> Widget Name) -> (Bool -> a -> Widget Name) -> Maybe (Widget Name) -> WindowPosition -> Int -> Widget Name
- data WindowPosition
Documentation
:: ListWindowState a b | The window state |
-> (b -> Widget Name) | The function to build the window title from the current search scope |
-> (b -> Widget Name) | The function to generate a message for the search scope indicating that no results were found |
-> (b -> Widget Name) | The function to generate the editor prompt for the search scope |
-> (Bool -> a -> Widget Name) | The function to render an item from the window's list |
-> Maybe (Widget Name) | The footer widget to render underneath the search results |
-> WindowPosition | How to position the window layer |
-> Int | The maximum window width in columns |
-> Widget Name |
Draw a ListWindowState. This draws a bordered box with the window's search input and results list inside the box. The provided functions determine how to render the window in various states.
data WindowPosition Source #
Instances
Show WindowPosition Source # | |
Defined in Matterhorn.Draw.ListWindow showsPrec :: Int -> WindowPosition -> ShowS # show :: WindowPosition -> String # showList :: [WindowPosition] -> ShowS # | |
Eq WindowPosition Source # | |
Defined in Matterhorn.Draw.ListWindow (==) :: WindowPosition -> WindowPosition -> Bool # (/=) :: WindowPosition -> WindowPosition -> Bool # |