Searched refs:renderListWithIndex (Results 1 – 9 of 9) sorted by relevance
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/brick-0.62/src/Brick/Widgets/ |
H A D | List.hs | 29 , renderListWithIndex 312 renderList drawElem = renderListWithIndex $ const drawElem 318 renderListWithIndex :: (Traversable t, Splittable t, Ord n, Show n) 328 renderListWithIndex drawElem foc l = function
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/brick-0.62/src/Brick/Widgets/ |
H A D | List.hs | 29 , renderListWithIndex 312 renderList drawElem = renderListWithIndex $ const drawElem 318 renderListWithIndex :: (Traversable t, Splittable t, Ord n, Show n) 328 renderListWithIndex drawElem foc l = function
|
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/brick-0.62/src/Brick/Widgets/ |
H A D | List.hs | 29 , renderListWithIndex 312 renderList drawElem = renderListWithIndex $ const drawElem 318 renderListWithIndex :: (Traversable t, Splittable t, Ord n, Show n) 328 renderListWithIndex drawElem foc l = function
|
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/brick-0.55/src/Brick/Widgets/ |
H A D | List.hs | 29 , renderListWithIndex 294 renderList drawElem = renderListWithIndex $ const drawElem 300 renderListWithIndex :: (Traversable t, Splittable t, Ord n, Show n) 310 renderListWithIndex drawElem foc l = function
|
/dports/misc/hs-hascard/hascard-0.3.0.1/src/UI/ |
H A D | CardSelector.hs | 53 L.renderListWithIndex (drawListElement l) True l
|
/dports/misc/hs-hascard/hascard-0.3.0.1/_cabal_deps/brick-0.55/ |
H A D | CHANGELOG.md | 350 * Added `Brick.Widgets.List.renderListWithIndex` that passes
|
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/brick-0.62/ |
H A D | CHANGELOG.md | 478 * Added `Brick.Widgets.List.renderListWithIndex` that passes
|
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/brick-0.62/ |
H A D | CHANGELOG.md | 478 * Added `Brick.Widgets.List.renderListWithIndex` that passes
|
/dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/brick-0.62/ |
H A D | CHANGELOG.md | 478 * Added `Brick.Widgets.List.renderListWithIndex` that passes
|