jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2024-09-17 18:59:07 +03:00
Code Issues Projects Releases Wiki Activity

Focus: add focusRingToList function

Browse Source
This commit is contained in:
mu 2020-02-01 11:04:28 +08:00
parent ed86fcb8f8
commit f97943c8ea
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Brick/Focus.hs
View File

@ -10,6 +10,7 @@ module Brick.Focus
, focusGetCurrent
, focusSetCurrent
, focusRingLength
, focusRingToList
, focusRingCursor
, withFocusRing
, focusRingModify
@ -81,6 +82,11 @@ focusSetCurrent n r@(FocusRing l) =
focusRingLength :: FocusRing n -> Int
focusRingLength (FocusRing l) = C.size l
-- | Starting with the currently-focused, go right and accumulate all
-- resource names of the FocusRing in a list.
focusRingToList :: FocusRing n -> [n]
focusRingToList (FocusRing l) = C.rightElements l
-- | 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.