Skip to content
This repository has been archived by the owner on Oct 4, 2024. It is now read-only.

Pull requests: jspahrsummers/adt

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add __hash__
#44 by stephenmell was merged May 25, 2021 Loading…
fix TypeError in mypy plugin with mypy==0.812
#43 by alexmusa was merged Mar 19, 2021 Loading…
Just install adt, not tests
#39 by seanjennings960 was merged Jun 26, 2020 Loading…
Add private field to access declared types
#33 by SebastienLavoie was merged Feb 29, 2020 Loading…
Improve readme test
#29 by wchresta was merged Jan 7, 2020 Loading…
Make mypy_plugin compatible with mypy>=0.730
#28 by wchresta was merged Jan 7, 2020 Loading…
Small improvements
#27 by wchresta was merged Dec 28, 2019 Loading…
Fix bug in script/deploy to upload source
#24 by wchresta was merged Dec 18, 2019 Loading…
make adt PEP 561 compatible
#20 by moshelooks was merged Sep 4, 2019 Loading…
Proper README
#16 by jspahrsummers was merged Jul 6, 2019 Loading…
Add Case[…] "type," with nicer multi-arg support
#15 by jspahrsummers was merged Jul 6, 2019 Loading…
2 tasks done
2
Throw an exception when using invalid accessors
#11 by jspahrsummers was merged Jun 29, 2019 Loading…
Failing test for subclassing
#10 by jspahrsummers was closed Jul 6, 2019 Draft
Add a test for a Maybe ADT, with custom methods
#9 by jspahrsummers was merged Jun 29, 2019 Loading…
1 task done
ProTip! Filter pull requests by the default branch with base:master.