Copyright | (c) Itai Y. Efrat 2020-2021 |
---|---|
License | GPLv2-or-later (see LICENSE) |
Maintainer | Itai Y. Efrat <itai3397@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Functions for the Help view.
Synopsis
- drawNowPlaying :: HumState -> Widget Name
- drawProgressBar :: HumState -> Widget Name
- data PerCol
- column :: Maybe PerCol -> Padding -> Padding -> Widget n -> Widget n
- songSearch :: Text -> [Metadata] -> Song -> Bool
- stringySearch :: ToString a => Text -> a -> Bool
- drawPrompt :: HumState -> Widget Name
- drawPlSelectRow :: Int -> Bool -> Maybe PlaylistName -> Widget n
Documentation
Either a number or a percent. To be used for widget horizontal size.
:: Maybe PerCol | Maximum width, greedy if Nothing. |
-> Padding | Left padding |
-> Padding | Right padding |
-> Widget n | |
-> Widget n |
Helper function for drawing column rows.
songSearch :: Text -> [Metadata] -> Song -> Bool Source #
Returns True if text is substring of one of the given tags of the given song.
stringySearch :: ToString a => Text -> a -> Bool Source #
Returns True if text is substring of the given strings.
drawPlSelectRow :: Int -> Bool -> Maybe PlaylistName -> Widget n Source #
Draw row in playlist select prompt.