idris2
URL: https://github.com/idris-community/idris2-nvim/
Maintainers: Mitchell Nordine
Idris2 support for Neovim.
plugins.idris2.enable
Whether to enable idris2.
Type: boolean
Default:
false
Example:
true
Declared by:
plugins.idris2.package
The idris2 package to use.
Type: package
Default:
pkgs.vimPlugins.idris2-nvim
Declared by:
plugins.idris2.autoLoad
Whether to automatically load idris2 when neovim starts.
Type: boolean
Default:
false when lazy-loading is enabled.
Example:
false
Declared by:
plugins.idris2.callSetup
Whether to generate the standard require('idris2').setup(...) call for this plugin.
By default, this follows the plugin’s built-in behavior. Set this to false
to disable the generated setup call, or to true to force it even when the
plugin would only call it conditionally.
Type: null or boolean
Default:
null
Declared by:
plugins.idris2.settings
Options provided to the require('idris2').setup function.
Type: lua value
Default:
{ }
Example:
{
callback = lib.nixvim.mkRaw ''
function()
print('nixvim')
end
'';
foo_bar = 42;
hostname = "localhost:8080";
}
Declared by: