Vgrep.Widget.HorizontalSplit.Internal

Split-view widget state

data HSplit s t

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

Constructors

HSplit

Fields

• _leftWidget :: s

  State of the left widget

• _rightWidget :: t

  State of the right widget

• _layout :: Layout

  Current layout

data Layout

Constructors

LeftOnly

RightOnly

Split Focus Rational

Instances

Eq Layout

Methods

(==) :: Layout -> Layout -> Bool

(/=) :: Layout -> Layout -> Bool

data Focus

Constructors

FocusLeft

FocusRight

Instances

Eq Focus

Methods

(==) :: Focus -> Focus -> Bool

(/=) :: Focus -> Focus -> Bool

Auto-generated lenses

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

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

layout :: forall s t. Lens' (HSplit s t) Layout

Additional lenses

currentWidget :: Lens' (HSplit s t) (Either s t)

The currently focused child widget

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

leftWidgetFocused :: Traversal' (HSplit s t) s

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

rightWidgetFocused :: Traversal' (HSplit s t) t

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

Re-exports

(%) :: Integral a => a -> a -> Ratio a infixl 7

Forms the ratio of two integral numbers.