Support `Literal` types
还没有人认领这个 Issue。
评估
调研方向
首先跟踪 typeclass、AssociatedType、Supports 和 @some.instance 如何处理委托类型,然后将这一路径与 Literal[1] 示例进行比较。完成的标准是该示例能够通过类型检查,并且 some(1) 能够通过 Literal 注册正确解析,同时保留现有的委托行为。
由索引模型根据 Issue 内容生成。
描述
After we have delegate in-place we can use Literal types.
But, now they are not supported.
Ideally, something like this should work:
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)
- 主要语言
- Python
- 星标
- 730
- 派生
- 30
- PR 合并指标
- 30 天内没有已合并 PR
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
dry-python/classes 的其他 Issue
-
难度 3/5 1-2 天 新手友好度 35/100
dry-python/classes#496 ·
-
bug
难度 2/5 1-3 小时 新手友好度 45/100
dry-python/classes#494 ·
-
bug
难度 2/5 1-3 小时 新手友好度 52/100
dry-python/classes#492 · 2 条评论 ·
-
bug
难度 3/5 1-2 天 新手友好度 35/100
dry-python/classes#481 · 5 条评论 · 4 个 reaction ·
-
bug
难度 2/5 1-3 小时 新手友好度 35/100
dry-python/classes#386 ·
查看 dry-python/classes 的全部 Issue
相似的 Issue
-
enhancement
难度 2/5 1-3 小时 新手友好度 70/100
canonical/paas-charm#368 · 1 条评论 ·
-
难度 2/5 1-3 小时 新手友好度 75/100
-
tech debt
难度 2/5 1-3 小时 新手友好度 75/100
-
难度 1/5 1 小时以内 新手友好度 90/100
StevenBlack/hosts#3256 ·
-
难度 1/5 1 小时以内 新手友好度 90/100
qualcomm/qai-appbuilder#275 ·