Module lua sources for `coq.nvim`, first & third party

coq.nvim (first & third) party sources

PR welcome

First party lua sources & third party integration for coq.nvim

See :COQhelp custom_sources

How to use

Install the repo the normal way, and then:

require("coq_3p") {
  { src = "demo" },
  { src = "nvimlua", short_name = "nLUA" },
  { src = "vimtex", short_name = "vTEX" },
  ...
}

require("coq_3p") takes a list of { src = ..., short_name = ..., ... } objects.

src is required

If short_name is not specified, it is uppercase src.

The rest of object are specific to each individual source.

First party

Demo

{ src = "demo" }

This is a reference implementation, do not enable it unless you want to write your own plugin, and want to see how it works.

Nvim Lua API

{ src = "nvimlua", short_name = "nLUA", conf_only = true }

• conf_only :: only return results if current document is relative to $NVIM_HOME

Scientific calculator

{ src = "bc", short_name = "MATH", precision = 6 }

requires - bc

Comment Banner

{ src = "figlet", short_name = "BIG" }

requires - figlet

Moo

{ src = "cow" }

requires - cowsay

Third parties

VimTex

{ src = "vimtex", short_name = "vTEX" }

• Cache enabled

Orgmode.nvim

{ src = "orgmode", short_name = "ORG" }

• Cache enabled

FYI

None of the code under require('coq_3p') is public API.

From the users' prespective, any change I make should be transparent, ie. I will try to not break their stuff.

For other plugin developers, if you want to re-use my code. Make a COPY, do not just require "blah" from this repo.

I want to reserve the ability to fearlessly re-factor.