| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Reflex.Vty.Widget.Scroll
Description
Synopsis
- data ScrollToBottom
- data ScrollableConfig t = ScrollableConfig {}
- data ScrollPos
- data Scrollable t = Scrollable {}
- scrollable :: forall t m. (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m) => ScrollableConfig t -> m (Behavior t Image, Event t ()) -> m (Scrollable t)
- scrollByLines :: ScrollPos -> Int -> Int -> Int -> ScrollPos
- scrollToLine :: Int -> Int -> Int -> ScrollPos
Documentation
data ScrollToBottom Source #
Configuration options for automatic scroll-to-bottom behavior
Constructors
| ScrollToBottom_Always | Always scroll to the bottom on new output |
| ScrollToBottom_Maintain | Scroll down with new output only when, prior to the new output being added, the widget was scrolled all the way to the bottom. |
Instances
| Eq ScrollToBottom Source # | |
Defined in Reflex.Vty.Widget.Scroll Methods (==) :: ScrollToBottom -> ScrollToBottom -> Bool # (/=) :: ScrollToBottom -> ScrollToBottom -> Bool # | |
| Ord ScrollToBottom Source # | |
Defined in Reflex.Vty.Widget.Scroll Methods compare :: ScrollToBottom -> ScrollToBottom -> Ordering # (<) :: ScrollToBottom -> ScrollToBottom -> Bool # (<=) :: ScrollToBottom -> ScrollToBottom -> Bool # (>) :: ScrollToBottom -> ScrollToBottom -> Bool # (>=) :: ScrollToBottom -> ScrollToBottom -> Bool # max :: ScrollToBottom -> ScrollToBottom -> ScrollToBottom # min :: ScrollToBottom -> ScrollToBottom -> ScrollToBottom # | |
| Show ScrollToBottom Source # | |
Defined in Reflex.Vty.Widget.Scroll Methods showsPrec :: Int -> ScrollToBottom -> ShowS # show :: ScrollToBottom -> String # showList :: [ScrollToBottom] -> ShowS # | |
data ScrollableConfig t Source #
Configuration for the scrollable element. Controls scroll behavior.
Constructors
| ScrollableConfig | |
Fields
| |
Instances
| Reflex t => Default (ScrollableConfig t) Source # | |
Defined in Reflex.Vty.Widget.Scroll Methods def :: ScrollableConfig t # | |
The scroll position
Constructors
| ScrollPos_Top | |
| ScrollPos_Line Int | |
| ScrollPos_Bottom |
Instances
| Eq ScrollPos Source # | |
| Ord ScrollPos Source # | |
| Show ScrollPos Source # | |
data Scrollable t Source #
The output of a scrollable, indicating its current scroll position.
Constructors
| Scrollable | |
Fields | |
scrollable :: forall t m. (Reflex t, MonadHold t m, MonadFix m, HasDisplayRegion t m, HasInput t m, HasImageWriter t m, HasTheme t m) => ScrollableConfig t -> m (Behavior t Image, Event t ()) -> m (Scrollable t) Source #
Scrollable widget. The output exposes the current scroll position and total number of lines (including those that are hidden)