github.com/python-trio/trio-typing issues | Ecosyste.ms: OpenCollective

Support mypy 1.11

Redoubts opened this pull request 23 days ago

Add 'abandon_on_cancel' to to_thread.run_sync

Hnasar opened this pull request about 1 month ago

trio_typing 0.10.0 mypy plugin incompatible with mypy 1.11.2

Hnasar opened this issue about 2 months ago

Fix return type of `CancelScope.__exit__` such that it can suppresses errors

rsokl opened this pull request 2 months ago

Release v0.10.0

oremanj opened this pull request 11 months ago

Replace plugin.args_invariant_decorator_callback with use of ParamSpec

oremanj opened this pull request 11 months ago

Require mypy < 1.7.0

CoolCat467 opened this pull request 11 months ago

trio_typing.plugin incompatible with mypy 1.7's new type inference

Hnasar opened this issue 11 months ago

Release v0.9.0

oremanj opened this pull request about 1 year ago

release for mypy 1.4 fix

belm0 opened this issue about 1 year ago

trio-stubs runtime error (mypy >= 1.4.0)

belm0 opened this issue about 1 year ago

Are tests intended to be distributed?

dhirschfeld opened this issue over 1 year ago

Incompatible with `trio >= 0.22.1` due to `async_generator`

touilleMan opened this issue over 1 year ago

Breaking change in `TypeVarType` causes an error during typecheck

fjarri opened this issue over 1 year ago

Fix for mypy 1.4 changes

VincentVanlaer opened this pull request over 1 year ago

Add strict_exception_groups parameter to start_guest_run()

TeamSpen210 opened this pull request over 1 year ago

Fix `TaskStatus.started` being type-unsafe when not using the mypy plugin

gschaffner opened this pull request over 1 year ago

`TaskStatus.started` annotations can be type-safe without requiring the mypy plugin be used

gschaffner opened this issue over 1 year ago

Fixed return type of CancelScope.__exit__

agronholm opened this pull request over 1 year ago

Type mismatch between open_signal_receiver and Process.send_signal

Redoubts opened this issue over 1 year ago

Release 0.8.0

oremanj opened this pull request over 1 year ago

Update stubs for upstream updates we haven't taken yet

oremanj opened this pull request over 1 year ago

Merge `trio-typing` into `trio`?

Zac-HD opened this issue over 1 year ago

`trio.run()` and `nursery.start[_soon](f, ...)` should not typecheck if `f` is missing required arguments

Zac-HD opened this issue over 1 year ago

Add stubtest, fix incorrect stubs

jakkdl opened this pull request over 1 year ago

Fix `@takes_callable_and_args` `TypeVar` binding bug

gschaffner opened this pull request over 1 year ago

`@takes_callable_and_args` plugin is broken on Mypy v1.0.0

gschaffner opened this issue over 1 year ago

[outcome] Add support for type checking match

VincentVanlaer opened this pull request almost 2 years ago

Fix type annotation of trio.socket.SocketType.listen

De117 opened this pull request almost 2 years ago

Fix `open_signal_receiver` misannotation

gschaffner opened this pull request almost 2 years ago

Remove python 3.6 from test matrix

VincentVanlaer opened this pull request almost 2 years ago

Fix incorrect `Callable[..., Awaitable]` annotations

gschaffner opened this pull request almost 2 years ago

Fix typing for trio.abc.HostnameResolver getaddrinfo() and getnameinfo()

jacobpbrugh opened this pull request about 2 years ago

Make Listener covariant w.r.t. the resource

VincentVanlaer opened this pull request about 2 years ago

`trio.lowlevel.open_process()` not defined in stub

goodboy opened this issue over 2 years ago

Updated type annotations for getaddrinfo()

agronholm opened this pull request over 2 years ago

Use `Union[int, Literal[inf]]` instead of `float` for capacity annotations

Zac-HD opened this issue over 2 years ago

Update black to 22.3

oremanj opened this pull request over 2 years ago

Allow clock= argument to be None

oremanj opened this pull request over 2 years ago

Clock argument of run can be None

domsekotill opened this issue over 2 years ago

Fixed return type of getaddrinfo()

agronholm opened this pull request over 2 years ago

Fixed return type of getnameinfo()

agronholm opened this pull request over 2 years ago

Fix minor issues in socket stubs

tjstum opened this pull request over 2 years ago

0.7.0: pytest is failing

kloczek opened this issue almost 3 years ago

Release v0.7.0

oremanj opened this pull request almost 3 years ago

Add support for mypy 0.920

oremanj opened this pull request almost 3 years ago

Mark many subprocess types as Optional

tjstum opened this pull request almost 3 years ago

`mypy` 0.920 has plugin import error?

goodboy opened this issue almost 3 years ago

Release v0.6.0

oremanj opened this pull request almost 3 years ago

`mypy` reports memory channel attributes as missing?

goodboy opened this issue almost 3 years ago

Revamp file I/O stubs to better match stdlib

oremanj opened this pull request almost 3 years ago

Add missing local_address argument of trio.open_tcp_stream()

oremanj opened this pull request almost 3 years ago

Allow subprocess functions to take PathLikes for the cwd parameter

tjstum opened this pull request almost 3 years ago

Port CI to Github Actions and fix issues thus revealed

oremanj opened this pull request almost 3 years ago

Allow Path objects in subprocess functions

tjstum opened this pull request almost 3 years ago

0.5.1: missing git tag

kloczek opened this issue almost 3 years ago

Allow async_generator.aclosing() to take a native async generator

overclockworked64 opened this pull request about 3 years ago

async_generator.aclosing() should accept async generators

oremanj opened this issue about 3 years ago

open_process() and friends aren't typed to accept PathLikes

oremanj opened this issue about 3 years ago

Update stubs for trio 0.18.0

tjstum opened this pull request about 3 years ago

Changed serve_tcp to make task_status parameter optional to match trio library

svermeulen opened this pull request about 3 years ago

Release v0.5.1

oremanj opened this pull request over 3 years ago

move mypy dependency under "mypy" extras_require

belm0 opened this pull request over 3 years ago

make mypy dependency optional

belm0 opened this issue over 3 years ago

Fix aclosing async generator support

florimondmanca opened this pull request over 3 years ago

Argument local_address for open_tcp_stream is missing

joernheissler opened this issue over 3 years ago

mypy error on async_generator.aclosing on an async generator object

ZeeD opened this issue over 3 years ago

Move from Travis to GitHub Actions

altendky opened this pull request over 3 years ago

Move from Travis to GitHub Actions

altendky opened this pull request over 3 years ago

Unable to .write() to an opened trio.Path

altendky opened this issue over 3 years ago

[Request] Separate stubs into its own package

nihaals opened this issue about 4 years ago

Release 0.5.0

oremanj opened this pull request over 4 years ago

Update stubs to match Trio 0.16

oremanj opened this pull request over 4 years ago

RunVar exposure not flexible enough

oremanj opened this issue almost 5 years ago

Release v0.4.0

oremanj opened this pull request almost 5 years ago

Update mypy to 0.750

oremanj opened this pull request almost 5 years ago

Update black to 19.10b0

oremanj opened this pull request almost 5 years ago

Mark context manager exits that can't swallow exceptions as returning None

oremanj opened this pull request almost 5 years ago

Fix some false positives

oremanj opened this pull request almost 5 years ago

Pin versions to fix CI

oremanj opened this pull request almost 5 years ago

getsockname() and getpeername() should return Any

oremanj opened this issue almost 5 years ago

Nursery.start_soon() doesn't accept a function returning a bool

gsalgado opened this issue almost 5 years ago

Release v0.3.0

oremanj opened this pull request about 5 years ago

Update for trio v0.12.0 and mypy v0.740

oremanj opened this pull request about 5 years ago

Semaphore isn't spelled like that

oremanj opened this pull request over 5 years ago

Infer presence/absence of trio.Process stream attributes based on constructor arguments

oremanj opened this issue over 5 years ago

There should be a functools.partial plugin

oremanj opened this issue over 5 years ago

Change tests to use pytest-mypy-plugins

oremanj opened this issue over 5 years ago

Documentation improvements

oremanj opened this issue over 5 years ago

Add several missing trio.Path methods and fix return type of iteration methods

oremanj opened this pull request over 5 years ago

Wrongly shows error message

math2001 opened this issue over 5 years ago

trio.open_memory_channel requires explicit type declaration

math2001 opened this issue over 5 years ago

Fix stubs for memory send/receive streams

oremanj opened this pull request over 5 years ago

Release v0.2.0

oremanj opened this pull request over 5 years ago

Support running without the mypy plugin

oremanj opened this pull request over 5 years ago

Support running without the mypy plugin

oremanj opened this pull request over 5 years ago

Release v0.1.0

oremanj opened this pull request over 5 years ago