commit	ba070d9fa43e2017cdfd17273af4d5373506751c	[log] [tgz]
author	Naomi Seyfer <violet@antepenultimate.org>	Tue May 02 09:05:10 2017 -0700
committer	Jukka Lehtosalo <jukka.lehtosalo@iki.fi>	Tue May 02 17:05:10 2017 +0100
tree	890c17674d0d2eac4b5be7a2df35e44bd4e98e92
parent	64da8a8bc2cee407443fb7cadc72fee3dc330ef3 [diff]

Better callable: `Callable[[Arg('x', int), VarArg(str)], int]` now a thing you can do (#2607)

Implements an experimental feature to allow Callable to have any kind of signature an actual function definition does.

This should enable better typing of callbacks &c.

Initial discussion: python/typing#239
Proposal, v. similar to this impl: python/typing#264
Relevant typeshed PR: python/typeshed#793

mypy_extensions.py[diff]

1 file changed

tree: 890c17674d0d2eac4b5be7a2df35e44bd4e98e92

mypy_extensions.py
README.md
setup.py

README.md

Mypy Extensions

The “mypy_extensions” module defines experimental extensions to the standard “typing” module that are supported by the mypy typechecker.