Safe Haskell	Safe-Inferred
Language	Haskell2010

Brick.Focus

Description

This module provides a type and functions for handling focus rings of values.

Synopsis

data FocusRing n
focusRing :: [n] -> FocusRing n
focusNext :: FocusRing n -> FocusRing n
focusPrev :: FocusRing n -> FocusRing n
focusGetCurrent :: FocusRing n -> Maybe n
focusSetCurrent :: Eq n => n -> FocusRing n -> FocusRing n
focusRingLength :: FocusRing n -> Int
focusRingToList :: FocusRing n -> [n]
focusRingCursor :: Eq n => (a -> FocusRing n) -> a -> [CursorLocation n] -> Maybe (CursorLocation n)
withFocusRing :: (Eq n, Named a n) => FocusRing n -> (Bool -> a -> b) -> a -> b
focusRingModify :: (CList n -> CList n) -> FocusRing n -> FocusRing n

Documentation

data FocusRing n Source #

A focus ring containing a sequence of resource names to focus and a currently-focused name.

Instances

Instances details

Show n => Show (FocusRing n) Source #
Instance details Defined in Brick.Focus Methods showsPrec :: Int -> FocusRing n -> ShowS # show :: FocusRing n -> String # showList :: [FocusRing n] -> ShowS #

focusRing :: [n] -> FocusRing n Source #

Construct a focus ring from the list of resource names.

focusNext :: FocusRing n -> FocusRing n Source #

Advance focus to the next value in the ring.

focusPrev :: FocusRing n -> FocusRing n Source #

Advance focus to the previous value in the ring.

focusGetCurrent :: FocusRing n -> Maybe n Source #

Get the currently-focused resource name from the ring. If the ring is empty, return Nothing.

focusSetCurrent :: Eq n => n -> FocusRing n -> FocusRing n Source #

Set the currently-focused resource name in the ring, provided the name is in the ring. Otherwise return the ring unmodified.

focusRingLength :: FocusRing n -> Int Source #

Get the size of the FocusRing.

focusRingToList :: FocusRing n -> [n] Source #

Return all of the entries in the focus ring, starting with the currently-focused entry and wrapping around the ring.

For example, if a ring contains A, B, C, and D, and the current entry is B, the result will be [B, C, D, A].

focusRingCursor Source #

Arguments

:: Eq n
=> (a -> FocusRing n)	The function used to get the focus ring out of your application state.
-> a	Your application state.
-> [CursorLocation n]	The list of available cursor positions.
-> Maybe (CursorLocation n)	The cursor position, if any, that matches the resource name currently focused by the `FocusRing`.

Cursor selection convenience function for use as an appChooseCursor value.

withFocusRing Source #

Arguments

:: (Eq n, Named a n)
=> FocusRing n	The focus ring to use as the source of focus state.
-> (Bool -> a -> b)	A function that takes a value and its focus state.
-> a	The widget state value that we need to check for focus.
-> b	The rest of the computation.

This function is a convenience function to look up a widget state value's resource name in a focus ring and set its focus setting according to the focus ring's state. This function determines whether a given widget state value is the focus of the ring and passes the resulting boolean to a rendering function, along with the state value (a), to produce whatever comes next (b).

Focus-aware widgets have rendering functions that should be usable with this combinator; see List and Edit.

focusRingModify :: (CList n -> CList n) -> FocusRing n -> FocusRing n Source #

Modify the internal circular list structure of a focus ring directly. This function permits modification of the circular list using the rich Data.CircularList API.