internal: add customizable plugin setup option

This commit is contained in:
Ching Pei Yang 2024-01-03 00:54:49 +01:00
commit 59b2e6b17c
No known key found for this signature in database
GPG key ID: 062FBBCE1D0C5DD9
2 changed files with 22 additions and 1 deletions

View file

@ -4,6 +4,6 @@
typesLanguage = import ./languages.nix {inherit lib;};
in {
inherit (typesDag) dagOf;
inherit (typesPlugin) pluginsOpt extraPluginType;
inherit (typesPlugin) pluginsOpt extraPluginType mkPluginSetupOption;
inherit (typesLanguage) diagnostics mkGrammarOption;
}