dry-python / dry-python/classes
Support `Literal` types
未关闭
enhancement
- 主要语言
- Python
- 星标
- 730
- 派生
- 30
- PR 合并指标
- 30 天内没有已合并 PR
描述
After we have `delegate` in-place we can use `Literal` types.
But, now they are not supported.
Ideally, something like this should work:
```python
from classes import typeclass, AssociatedType, Supports
from typing_extensions import Literal
class SomeDelegate(object):
... # TODO: write proper `__instancecheck__`
class A(AssociatedType):
...
@typeclass(A)
def some(instance) -> int:
...
@some.instance(Literal[1], delegate=SomeDelegate)
def _some_tuple(instance: Literal[1]) -> int:
return instance
def test(i: Supports[A]):
return some(i)
some(1)
```
贡献指南
评估
这个 Issue 还没有评估数据。