search

jspahrsummers / adt

Algebraic data types for Python (experimental, not actively maintained)
MIT License
172 stars 14 forks source link

match() treats input Callables as returning Any #8

Closed jspahrsummers closed 5 years ago

jspahrsummers commented 5 years ago

I couldn't get a _MatchResult type variable to work, but maybe each callable could return its own TypeVar which are then all Unioned together to obtain the return type of match().