mirror of
https://github.com/jtdaugherty/brick.git
synced 2024-10-27 01:27:24 +03:00
ViewportScrollDemo: use explicit imports
This commit is contained in:
parent
d6f34261bc
commit
a460d2fd15
@ -6,59 +6,68 @@ import Control.Applicative
|
|||||||
import Control.Monad (void)
|
import Control.Monad (void)
|
||||||
import Data.Monoid
|
import Data.Monoid
|
||||||
import Data.Default
|
import Data.Default
|
||||||
import Graphics.Vty
|
import qualified Graphics.Vty as V
|
||||||
|
|
||||||
import Brick.Types
|
import qualified Brick.Types as T
|
||||||
import Brick.Main
|
import qualified Brick.Main as M
|
||||||
|
import qualified Brick.Widgets.Center as C
|
||||||
|
import qualified Brick.Widgets.Border as B
|
||||||
import Brick.Widgets.Core
|
import Brick.Widgets.Core
|
||||||
import Brick.Widgets.Center
|
( Widget
|
||||||
import Brick.Widgets.Border
|
, ViewportType(Horizontal, Vertical)
|
||||||
|
, hLimit
|
||||||
|
, vLimit
|
||||||
|
, hBox
|
||||||
|
, vBox
|
||||||
|
, viewport
|
||||||
|
, str
|
||||||
|
)
|
||||||
|
|
||||||
vp1Name :: Name
|
vp1Name :: T.Name
|
||||||
vp1Name = "demo1"
|
vp1Name = "demo1"
|
||||||
|
|
||||||
vp2Name :: Name
|
vp2Name :: T.Name
|
||||||
vp2Name = "demo2"
|
vp2Name = "demo2"
|
||||||
|
|
||||||
drawUi :: () -> [Widget]
|
drawUi :: () -> [Widget]
|
||||||
drawUi = const [ui]
|
drawUi = const [ui]
|
||||||
where
|
where
|
||||||
ui = center $
|
ui = C.center $
|
||||||
hLimit 60 $
|
hLimit 60 $
|
||||||
vLimit 20 $
|
vLimit 20 $
|
||||||
border $
|
B.border $
|
||||||
hBox [ viewport vp1Name Vertical $
|
hBox [ viewport vp1Name Vertical $
|
||||||
vBox $ "Press up and down arrow keys" :
|
vBox $ "Press up and down arrow keys" :
|
||||||
"to scroll this viewport." :
|
"to scroll this viewport." :
|
||||||
(str <$> [ "Line " <> (show i) | i <- [3..50::Int] ])
|
(str <$> [ "Line " <> (show i) | i <- [3..50::Int] ])
|
||||||
, vBorder
|
, B.vBorder
|
||||||
, viewport vp2Name Horizontal
|
, viewport vp2Name Horizontal
|
||||||
"Press left and right arrow keys to scroll this viewport."
|
"Press left and right arrow keys to scroll this viewport."
|
||||||
]
|
]
|
||||||
|
|
||||||
vp1Scroll :: ViewportScroll
|
vp1Scroll :: M.ViewportScroll
|
||||||
vp1Scroll = viewportScroll vp1Name
|
vp1Scroll = M.viewportScroll vp1Name
|
||||||
|
|
||||||
vp2Scroll :: ViewportScroll
|
vp2Scroll :: M.ViewportScroll
|
||||||
vp2Scroll = viewportScroll vp2Name
|
vp2Scroll = M.viewportScroll vp2Name
|
||||||
|
|
||||||
appEvent :: () -> Event -> EventM (Next ())
|
appEvent :: () -> V.Event -> M.EventM (M.Next ())
|
||||||
appEvent _ (EvKey KDown []) = scrollBy vp1Scroll 1 >> continue ()
|
appEvent _ (V.EvKey V.KDown []) = M.scrollBy vp1Scroll 1 >> M.continue ()
|
||||||
appEvent _ (EvKey KUp []) = scrollBy vp1Scroll (-1) >> continue ()
|
appEvent _ (V.EvKey V.KUp []) = M.scrollBy vp1Scroll (-1) >> M.continue ()
|
||||||
appEvent _ (EvKey KRight []) = scrollBy vp2Scroll 1 >> continue ()
|
appEvent _ (V.EvKey V.KRight []) = M.scrollBy vp2Scroll 1 >> M.continue ()
|
||||||
appEvent _ (EvKey KLeft []) = scrollBy vp2Scroll (-1) >> continue ()
|
appEvent _ (V.EvKey V.KLeft []) = M.scrollBy vp2Scroll (-1) >> M.continue ()
|
||||||
appEvent _ (EvKey KEsc []) = halt ()
|
appEvent _ (V.EvKey V.KEsc []) = M.halt ()
|
||||||
appEvent _ _ = continue ()
|
appEvent _ _ = M.continue ()
|
||||||
|
|
||||||
app :: App () Event
|
app :: M.App () V.Event
|
||||||
app =
|
app =
|
||||||
App { appDraw = drawUi
|
M.App { M.appDraw = drawUi
|
||||||
, appStartEvent = return
|
, M.appStartEvent = return
|
||||||
, appHandleEvent = appEvent
|
, M.appHandleEvent = appEvent
|
||||||
, appAttrMap = const def
|
, M.appAttrMap = const def
|
||||||
, appMakeVtyEvent = id
|
, M.appMakeVtyEvent = id
|
||||||
, appChooseCursor = neverShowCursor
|
, M.appChooseCursor = M.neverShowCursor
|
||||||
}
|
}
|
||||||
|
|
||||||
main :: IO ()
|
main :: IO ()
|
||||||
main = void $ defaultMain app ()
|
main = void $ M.defaultMain app ()
|
||||||
|
Loading…
Reference in New Issue
Block a user