dev: custom type for extraPlugin module

This commit is contained in:
raf 2023-07-18 22:21:36 +03:00 committed by Ching Pei Yang
commit 2319ee082c
3 changed files with 25 additions and 1 deletions

View file

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