trio-typing
trio-typing copied to clipboard
python-trio
Type hints for Trio and related projects
It's been a while since https://github.com/python-trio/trio/issues/543 was opened, and the typing ecosystem has matured considerably. I think we should aim to distribute type annotations as part of Trio directly, and...
Utility isn't restricted to just Trio, but Trio programs tend to make fairly heavy use of functools.partial. I started work on this a while ago (see the 'partial' branch) but...
I'm trying to package your module as an rpm package. So I'm using the typical PEP517 based build, install and test cycle used on building packages from non-root account. -...
If you say `trio.Process(..., stdin=DEVNULL, stdout=DEVNULL, stderr=PIPE)`, then you know that the stdin/stdout attributes on the resulting `Process` object are None and the stderr attribute is not None. If the...
Someone else did the work of writing a pytest plugin to handle the mypy "data-driven test" format without depending on mypy internals: https://github.com/mkurnikov/pytest-mypy-plugins . We should replace our current hacks...
#7: our example doesn't actually work, due to a mypy bug #6: provide an example that demonstrates correctly typed usage of channels, since the error that mypy provides if you...
A new parameter name was added https://trio.readthedocs.io/en/stable/history.html#id15
Mypy 1.11 changed some internal API and now `TypeVars` need a `TypeVarId` not just an `int`. See https://github.com/python/mypy/issues/17671 ``` lib/python3.10/site-packages/trio-stubs/__init__.pyi:135: error: INTERNAL ERROR -- Please try using mypy master on...
A couple changes force some fixes in the plugin, https://github.com/python/mypy/pull/17304 took out an arg from `UninhabitedType`, and https://github.com/python/mypy/pull/17311 introduced `TypeVarId`s I ran the tests, but let me know if there's...
