Hamming widget skeleton
This commit is contained in:
parent
21242ecbfa
commit
e216432a77
|
@ -24,6 +24,8 @@ library
|
|||
Hamming
|
||||
Hamming.App
|
||||
Hamming.App.Types
|
||||
Hamming.App.Widgets
|
||||
Hamming.App.Widgets.Internal
|
||||
other-modules:
|
||||
Paths_hamming
|
||||
autogen-modules:
|
||||
|
|
|
@ -34,7 +34,7 @@ import Brick.Widgets.Core (emptyWidget)
|
|||
|
||||
import Hamming.App.Types
|
||||
|
||||
mainApp :: App AppState () ()
|
||||
mainApp :: App AppState () ResName
|
||||
mainApp = App
|
||||
{ appDraw = drawFunc
|
||||
, appChooseCursor = neverShowCursor
|
||||
|
@ -43,10 +43,12 @@ mainApp = App
|
|||
, appAttrMap = const $ forceAttrMap $ style 0
|
||||
}
|
||||
|
||||
drawFunc :: AppState -> [Widget ()]
|
||||
drawFunc :: AppState -> [Widget ResName]
|
||||
drawFunc = const [emptyWidget]
|
||||
|
||||
eventHandler :: BrickEvent () () -> EventM () AppState ()
|
||||
eventHandler
|
||||
:: BrickEvent ResName ()
|
||||
-> EventM ResName AppState ()
|
||||
eventHandler = const halt
|
||||
|
||||
--jl
|
||||
|
|
|
@ -27,9 +27,14 @@ License along with this program. If not, see
|
|||
{-# LANGUAGE TemplateHaskell #-}
|
||||
|
||||
module Hamming.App.Types (
|
||||
-- * Application State
|
||||
AppState (..),
|
||||
-- ** Lenses
|
||||
hammingCode,
|
||||
initialState
|
||||
-- * Resource Name
|
||||
ResName,
|
||||
-- * Constructors
|
||||
initialState,
|
||||
) where
|
||||
|
||||
import Data.Word (Word16)
|
||||
|
@ -40,6 +45,8 @@ data AppState = AppState
|
|||
{ _hammingCode :: Word16
|
||||
}
|
||||
|
||||
type ResName = ()
|
||||
|
||||
makeLenses ''AppState
|
||||
|
||||
-- | Initial application state
|
||||
|
|
|
@ -0,0 +1,53 @@
|
|||
{-|
|
||||
|
||||
Module : Hamming.App.Widgets
|
||||
Description : Utilities for working with Hamming codes
|
||||
Copyright : (C) Jonathan Lamothe
|
||||
License : AGPL-3.0-or-later
|
||||
Maintainer : jonathan@jlamothe.net
|
||||
Stability : experimental
|
||||
Portability : POSIX
|
||||
|
||||
This program is free software: you can redistribute it and/or modify
|
||||
it under the terms of the GNU Affero General Public License as
|
||||
published by the Free Software Foundation, either version 3 of the
|
||||
License, or (at your option) any later version.
|
||||
|
||||
This program is distributed in the hope that it will be useful, but
|
||||
WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
||||
Affero General Public License for more details.
|
||||
|
||||
You should have received a copy of the GNU Affero General Public
|
||||
License along with this program. If not, see
|
||||
<https://www.gnu.org/licenses/>.
|
||||
|
||||
|-}
|
||||
|
||||
module Hamming.App.Widgets (hammingW) where
|
||||
|
||||
import Brick.AttrMap (attrName)
|
||||
import Brick.Types (Widget)
|
||||
import Brick.Widgets.Core (hBox, str, vBox, withAttr)
|
||||
|
||||
import Hamming.App.Types
|
||||
import Hamming.App.Widgets.Internal
|
||||
|
||||
-- | generates a "Widget" from a hamming code
|
||||
hammingW
|
||||
:: AppState
|
||||
-> Widget ResName
|
||||
hammingW = withAttr (attrName "hamming")
|
||||
. vBox
|
||||
. map
|
||||
( hBox
|
||||
. map
|
||||
( \(ns, v) -> foldr
|
||||
(withAttr . attrName)
|
||||
(str v)
|
||||
ns
|
||||
)
|
||||
)
|
||||
. hammingW'
|
||||
|
||||
--jl
|
|
@ -0,0 +1,34 @@
|
|||
{-|
|
||||
|
||||
Module : Hamming.App.Widgets.Internal
|
||||
Description : Utilities for working with Hamming codes
|
||||
Copyright : (C) Jonathan Lamothe
|
||||
License : AGPL-3.0-or-later
|
||||
Maintainer : jonathan@jlamothe.net
|
||||
Stability : experimental
|
||||
Portability : POSIX
|
||||
|
||||
This program is free software: you can redistribute it and/or modify
|
||||
it under the terms of the GNU Affero General Public License as
|
||||
published by the Free Software Foundation, either version 3 of the
|
||||
License, or (at your option) any later version.
|
||||
|
||||
This program is distributed in the hope that it will be useful, but
|
||||
WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
||||
Affero General Public License for more details.
|
||||
|
||||
You should have received a copy of the GNU Affero General Public
|
||||
License along with this program. If not, see
|
||||
<https://www.gnu.org/licenses/>.
|
||||
|
||||
|-}
|
||||
|
||||
module Hamming.App.Widgets.Internal (hammingW') where
|
||||
|
||||
import Hamming.App.Types
|
||||
|
||||
hammingW' :: AppState -> [[([String], String)]]
|
||||
hammingW' = undefined
|
||||
|
||||
--jl
|
Loading…
Reference in New Issue
Block a user