mirror of
https://github.com/ilyakooo0/reflex-vty.git
synced 2024-10-03 20:48:04 +03:00
fix examples
This commit is contained in:
parent
533265e7d7
commit
2c9156e8d7
@ -100,7 +100,7 @@ cpuStats
|
|||||||
, HasLayout t m
|
, HasLayout t m
|
||||||
, HasFocus t m
|
, HasFocus t m
|
||||||
, HasInput t m
|
, HasInput t m
|
||||||
, HasFocusReader t m
|
, HasFocusReader t m, HasTheme t m
|
||||||
)
|
)
|
||||||
=> m ()
|
=> m ()
|
||||||
cpuStats = do
|
cpuStats = do
|
||||||
@ -122,7 +122,7 @@ chart
|
|||||||
, HasImageWriter t m
|
, HasImageWriter t m
|
||||||
, HasInput t m
|
, HasInput t m
|
||||||
, HasDisplayRegion t m
|
, HasDisplayRegion t m
|
||||||
, HasFocusReader t m
|
, HasFocusReader t m, HasTheme t m
|
||||||
)
|
)
|
||||||
=> Dynamic t (Ratio Word64) -> m ()
|
=> Dynamic t (Ratio Word64) -> m ()
|
||||||
chart pct = do
|
chart pct = do
|
||||||
|
@ -23,7 +23,7 @@ type VtyExample t m =
|
|||||||
, HasImageWriter t m
|
, HasImageWriter t m
|
||||||
, HasDisplayRegion t m
|
, HasDisplayRegion t m
|
||||||
, HasFocus t m
|
, HasFocus t m
|
||||||
, HasFocusReader t m
|
, HasFocusReader t m, HasTheme t m
|
||||||
)
|
)
|
||||||
|
|
||||||
type Manager t m =
|
type Manager t m =
|
||||||
@ -46,12 +46,20 @@ withCtrlC f = do
|
|||||||
V.EvKey (V.KChar 'c') [V.MCtrl] -> Just ()
|
V.EvKey (V.KChar 'c') [V.MCtrl] -> Just ()
|
||||||
_ -> Nothing
|
_ -> Nothing
|
||||||
|
|
||||||
|
darkTheme :: V.Attr
|
||||||
|
darkTheme = V.Attr {
|
||||||
|
V.attrStyle = V.SetTo V.standout
|
||||||
|
, V.attrForeColor = V.SetTo V.black
|
||||||
|
, V.attrBackColor = V.Default
|
||||||
|
, V.attrURL = V.Default
|
||||||
|
}
|
||||||
|
|
||||||
main :: IO ()
|
main :: IO ()
|
||||||
main = mainWidget $ withCtrlC $ do
|
main = mainWidget $ withCtrlC $ do
|
||||||
initManager_ $ do
|
initManager_ $ do
|
||||||
tabNavigation
|
tabNavigation
|
||||||
let gf = grout . fixed
|
let gf = grout . fixed
|
||||||
t = tile flex
|
t = tile flex
|
||||||
buttons = col $ do
|
buttons = col $ do
|
||||||
gf 3 $ col $ do
|
gf 3 $ col $ do
|
||||||
gf 1 $ text "Select an example."
|
gf 1 $ text "Select an example."
|
||||||
@ -77,7 +85,7 @@ main = mainWidget $ withCtrlC $ do
|
|||||||
_ -> Nothing
|
_ -> Nothing
|
||||||
rec out <- networkHold buttons $ ffor (switch (current out)) $ \case
|
rec out <- networkHold buttons $ ffor (switch (current out)) $ \case
|
||||||
Left Example_Todo -> escapable taskList
|
Left Example_Todo -> escapable taskList
|
||||||
Left Example_TextEditor -> escapable testBoxes
|
Left Example_TextEditor -> escapable $ localTheme (const (constant darkTheme)) testBoxes
|
||||||
Left Example_ScrollableTextDisplay -> escapable scrolling
|
Left Example_ScrollableTextDisplay -> escapable scrolling
|
||||||
Left Example_ClickButtonsGetEmojis -> escapable easyExample
|
Left Example_ClickButtonsGetEmojis -> escapable easyExample
|
||||||
Left Example_CPUStat -> escapable cpuStats
|
Left Example_CPUStat -> escapable cpuStats
|
||||||
|
@ -116,6 +116,7 @@ checkboxStyleTick = CheckboxStyle
|
|||||||
-- | Configuration options for a checkbox
|
-- | Configuration options for a checkbox
|
||||||
data CheckboxConfig t = CheckboxConfig
|
data CheckboxConfig t = CheckboxConfig
|
||||||
{ _checkboxConfig_checkboxStyle :: Behavior t CheckboxStyle
|
{ _checkboxConfig_checkboxStyle :: Behavior t CheckboxStyle
|
||||||
|
-- TODO DELETE and use HasTheme instead
|
||||||
, _checkboxConfig_attributes :: Behavior t V.Attr
|
, _checkboxConfig_attributes :: Behavior t V.Attr
|
||||||
, _checkboxConfig_setValue :: Event t Bool
|
, _checkboxConfig_setValue :: Event t Bool
|
||||||
}
|
}
|
||||||
|
@ -133,6 +133,8 @@ instance (HasImageWriter t m, MonadFix m) => HasImageWriter t (Focus t m) where
|
|||||||
|
|
||||||
instance (HasFocusReader t m, Monad m) => HasFocusReader t (Focus t m)
|
instance (HasFocusReader t m, Monad m) => HasFocusReader t (Focus t m)
|
||||||
|
|
||||||
|
instance (HasTheme t m, Monad m) => HasTheme t (Focus t m)
|
||||||
|
|
||||||
instance (Reflex t, MonadFix m, MonadNodeId m) => HasFocus t (Focus t m) where
|
instance (Reflex t, MonadFix m, MonadNodeId m) => HasFocus t (Focus t m) where
|
||||||
makeFocus = do
|
makeFocus = do
|
||||||
fid <- FocusId <$> lift getNextNodeId
|
fid <- FocusId <$> lift getNextNodeId
|
||||||
@ -430,6 +432,8 @@ instance (HasDisplayRegion t m, HasImageWriter t m, MonadFix m) => HasImageWrite
|
|||||||
|
|
||||||
instance (HasFocusReader t m, Monad m) => HasFocusReader t (Layout t m)
|
instance (HasFocusReader t m, Monad m) => HasFocusReader t (Layout t m)
|
||||||
|
|
||||||
|
instance (HasTheme t m, Monad m) => HasTheme t (Layout t m)
|
||||||
|
|
||||||
instance (Monad m, MonadNodeId m, Reflex t, MonadFix m) => HasLayout t (Layout t m) where
|
instance (Monad m, MonadNodeId m, Reflex t, MonadFix m) => HasLayout t (Layout t m) where
|
||||||
axis o c (Layout x) = Layout $ do
|
axis o c (Layout x) = Layout $ do
|
||||||
nodeId <- getNextNodeId
|
nodeId <- getNextNodeId
|
||||||
|
Loading…
Reference in New Issue
Block a user