Reflex.Vty.Widget.Input

Documentation

module Reflex.Vty.Widget.Input.Text

module Reflex.Vty.Widget.Input.Mouse

data CheckboxConfig t

Configuration options for a checkbox

Constructors

CheckboxConfig

Fields

• _checkboxConfig_checkboxStyle :: Behavior t CheckboxStyle
• _checkboxConfig_attributes :: Behavior t Attr
• _checkboxConfig_setValue :: Event t Bool

Instances

Reflex t => Default (CheckboxConfig t)

Defined in Reflex.Vty.Widget.Input

Methods

def :: CheckboxConfig t

data CheckboxStyle

Characters used to render checked and unchecked textboxes

Constructors

CheckboxStyle

Fields

• _checkboxStyle_unchecked :: Text
• _checkboxStyle_checked :: Text

Instances

Default CheckboxStyle

Defined in Reflex.Vty.Widget.Input

Methods

def :: CheckboxStyle

data ButtonConfig t

Configuration options for the button widget

Constructors

ButtonConfig

Fields

• _buttonConfig_boxStyle :: Behavior t BoxStyle
• _buttonConfig_focusStyle :: Behavior t BoxStyle

Instances

Reflex t => Default (ButtonConfig t)

Defined in Reflex.Vty.Widget.Input

Methods

def :: ButtonConfig t

button :: (MonadFix m, MonadHold t m, HasFocusReader t m, HasTheme t m, HasDisplayRegion t m, HasImageWriter t m, HasInput t m) => ButtonConfig t -> m () -> m (Event t ())

A button widget that contains a sub-widget

textButton :: (MonadFix m, MonadHold t m, HasDisplayRegion t m, HasFocusReader t m, HasTheme t m, HasImageWriter t m, HasInput t m) => ButtonConfig t -> Behavior t Text -> m (Event t ())

A button widget that displays text that can change

textButtonStatic :: (MonadFix m, MonadHold t m, HasDisplayRegion t m, HasFocusReader t m, HasTheme t m, HasImageWriter t m, HasInput t m) => ButtonConfig t -> Text -> m (Event t ())

A button widget that displays a static bit of text

link :: (Reflex t, Monad m, HasDisplayRegion t m, HasImageWriter t m, HasInput t m, HasTheme t m) => Behavior t Text -> m (Event t MouseUp)

A clickable link widget

linkStatic :: (Reflex t, Monad m, HasImageWriter t m, HasDisplayRegion t m, HasInput t m, HasTheme t m) => Text -> m (Event t MouseUp)

A clickable link widget with a static label

checkboxStyleX :: CheckboxStyle

This checkbox style uses an "x" to indicate the checked state

checkboxStyleTick :: CheckboxStyle

This checkbox style uses a unicode tick mark to indicate the checked state

checkbox :: (MonadHold t m, MonadFix m, Reflex t, HasInput t m, HasDisplayRegion t m, HasImageWriter t m, HasFocusReader t m, HasTheme t m) => CheckboxConfig t -> Bool -> m (Dynamic t Bool)

A checkbox widget

ctrlc :: (Monad m, HasInput t m, Reflex t) => m (Event t ())

The ctrl-c keypress event