Skip to content
This repository has been archived by the owner on Nov 22, 2022. It is now read-only.

Refine type of ResultIterable.data #4

Closed
zero323 opened this issue Feb 13, 2017 · 0 comments · Fixed by #200
Closed

Refine type of ResultIterable.data #4

zero323 opened this issue Feb 13, 2017 · 0 comments · Fixed by #200

Comments

@zero323
Copy link
Owner

zero323 commented Feb 13, 2017

ResultIterable.data currently we use typing.Iterable, while in fact we need an equivalent of Interection[Iterable, Sized]. This depends on python/typing#213

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant