| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHCup.Brick.Widgets.Navigation
Contents
Synopsis
- type BrickInternalState = SectionList Name ListResult
- create :: Name -> [(Name, Vector ListResult)] -> Int -> BrickInternalState
- handler :: BrickEvent Name e -> EventM Name BrickInternalState ()
- draw :: AttrMap -> BrickInternalState -> Widget Name
Documentation
type BrickInternalState = SectionList Name ListResult Source #
create :: Name -> [(Name, Vector ListResult)] -> Int -> BrickInternalState Source #
How to create a navigation widget
handler :: BrickEvent Name e -> EventM Name BrickInternalState () Source #
How the navigation handler handle events