Cornelis.Vim

Documentation

vimFirstLine :: Int64

vimLastLine :: Int64

getWindowCursor :: Window -> Neovim env AgdaPos

getpos :: Buffer -> Char -> Neovim env AgdaPos

TODO(sandy): POSSIBLE BUG HERE. MAKE SURE YOU SET THE CURRENT WINDOW BEFORE CALLING THIS FUNCTION

data SearchMode

Constructors

Forward

Backward

Instances

Show SearchMode

Defined in Cornelis.Vim

Methods

showsPrec :: Int -> SearchMode -> ShowS

show :: SearchMode -> String

showList :: [SearchMode] -> ShowS

Eq SearchMode

Defined in Cornelis.Vim

Methods

(==) :: SearchMode -> SearchMode -> Bool

(/=) :: SearchMode -> SearchMode -> Bool

Ord SearchMode

Defined in Cornelis.Vim

Methods

compare :: SearchMode -> SearchMode -> Ordering

(<) :: SearchMode -> SearchMode -> Bool

(<=) :: SearchMode -> SearchMode -> Bool

(>) :: SearchMode -> SearchMode -> Bool

(>=) :: SearchMode -> SearchMode -> Bool

max :: SearchMode -> SearchMode -> SearchMode

min :: SearchMode -> SearchMode -> SearchMode

searchpos :: Buffer -> [Text] -> SearchMode -> Neovim env AgdaPos

setWindowCursor :: Window -> AgdaPos -> Neovim env ()

replaceInterval :: Buffer -> Interval AgdaPos -> Text -> Neovim env ()

unvimify :: Buffer -> VimPos -> Neovim env AgdaPos

Vim insists on returning byte-based offsets for the cursor positions... why the fuck? This function undoes the problem.

vimify :: Buffer -> AgdaPos -> Neovim env VimPos

getIndent :: Buffer -> LineNumber 'ZeroIndexed -> Neovim env Int

getBufferLine :: Buffer -> LineNumber 'ZeroIndexed -> Neovim env Text

getBufferInterval :: Buffer -> Interval AgdaPos -> Neovim env Text

reportError :: Text -> Neovim env ()

reportInfo :: Text -> Neovim env ()

setreg :: Text -> Text -> Neovim env ()

getExtmarkIntervalById :: Int64 -> Buffer -> Extmark -> Neovim env (Maybe AgdaInterval)

getSurroundingMotion :: Window -> Buffer -> Text -> AgdaPos -> Neovim env (AgdaPos, AgdaPos)

Awful function that does the motion in visual mode and gives you back where vim thinks the '< and '> marks are.

I'm so sorry.

getLambdaClause :: Window -> Buffer -> AgdaInterval -> Neovim env AgdaInterval

Get an interval to replace for a lambda case split