mirror of
https://github.com/jtdaugherty/brick.git
synced 2024-12-04 07:05:51 +03:00
fc8cfe3b4a
This change makes it possible for brick to extent the event space using its own event notions in addition those provided by Vty and the application itself. This means we no longer need the user to provide the type and appLiftVtyEvent went away. This makes pattern-matching in event handlers a little noisier with the benefit that we can now add events like mouse clicks or drags to the event type.
94 lines
2.7 KiB
Haskell
94 lines
2.7 KiB
Haskell
{-# LANGUAGE OverloadedStrings #-}
|
|
{-# LANGUAGE TemplateHaskell #-}
|
|
{-# LANGUAGE RankNTypes #-}
|
|
module Main where
|
|
|
|
import Lens.Micro
|
|
import Lens.Micro.TH
|
|
import qualified Graphics.Vty as V
|
|
|
|
import qualified Brick.Main as M
|
|
import qualified Brick.Types as T
|
|
import Brick.Widgets.Core
|
|
( (<+>)
|
|
, (<=>)
|
|
, hLimit
|
|
, vLimit
|
|
, str
|
|
)
|
|
import qualified Brick.Widgets.Center as C
|
|
import qualified Brick.Widgets.Edit as E
|
|
import qualified Brick.AttrMap as A
|
|
import qualified Brick.Focus as F
|
|
import Brick.Util (on)
|
|
|
|
data Name = Edit1
|
|
| Edit2
|
|
deriving (Ord, Show, Eq)
|
|
|
|
data St =
|
|
St { _focusRing :: F.FocusRing Name
|
|
, _edit1 :: E.Editor String Name
|
|
, _edit2 :: E.Editor String Name
|
|
}
|
|
|
|
makeLenses ''St
|
|
|
|
drawUI :: St -> [T.Widget Name]
|
|
drawUI st = [ui]
|
|
where
|
|
e1 = F.withFocusRing (st^.focusRing) E.renderEditor (st^.edit1)
|
|
e2 = F.withFocusRing (st^.focusRing) E.renderEditor (st^.edit2)
|
|
|
|
ui = C.center $
|
|
(str "Input 1 (unlimited): " <+> (hLimit 30 $ vLimit 5 e1)) <=>
|
|
str " " <=>
|
|
(str "Input 2 (limited to 2 lines): " <+> (hLimit 30 e2)) <=>
|
|
str " " <=>
|
|
str "Press Tab to switch between editors, Esc to quit."
|
|
|
|
appEvent :: St -> T.BrickEvent Name e -> T.EventM Name (T.Next St)
|
|
appEvent st (T.VtyEvent ev) =
|
|
case ev of
|
|
V.EvKey V.KEsc [] -> M.halt st
|
|
V.EvKey (V.KChar '\t') [] -> M.continue $ st & focusRing %~ F.focusNext
|
|
V.EvKey V.KBackTab [] -> M.continue $ st & focusRing %~ F.focusPrev
|
|
|
|
_ -> M.continue =<< case F.focusGetCurrent (st^.focusRing) of
|
|
Just Edit1 -> T.handleEventLensed st edit1 E.handleEditorEvent ev
|
|
Just Edit2 -> T.handleEventLensed st edit2 E.handleEditorEvent ev
|
|
Nothing -> return st
|
|
appEvent st _ = M.continue st
|
|
|
|
initialState :: St
|
|
initialState =
|
|
St (F.focusRing [Edit1, Edit2])
|
|
(E.editor Edit1 (str . unlines) Nothing "")
|
|
(E.editor Edit2 (str . unlines) (Just 2) "")
|
|
|
|
theMap :: A.AttrMap
|
|
theMap = A.attrMap V.defAttr
|
|
[ (E.editAttr, V.white `on` V.blue)
|
|
, (E.editFocusedAttr, V.black `on` V.yellow)
|
|
]
|
|
|
|
appCursor :: St -> [T.CursorLocation Name] -> Maybe (T.CursorLocation Name)
|
|
appCursor = F.focusRingCursor (^.focusRing)
|
|
|
|
theApp :: M.App St e Name
|
|
theApp =
|
|
M.App { M.appDraw = drawUI
|
|
, M.appChooseCursor = appCursor
|
|
, M.appHandleEvent = appEvent
|
|
, M.appStartEvent = return
|
|
, M.appAttrMap = const theMap
|
|
}
|
|
|
|
main :: IO ()
|
|
main = do
|
|
st <- M.defaultMain theApp initialState
|
|
putStrLn "In input 1 you entered:\n"
|
|
putStrLn $ unlines $ E.getEditContents $ st^.edit1
|
|
putStrLn "In input 2 you entered:\n"
|
|
putStrLn $ unlines $ E.getEditContents $ st^.edit2
|