Reflex.Vty.Widget.Text

Documentation

fill :: (HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t Char -> m ()

Fill the background with a particular character.

data RichTextConfig t

Configuration options for displaying "rich" text

Constructors

RichTextConfig

Fields

• _richTextConfig_attributes :: Behavior t Attr

Instances

Reflex t => Default (RichTextConfig t)

Defined in Reflex.Vty.Widget.Text

Methods

def :: RichTextConfig t

richText :: (Reflex t, Monad m, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => RichTextConfig t -> Behavior t Text -> m ()

A widget that displays text with custom time-varying attributes

text :: (Reflex t, Monad m, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t Text -> m ()

Renders text, wrapped to the container width

scrollableText

Arguments

:: (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m)

=> Event t Int

Number of lines to scroll by

-> Behavior t Text

-> m (Behavior t (Int, Int))

(Current scroll position, total number of lines)

Scrollable text widget. The output pair exposes the current scroll position and total number of lines (including those that are hidden)

display :: (Reflex t, Monad m, Show a, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t a -> m ()

Renders any behavior whose value can be converted to String as text