cornelis-0.2.0.1
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cornelis.Vim

Synopsis

Documentation

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

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

data SearchMode Source #

Constructors

Forward 
Backward 

Instances

Instances details
Show SearchMode Source # 
Instance details

Defined in Cornelis.Vim

Eq SearchMode Source # 
Instance details

Defined in Cornelis.Vim

Ord SearchMode Source # 
Instance details

Defined in Cornelis.Vim

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

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

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

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

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 Source #

Get an interval to replace for a lambda case split