Lines Matching full:mypy

20     For simplicity, we will assume that type-checking is done with ``mypy``.
23 Testing Using ``mypy --warn-unused-ignores``
31 ``mypy --warn-unused-ignores`` is run on these files, it should pass.
55 Checking ``reveal_type`` output from ``mypy.api.run``
58 ``mypy`` provides a subpackage named ``api`` for invoking ``mypy`` from a
65 experience, and it runs mypy once per test case (which can be slow).
66 However, it builds only on ``mypy`` and the test framework of your choice.
74     from mypy import api
113 For more details, see `the documentation on mypy.api
114 <https://mypy.readthedocs.io/en/stable/extending_mypy.html#integrating-mypy-into-another-python-app…
116 pytest-mypy-plugins
119 `pytest-mypy-plugins <https://github.com/typeddjango/pytest-mypy-plugins>`_ is
121 The test cases are run through ``mypy`` and the output of ``reveal_type`` can
125 tests and per-test ``mypy`` configuration. It requires that you are using
126 ``pytest`` to run your tests, and runs ``mypy`` in a subprocess per test case.
128 This is an example of a parametrized test with ``pytest-mypy-plugins``:
175 ``mypy`` disallow options
178 ``mypy`` offers several options which can detect untyped code.
179 More details can be found in `the mypy documentation on these options
180 <https://mypy.readthedocs.io/en/latest/command_line.html#untyped-definitions-and-calls>`_.
182 Some basic usages which make ``mypy`` error on untyped data are::
184     mypy --disallow-untyped-defs
185     mypy --disallow-incomplete-defs
195 ``mypy`` reports
198 ``mypy`` offers several options options for generating reports on its analysis.
199 See `the mypy documentation on report generation
200 <https://mypy.readthedocs.io/en/stable/command_line.html#report-generation>`_ for details.