issues
search
python-trio
/
trio-typing
Type hints for Trio and related projects
Other
28
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Adjust typing stubs to match type hints in trio itself.
#98
apollo13
closed
1 month ago
1
Support mypy 1.11
#97
Redoubts
opened
2 months ago
2
Add 'abandon_on_cancel' to to_thread.run_sync
#96
Hnasar
closed
2 months ago
4
trio_typing 0.10.0 mypy plugin incompatible with mypy 1.11.2
#95
Hnasar
opened
3 months ago
1
Fix return type of `CancelScope.__exit__` such that it can suppresses errors
#94
rsokl
closed
3 months ago
2
Release v0.10.0
#93
oremanj
closed
12 months ago
0
Replace plugin.args_invariant_decorator_callback with use of ParamSpec
#92
oremanj
closed
12 months ago
1
Require mypy < 1.7.0
#91
CoolCat467
closed
12 months ago
4
trio_typing.plugin incompatible with mypy 1.7's new type inference
#90
Hnasar
closed
12 months ago
3
Release v0.9.0
#89
oremanj
closed
1 year ago
1
release for mypy 1.4 fix
#88
belm0
closed
1 year ago
3
trio-stubs runtime error (mypy >= 1.4.0)
#87
belm0
closed
1 year ago
2
Are tests intended to be distributed?
#86
dhirschfeld
closed
12 months ago
2
Incompatible with `trio >= 0.22.1` due to `async_generator`
#85
touilleMan
closed
1 year ago
0
Breaking change in `TypeVarType` causes an error during typecheck
#84
fjarri
closed
1 year ago
0
Fix for mypy 1.4 changes
#83
VincentVanlaer
closed
1 year ago
3
Add strict_exception_groups parameter to start_guest_run()
#82
TeamSpen210
closed
1 year ago
2
Fix `TaskStatus.started` being type-unsafe when not using the mypy plugin
#81
gschaffner
closed
1 year ago
1
`TaskStatus.started` annotations can be type-safe without requiring the mypy plugin be used
#80
gschaffner
closed
1 year ago
1
Fixed return type of CancelScope.__exit__
#79
agronholm
closed
1 year ago
0
Type mismatch between open_signal_receiver and Process.send_signal
#78
Redoubts
closed
1 year ago
1
Release 0.8.0
#77
oremanj
closed
1 year ago
0
Update stubs for upstream updates we haven't taken yet
#76
oremanj
closed
1 year ago
0
Merge `trio-typing` into `trio`?
#75
Zac-HD
opened
1 year ago
10
Add stubtest, fix incorrect stubs
#73
jakkdl
closed
1 year ago
0
Fix `@takes_callable_and_args` `TypeVar` binding bug
#72
gschaffner
closed
1 year ago
2
`@takes_callable_and_args` plugin is broken on Mypy v1.0.0
#71
gschaffner
closed
1 year ago
0
[outcome] Add support for type checking match
#70
VincentVanlaer
closed
1 year ago
3
Fix type annotation of trio.socket.SocketType.listen
#69
De117
closed
1 year ago
3
Fix `open_signal_receiver` misannotation
#68
gschaffner
closed
1 year ago
2
Remove python 3.6 from test matrix
#67
VincentVanlaer
closed
1 year ago
1
Fix incorrect `Callable[..., Awaitable]` annotations
#66
gschaffner
closed
1 year ago
2
Fix typing for trio.abc.HostnameResolver getaddrinfo() and getnameinfo()
#65
jacobpbrugh
closed
2 years ago
1
Make Listener covariant w.r.t. the resource
#64
VincentVanlaer
closed
1 year ago
0
`trio.lowlevel.open_process()` not defined in stub
#63
goodboy
closed
1 year ago
0
Updated type annotations for getaddrinfo()
#62
agronholm
closed
1 year ago
1
Use `Union[int, Literal[inf]]` instead of `float` for capacity annotations
#61
Zac-HD
closed
2 years ago
1
Update black to 22.3
#60
oremanj
closed
2 years ago
0
Allow clock= argument to be None
#59
oremanj
closed
2 years ago
1
Clock argument of run can be None
#58
domsekotill
closed
2 years ago
0
Fixed return type of getaddrinfo()
#57
agronholm
closed
2 years ago
0
Fixed return type of getnameinfo()
#56
agronholm
closed
2 years ago
2
Fix minor issues in socket stubs
#55
tjstum
closed
2 years ago
0
0.7.0: pytest is failing
#54
kloczek
opened
2 years ago
3
Release v0.7.0
#53
oremanj
closed
2 years ago
0
Add support for mypy 0.920
#52
oremanj
closed
2 years ago
0
Mark many subprocess types as Optional
#51
tjstum
closed
2 years ago
1
`mypy` 0.920 has plugin import error?
#50
goodboy
closed
2 years ago
2
Release v0.6.0
#49
oremanj
closed
2 years ago
0
`mypy` reports memory channel attributes as missing?
#48
goodboy
closed
2 years ago
2
Next