programs.mypy.settings
Home-Manager option
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
declared in: <home-manager/modules/programs/mypy.nix>source unavailable{ mypy = { warn_return_any = true; warn_unused_configs = true; }; }