Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- lineIntervalsForBuffer :: Buffer -> Neovim CornelisEnv LineIntervals
- updateLineIntervals :: Buffer -> Neovim CornelisEnv ()
- highlightBuffer :: Buffer -> [Highlight] -> Neovim CornelisEnv (Map AgdaInterval Extmark)
- getLineIntervals :: Vector Text -> LineIntervals
- lookupPoint :: LineIntervals -> AgdaIndex -> Maybe VimPos
- addHighlight :: Buffer -> LineIntervals -> Highlight -> Neovim CornelisEnv (Map AgdaInterval Extmark, Maybe Extmark)
- setHighlight :: Buffer -> Interval VimPos -> Maybe HighlightGroup -> Neovim CornelisEnv (Maybe Extmark)
- setHighlight' :: Buffer -> Interval VimPos -> Maybe HighlightGroup -> Neovim CornelisEnv (Maybe Extmark)
- highlightInterval :: Buffer -> AgdaInterval -> HighlightGroup -> Neovim CornelisEnv (Maybe Extmark)
- parseExtmark :: Buffer -> Object -> Neovim CornelisEnv (Maybe ExtmarkStuff)
- getExtmarks :: Buffer -> AgdaPos -> Neovim CornelisEnv [ExtmarkStuff]
Documentation
updateLineIntervals :: Buffer -> Neovim CornelisEnv () Source #
highlightBuffer :: Buffer -> [Highlight] -> Neovim CornelisEnv (Map AgdaInterval Extmark) Source #
lookupPoint :: LineIntervals -> AgdaIndex -> Maybe VimPos Source #
addHighlight :: Buffer -> LineIntervals -> Highlight -> Neovim CornelisEnv (Map AgdaInterval Extmark, Maybe Extmark) Source #
Returns any holes it tried to highlight on the left
setHighlight :: Buffer -> Interval VimPos -> Maybe HighlightGroup -> Neovim CornelisEnv (Maybe Extmark) Source #
setHighlight' :: Buffer -> Interval VimPos -> Maybe HighlightGroup -> Neovim CornelisEnv (Maybe Extmark) Source #
highlightInterval :: Buffer -> AgdaInterval -> HighlightGroup -> Neovim CornelisEnv (Maybe Extmark) Source #
parseExtmark :: Buffer -> Object -> Neovim CornelisEnv (Maybe ExtmarkStuff) Source #
getExtmarks :: Buffer -> AgdaPos -> Neovim CornelisEnv [ExtmarkStuff] Source #