Search results

ADTs hashes are non unique

Status: Open.

#46 In jspahrsummers/adt;

· albertocalderari opened on Nov 18, 2022

sealed classes

Status: Open.

#45 In jspahrsummers/adt;

· adsharma opened on May 27, 2021

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

Status: Open.

#41 In jspahrsummers/adt;

· kodo-pp opened on Dec 3, 2020

Function "bind" on Result adt doesn't typecheck

mypyRelating to the ADT mypy pluginRelating to the ADT mypy plugin

questionFurther information is requestedFurther information is requested

Status: Open.

#40 In jspahrsummers/adt;

· ianliu opened on Jul 30, 2020

Add support for matching using context managers.

Status: Open.

#37 In jspahrsummers/adt;

· aarondewindt opened on May 16, 2020

PyCharm can't recognizes that <code>Case</code> is callable and etc.

Status: Open.

#36 In jspahrsummers/adt;

· rscarrera27 opened on Apr 24, 2020

default option for pattern match

Status: Open.

#34 In jspahrsummers/adt;

· ethanabrooks opened on Mar 28, 2020

Implement hash function for ADTs

bugSomething isn't workingSomething isn't working

Status: Open.

#32 In jspahrsummers/adt;

· mikelynch opened on Feb 9, 2020

mypy plugin should be installable as an "extra"

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In jspahrsummers/adt;

· jspahrsummers opened on Dec 31, 2019

Migrate from CircleCI to GitHub Actions

Status: Open.

#30 In jspahrsummers/adt;

· jspahrsummers opened on Dec 30, 2019

Collaboration about pattern matching and adts

Status: Open.

#22 In jspahrsummers/adt;

· thautwarm opened on Oct 14, 2019

Named fields

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In jspahrsummers/adt;

· jerbaroo opened on Aug 29, 2019