Safe Haskell | None |
---|---|
Language | Haskell2010 |
- resultsWidget :: ResultsWidget
- type ResultsWidget = Widget Results
- data Results
- feedResult :: Monad m => FileLineReference -> VgrepT Results m Redraw
- resizeToWindow :: Monad m => VgrepT Results m Redraw
- prevLine :: Monad m => VgrepT Results m ()
- nextLine :: Monad m => VgrepT Results m ()
- pageUp :: Monad m => VgrepT Results m ()
- pageDown :: Monad m => VgrepT Results m ()
- currentFileName :: Getter Results (Maybe Text)
- currentLineNumber :: Getter Results (Maybe Int)
- currentFileResults :: Getter Results (IntMap AnsiFormatted)
- module Vgrep.Results
Results list widget
resultsWidget :: ResultsWidget Source #
The results widget displays a list of lines with line numbers, grouped by files.
Initial state
The initial buffer is empty and can be filled line by line using
feedResult
.Drawing the results list
Found matches are grouped by file name. Each file group has a header and a list of result lines with line numbers. The result lines can be selected with the cursor, the file group headers are skipped. When only part of a file group is shown at the top of the screen, the header is shown nevertheless.
type ResultsWidget = Widget Results Source #
Internal widget state
Widget actions
feedResult :: Monad m => FileLineReference -> VgrepT Results m Redraw Source #
Add a line to the results list. If the result is found in the same file as the current last result, it will be added to the same results group, otherwise a new group will be opened.
prevLine :: Monad m => VgrepT Results m () Source #
Move up/down one results line. File group headers will be skipped.
nextLine :: Monad m => VgrepT Results m () Source #
Move up/down one results line. File group headers will be skipped.
pageUp :: Monad m => VgrepT Results m () Source #
Move up/down one results page. File group headers will be skipped.
pageDown :: Monad m => VgrepT Results m () Source #
Move up/down one results page. File group headers will be skipped.
Lenses
currentLineNumber :: Getter Results (Maybe Int) Source #
The line number of the currently selected item
currentFileResults :: Getter Results (IntMap AnsiFormatted) Source #
The line numbers with matches in the file of the currentliy selected item
Re-exports
module Vgrep.Results