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

Issues: jspahrsummers/adt

15 Open 14 Closed
15 Open 14 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ADTs hashes are non unique
#46 opened Nov 18, 2022 by albertocalderari
sealed classes
#45 opened May 27, 2021 by adsharma
Mixed-case case names not accepted by .match(), but README says they're fine
#41 opened Dec 3, 2020 by kodo-pp
Function "bind" on Result adt doesn't typecheck mypy Relating to the ADT mypy plugin question Further information is requested
#40 opened Jul 30, 2020 by ianliu
4
Add support for matching using context managers.
#37 opened May 16, 2020 by aarondewindt
4
PyCharm can't recognizes that Case is callable and etc.
#36 opened Apr 24, 2020 by rscarrera27
1
default option for pattern match
#34 opened Mar 28, 2020 by ethanabrooks
Implement hash function for ADTs bug Something isn't working
#32 opened Feb 9, 2020 by mikelynch
1
mypy plugin should be installable as an "extra" enhancement New feature or request
#31 opened Dec 31, 2019 by jspahrsummers
Migrate from CircleCI to GitHub Actions
#30 opened Dec 30, 2019 by jspahrsummers
Collaboration about pattern matching and adts
#22 opened Oct 14, 2019 by thautwarm
1
Named fields enhancement New feature or request
#19 opened Aug 29, 2019 by jerbaroo
1
OO comparison: use visitor pattern as example, not just inheritance documentation Improvements or additions to documentation
#17 opened Jul 10, 2019 by jspahrsummers
deriving equivalent enhancement New feature or request
#5 opened Jun 26, 2019 by jspahrsummers
1
Should subclassing be supported? question Further information is requested
#2 opened Jun 26, 2019 by jspahrsummers
ProTip! Exclude everything labeled bug with -label:bug.