| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Reflex.Vty.Widget.Text
Description
Synopsis
- fill :: (HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t Char -> m ()
- data RichTextConfig t = RichTextConfig {}
- richText :: (Reflex t, Monad m, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => RichTextConfig t -> Behavior t Text -> m ()
- text :: (Reflex t, Monad m, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t Text -> m ()
- display :: (Reflex t, Monad m, Show a, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t a -> m ()
- scrollableText :: forall t m. (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m, PostBuild t m) => ScrollableConfig t -> Dynamic t Text -> m (Scrollable t)
Documentation
fill :: (HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t Char -> m () Source #
Fill the background with a particular character.
data RichTextConfig t Source #
Configuration options for displaying "rich" text
Constructors
| RichTextConfig | |
Fields | |
Instances
| Reflex t => Default (RichTextConfig t) Source # | |
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 () Source #
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 () Source #
Renders text, wrapped to the container width
display :: (Reflex t, Monad m, Show a, HasDisplayRegion t m, HasImageWriter t m, HasTheme t m) => Behavior t a -> m () Source #
Renders any behavior whose value can be converted to
String as text
scrollableText :: forall t m. (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m, PostBuild t m) => ScrollableConfig t -> Dynamic t Text -> m (Scrollable t) Source #
Scrollable text widget. The output exposes the current scroll position and total number of lines (including those that are hidden)