Reflex.Vty.Widget.Input.Text

Documentation

data TextInput t

The output produced by text input widgets, including the text value and the number of display lines (post-wrapping). Note that some display lines may not be visible due to scrolling.

Constructors

TextInput

Fields

• _textInput_value :: Dynamic t Text
• _textInput_lines :: Dynamic t Int

data TextInputConfig t

Configuration options for a textInput. For more information on TextZipper, see Zipper.

Constructors

TextInputConfig

Fields

• _textInputConfig_initialValue :: TextZipper
• _textInputConfig_modify :: Event t (TextZipper -> TextZipper)
• _textInputConfig_tabWidth :: Int

Instances

Reflex t => Default (TextInputConfig t)

Defined in Reflex.Vty.Widget.Input.Text

Methods

def :: TextInputConfig t

textInput :: (Reflex t, MonadHold t m, MonadFix m) => TextInputConfig t -> VtyWidget t m (TextInput t)

A widget that allows text input

multilineTextInput :: (Reflex t, MonadHold t m, MonadFix m) => TextInputConfig t -> VtyWidget t m (TextInput t)

A widget that allows multiline text input

textInputTile :: (Reflex t, MonadHold t m, MonadFix m, MonadNodeId m) => VtyWidget t m (TextInput t) -> Dynamic t Int -> Layout t m (TextInput t)

Wraps a textInput or multilineTextInput in a tile. Uses the computed line count to greedily size the tile when vertically oriented, and uses the fallback width when horizontally oriented.

cursorAttributes :: Attr

Default attributes for the text cursor

images :: [[Span Attr]] -> [Image]

Turn a set of display line rows into a list of images (one per line)

image :: [[Span Attr]] -> Image

Turn a set of display line rows into a single image

spanToImage :: Span Attr -> Image

Turn a Span into an Image

updateTextZipper

Arguments

:: Int

Tab width

-> Int

Page size

-> Event

The vty event to handle

-> TextZipper

The zipper to modify

-> TextZipper

Default vty event handler for text inputs

def :: Default a => a

The default value for this type.