jspahrsummers adt issues

jspahrsummers / adt

Algebraic data types for Python (experimental, not actively maintained)

MIT License

172 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

ADTs hashes are non unique

#46 albertocalderari opened 1 year ago
0
sealed classes

#45 adsharma opened 3 years ago
0
Add __hash__

#44 stephenmell closed 3 years ago
3
fix TypeError in mypy plugin with mypy==0.812

#43 alexmusa closed 3 years ago
3
mypy plugin causes TypeError: list object expected; got tuple w/ mypy==0.812

#42 alexmusa closed 3 years ago
0
Mixed-case case names not accepted by .match(), but README says they're fine

#41 kodo-pp opened 3 years ago
0
Function "bind" on Result adt doesn't typecheck

#40 ianliu opened 4 years ago
4
Just install adt, not tests

#39 seanjennings960 closed 4 years ago
1
Added support for matching using context managers.

#38 aarondewindt opened 4 years ago
2
Add support for matching using context managers.

#37 aarondewindt opened 4 years ago
4
PyCharm can't recognizes that `Case` is callable and etc.

#36 rscarrera27 opened 4 years ago
1
add support for _ default key

#35 ethanabrooks opened 4 years ago
3
default option for pattern match

#34 ethanabrooks opened 4 years ago
0
Add private field to access declared types

#33 SebastienLavoie closed 4 years ago
2
Implement hash function for ADTs

#32 mikelynch opened 4 years ago
1
mypy plugin should be installable as an "extra"

#31 jspahrsummers opened 4 years ago
0
Migrate from CircleCI to GitHub Actions

#30 jspahrsummers opened 4 years ago
0
Improve readme test

#29 wchresta closed 4 years ago
0
Make mypy_plugin compatible with mypy>=0.730

#28 wchresta closed 4 years ago
0
Small improvements

#27 wchresta closed 4 years ago
1
mypy plugin: Example for safe_integer in README does not type-check.

#26 wchresta closed 3 years ago
1
mypy plugin: match-function returning None does not type-check

#25 wchresta closed 3 years ago
0
Fix bug in script/deploy to upload source

#24 wchresta closed 4 years ago
2
Publish source file to pypi

#23 wchresta closed 4 years ago
1
Collaboration about pattern matching and adts

#22 thautwarm opened 4 years ago
1
mypy plugin broken with mypy==0.730, works with 0.711

#21 ulidtko closed 4 years ago
13
make adt PEP 561 compatible

#20 moshelooks closed 4 years ago
1
Named fields

#19 jerbaroo opened 4 years ago
1
avoid dangerous designs & suggestions

#18 thautwarm closed 5 years ago
9
OO comparison: use visitor pattern as example, not just inheritance

#17 jspahrsummers opened 5 years ago
0
Proper README

#16 jspahrsummers closed 5 years ago
0
Add Case[…] "type," with nicer multi-arg support

#15 jspahrsummers closed 5 years ago
0
Need a better README

#14 jspahrsummers closed 5 years ago
0
Examine integration/overlap with pampy

#13 jspahrsummers closed 5 years ago
2
Ensure decorator-generated overrides are not destructive

#12 jspahrsummers closed 5 years ago
0
Throw an exception when using invalid accessors

#11 jspahrsummers closed 5 years ago
0
Failing test for subclassing

#10 jspahrsummers closed 5 years ago
0
Add a test for a Maybe ADT, with custom methods

#9 jspahrsummers closed 5 years ago
0
match() treats input Callables as returning Any

#8 jspahrsummers closed 5 years ago
0
throw instead of return None for accessors that don't match constructor?

#7 jspahrsummers closed 5 years ago
1
Nicer multi-arg case construction

#6 jspahrsummers closed 5 years ago
1
`deriving` equivalent

#5 jspahrsummers opened 5 years ago
1
Raise an error if a field has a value default-assigned

#4 jspahrsummers closed 5 years ago
0
Install ADT methods non-destructively

#3 jspahrsummers closed 5 years ago
0
Should subclassing be supported?

#2 jspahrsummers opened 5 years ago
0
mypy plugin for typing support

#1 jspahrsummers closed 5 years ago
1