Safe Haskell	None
Language	Haskell2010

Vgrep.Widget.HorizontalSplit

Contents

Description

A split-view widget that displays two widgets side-by-side.

Synopsis

Horizontal split view widget

Compose two Widgets side-by-side

Initial state
Initially, the left widget is rendered full-screen.
Drawing the Widgets
Drawing is delegated to the child widgets in a local environment reduced to thir respective Viewport.

Widget state

The internal state of the split-view widget. Tracks the state of both child widgets and the current layout.

Constructors

FocusLeft
FocusRight

Instances details

Eq Focus Source #
Instance details Defined in Vgrep.Widget.HorizontalSplit.Internal Methods (==) :: Focus -> Focus -> Bool # (/=) :: Focus -> Focus -> Bool #

Display the left widget full-screen

Display the right widget full-screen

Arguments

:: Monad m
=> Focus	Focus left or right area
-> Rational	Left area width as fraction of overall width
-> VgrepT (HSplit s t) m Redraw

Display both widgets in a split view.

Switch focus from left to right child widget and vice versa (only if the _layout is Split)

leftWidget :: forall s t s. Lens (HSplit s t) (HSplit s t) s s Source #

rightWidget :: forall s t t. Lens (HSplit s t) (HSplit s t) t t Source #

The currently focused child widget

>>> view currentWidget $ HSplit { _leftWidget = "foo", _layout = LeftOnly }
Left "foo"

Traverses the left widget if focused

>>> has leftWidgetFocused $ HSplit { _layout = LeftOnly }
True

>>> has leftWidgetFocused $ HSplit { _layout = RightOnly }
False

>>> has leftWidgetFocused $ HSplit { _layout = Split FocusLeft (1 % 2) }
True

Traverses the right widget if focused

>>> has rightWidgetFocused $ HSplit { _layout = RightOnly }
True

>>> has rightWidgetFocused $ HSplit { _layout = LeftOnly }
False

>>> has rightWidgetFocused $ HSplit { _layout = Split FocusRight (1 % 2) }
True