Intersection has already been proposed, see https://github.com/python/typing/issues/213
But it is not yet implemented. You can show your use cases on the typing issue tracker,
maybe they can be covered by Intersection (which will be most probably added at some point).

--
Ivan



On 13 November 2017 at 20:32, Ilya Kulakov <kulakov.ilya@gmail.com> wrote:
I needed to declare a type that would mean "Any but None" and didn't find how.

Current implementation allows to expand set of allowed types, not narrow it.
Perhaps typing needs the rest of set operators in addition to Union?


Best Regards,
Ilya Kulakov


_______________________________________________
Python-ideas mailing list
Python-ideas@python.org
https://mail.python.org/mailman/listinfo/python-ideas
Code of Conduct: http://python.org/psf/codeofconduct/