chore: generate docs for coq_nvim integration

Author: MeanderingProgrammer

README.md

@@ -149,7 +149,7 @@ require('blink.cmp').setup({
 ## coq_nvim
 
 ```lua
-require("render-markdown.integ.coq").setup()
+require('render-markdown.integ.coq').setup()
 ```
 
 # Setup

doc/render-markdown.txt

@@ -14,6 +14,7 @@ Table of Contents                          *render-markdown-table-of-contents*
 6. Completions                                   |render-markdown-completions|
   - nvim-cmp                            |render-markdown-completions-nvim-cmp|
   - blink.cmp                          |render-markdown-completions-blink.cmp|
+  - coq_nvim                            |render-markdown-completions-coq_nvim|
 7. Setup                                               |render-markdown-setup|
   - Headings                                  |render-markdown-setup-headings|
   - Paragraphs                              |render-markdown-setup-paragraphs|
@@ -199,6 +200,13 @@ BLINK.CMP                              *render-markdown-completions-blink.cmp*
 <
 
 
+COQ_NVIM                                *render-markdown-completions-coq_nvim*
+
+>lua
+    require('render-markdown.integ.coq').setup()
+<
+
+
 ==============================================================================
 7. Setup                                               *render-markdown-setup*
 

lua/render-markdown/health.lua

@@ -4,7 +4,7 @@ local state = require('render-markdown.state')
 local M = {}
 
 ---@private
-M.version = '7.7.2'
+M.version = '7.7.3'
 
 function M.check()
     M.start('version')

lua/render-markdown/integ/coq.lua

@@ -1,24 +1,10 @@
 local source = require('render-markdown.integ.source')
 
-local M = {}
-
----@class coq.Args
----@field pos {[1]: integer, [2]:integer}
----@field line string
-
----@class coq.CallbackArgs
----@field isIncomplete boolean
----@field items vim.lsp.CompletionResult
-
----@class coq.Source
----@field name string
----@field fn fun(args: coq.Args, callback: fun(args?: coq.CallbackArgs)): fun()|nil
-
----@alias coq.Sources table<integer, coq.Source>
-
----@param map coq.Sources
+---@param map table<integer, table>
+---@return integer
 local function new_uid(map)
-    local key ---@type integer|nil
+    ---@type integer|nil
+    local key = nil
     while true do
         if not key or map[key] then
             key = math.floor(math.random() * 10000)
@@ -28,39 +14,36 @@ local function new_uid(map)
     end
 end
 
+---@param args { line: string, pos: { [1]: integer, [2]: integer } }
+---@param callback fun(response?: lsp.CompletionItem[])
 local function complete(args, callback)
-    if not source.enabled() then
-        callback(nil)
-        return
-    end
-
-    local last_char = args.line:sub(#args.line, #args.line)
-    if not vim.list_contains(source:trigger_characters(), last_char) then
-        callback(nil)
-        return
-    end
-
-    local row, col = unpack(args.pos) ---@type integer, integer
-
-    local items = source.items(0, row, col)
-
-    if items == nil then
-        callback(nil)
-        return
+    ---@return lsp.CompletionItem[]?
+    local function get_items()
+        if not source.enabled() then
+            return nil
+        end
+        local character = args.line:sub(#args.line, #args.line)
+        if not vim.tbl_contains(source.trigger_characters(), character) then
+            return nil
+        end
+        return source.items(0, args.pos[1], args.pos[2])
     end
-
-    callback(items)
+    callback(get_items())
 end
 
+---@class render.md.cmp.Coq
+local M = {}
+
 ---Should only be called by a user to enable the integration
 function M.setup()
     local has_coq = pcall(require, 'coq')
     if not has_coq then
         return
     end
-    COQsources = COQsources or {} ---@type coq.Sources
+    ---@type table<integer, table>
+    COQsources = COQsources or {}
     COQsources[new_uid(COQsources)] = {
-        name = 'rMD',
+        name = 'markdown',
         fn = complete,
     }
 end