programs.mypy.enable
+
+
+Whether to enable mypy.
+ +Type: +boolean
+ +Default:
+false
Example:
+true
Declared by:
+
+
+<home-manager/modules/programs/mypy.nix>
+
+ |
programs.mypy.package
+
+
+The mypy package to use.
+ +Type: +null or package
+ +Default:
+pkgs.mypy
Declared by:
+
+
+<home-manager/modules/programs/mypy.nix>
+
+ |
programs.mypy.settings
+
+
+Configuration written to
+$XDG_CONFIG_HOME/mypy/config.
See https://mypy.readthedocs.io/en/stable/config_file.html +for more information.
+ +Type: +attribute set of section of an INI file (attrs of INI atom (null, bool, int, float or string))
+ +Default:
+{ }
Example:
{
+ mypy = {
+ warn_return_any = true;
+ warn_unused_configs = true;
+ };
+}
+
+Declared by:
+
+
+<home-manager/modules/programs/mypy.nix>
+
+ |
programs.navi.enable