jspahrsummers / adt

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

jspahrsummers/adt Issues

Add support for matching using context managers.
Updated 5 months ago4
ADTs hashes are non unique
Updated 2 years ago
sealed classes
Updated 3 years ago
mypy plugin: match-function returning None does not type-check
Closed 3 years ago
mypy plugin: Example for safe_integer in README does not type-check.
Closed 3 years ago1
mypy plugin causes TypeError: list object expected; got tuple w/ mypy==0.812
Closed 3 years ago
PyCharm can't recognizes that `Case` is callable and etc.
Updated 3 years ago1
Mixed-case case names not accepted by .match(), but README says they're fine
Updated 3 years ago
mypy plugin broken with mypy==0.730, works with 0.711
Closed 4 years ago13
Function "bind" on Result adt doesn't typecheck
Updated 4 years ago4
default option for pattern match
Updated 4 years ago
Implement hash function for ADTs
Updated 4 years ago1
mypy plugin should be installable as an "extra"
Updated 4 years ago
Migrate from CircleCI to GitHub Actions
Updated 4 years ago
Publish source file to pypi
Closed 4 years ago1
Collaboration about pattern matching and adts
Updated 5 years ago1
Named fields
Updated 5 years ago1
avoid dangerous designs & suggestions
Closed 5 years ago9
Examine integration/overlap with pampy
Closed 5 years ago2
`deriving` equivalent
Updated 5 years ago1
OO comparison: use visitor pattern as example, not just inheritance
Updated 5 years ago
Need a better README
Closed 5 years ago
Should subclassing be supported?
Updated 5 years ago
Nicer multi-arg case construction
Closed 5 years ago1
Install ADT methods non-destructively
Closed 5 years ago
Raise an error if a field has a value default-assigned
Closed 5 years ago
throw instead of return None for accessors that don't match constructor?
Closed 5 years ago1
match() treats input Callables as returning Any
Closed 5 years ago
mypy plugin for typing support
Closed 5 years ago1