Summoner.Tui.GroupBorder

Brick library helper functions to group checkbox elements inside the form. This is not going to be the part of the library itself, so we will have it in our own libraries. See relevant discussion under the corresponding issue:

• https://github.com/jtdaugherty/brick/issues/190

Documentation

groupBorder :: String -> [(Int, s -> FormFieldState s e n)] -> [s -> FormFieldState s e n]

This function unites any amount of the form elements under the one group in bourders with the given group name. Intended to be used for joining check-boxes together, but any other elemens of the form will work the same way.

Example:

┌─────────────────Form───────────────────┐
│                                        │
│┌──────────────Accounts────────────────┐│
││[ ] user1                             ││
││[ ] User2                             ││
│└──────────────────────────────────────┘│
└────────────────────────────────────────┘

• *Note:** on an empty list it doesn't create any group or border.

(|>) :: Int -> a -> (Int, a) infix 4

Create a pair of elements.