jspahrsummers/adt

Issues

• Add support for matching using context managers.

  #37 opened 4 years ago by aarondewindt
  4

• ADTs hashes are non unique

  #46 opened 2 years ago by albertocalderari
  0

• sealed classes

  #45 opened 3 years ago by adsharma
  0

• mypy plugin: match-function returning None does not type-check

  #25 opened 4 years ago by wchresta
  0

• mypy plugin: Example for safe_integer in README does not type-check.

  #26 opened 4 years ago by wchresta
  1

• mypy plugin causes TypeError: list object expected; got tuple w/ mypy==0.812

  #42 opened 4 years ago by alexmusa
  0

• PyCharm can't recognizes that `Case` is callable and etc.

  #36 opened 4 years ago by rscarrera27
  1

• Mixed-case case names not accepted by .match(), but README says they're fine

  #41 opened 4 years ago by kodo-pp
  0

• mypy plugin broken with mypy==0.730, works with 0.711

  #21 opened 5 years ago by ulidtko
  13

• Function "bind" on Result adt doesn't typecheck

  #40 opened 4 years ago by ianliu
  4

• default option for pattern match

  #34 opened 4 years ago by ethanabrooks
  0

• Implement hash function for ADTs

  #32 opened 5 years ago by mikelynch
  1

• mypy plugin should be installable as an "extra"

  #31 opened 5 years ago by jspahrsummers
  0

• Migrate from CircleCI to GitHub Actions

  #30 opened 5 years ago by jspahrsummers
  0

• Publish source file to pypi

  #23 opened 5 years ago by wchresta
  1

• Collaboration about pattern matching and adts

  #22 opened 5 years ago by thautwarm
  1

• Named fields

  #19 opened 5 years ago by jerbaroo
  1

• avoid dangerous designs & suggestions

  #18 opened 5 years ago by thautwarm
  9

• Examine integration/overlap with pampy

  #13 opened 5 years ago by jspahrsummers
  2

• `deriving` equivalent

  #5 opened 5 years ago by jspahrsummers
  1

• OO comparison: use visitor pattern as example, not just inheritance

  #17 opened 5 years ago by jspahrsummers
  0

• Need a better README

  #14 opened 5 years ago by jspahrsummers
  0

• Should subclassing be supported?

  #2 opened 5 years ago by jspahrsummers
  0

• Nicer multi-arg case construction

  #6 opened 5 years ago by jspahrsummers
  1

• Install ADT methods non-destructively

  #3 opened 5 years ago by jspahrsummers
  0

• Raise an error if a field has a value default-assigned

  #4 opened 5 years ago by jspahrsummers
  0

• throw instead of return None for accessors that don't match constructor?

  #7 opened 5 years ago by jspahrsummers
  1

• match() treats input Callables as returning Any

  #8 opened 5 years ago by jspahrsummers
  0

• mypy plugin for typing support

  #1 opened 5 years ago by jspahrsummers
  1