Lib

Documentation

getInteractionPoint :: Buffer -> InteractionId -> Neovim CornelisEnv (Maybe (InteractionPoint Identity))

respondToHelperFunction :: DisplayInfo -> Neovim env ()

respond :: Buffer -> Response -> Neovim CornelisEnv ()

doMakeCase :: Buffer -> MakeCase -> Neovim CornelisEnv ()

indent :: AgdaPos -> Text -> Text

Indent a string with the given offset.

doPrevGoal :: CommandArguments -> Neovim CornelisEnv ()

doNextGoal :: CommandArguments -> Neovim CornelisEnv ()

doIncNextDigitSeq :: CommandArguments -> Neovim CornelisEnv ()

doDecNextDigitSeq :: CommandArguments -> Neovim CornelisEnv ()

cornelisInit :: Neovim env CornelisEnv

main :: IO ()

cornelis :: Neovim () NeovimPlugin