| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Matterhorn.Draw.ListWindow
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
Arguments
| :: 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 #
Constructors
| WindowCenter | |
| WindowUpperRight |
Instances
| Show WindowPosition Source # | |
Defined in Matterhorn.Draw.ListWindow Methods showsPrec :: Int -> WindowPosition -> ShowS # show :: WindowPosition -> String # showList :: [WindowPosition] -> ShowS # | |
| Eq WindowPosition Source # | |
Defined in Matterhorn.Draw.ListWindow Methods (==) :: WindowPosition -> WindowPosition -> Bool # (/=) :: WindowPosition -> WindowPosition -> Bool # | |