Hypothesis integration

未关闭

#234 创建于 2021年6月20日 2 条评论 1 个 reaction 已指派 0 人在 GitHub 查看

还没有人认领这个 Issue。

评估

难度: 5/5
预计耗时: 一周以上
新手友好度: 25/100

Issue 类型: 功能
描述清晰度: 基本清楚
活跃度: 停滞
技术栈: python
领域: testing

调研方向

首先阅读所引用的 returns/contrib/hypothesis/laws.py，并将其与本项目中现有的 typeclass 和 mypy 检查进行比较。定义提议的 check_typeclass 策略及其 allow_instances、allow_protocols 和 allow_unknown 选项，然后验证受支持的情况会产生有效的返回类型，而不受支持的情况会产生 NotImplementedError。

由索引模型根据 Issue 内容生成。

描述

enhancement

Right now we don't test classes with hypothesis at all.

But, I have a great idea (at least it seems to me like so) of adding a hypothesis plugin, similar to one we have in returns: https://github.com/dry-python/returns/blob/master/returns/contrib/hypothesis/laws.py

What should it do?

check_typeclass(typeclass_instance) will check that for all existing types and protocols some valid return type is produced. For example, @typeclass def some(instance) -> str must produce str for all instance, protocol, and supported types and it must produce NotImplementedError for types that are not supported
Looks like check_typeclass must have allow_instances, allow_protocols, allow_unknown kw bool arguments to configure what types we actually need in a resulting strategy

It would be a nice companion to our mypy check.

@Zac-HD do you like it? Maybe you have any other ideas?

主要语言: Python
星标: 730
派生: 30
PR 合并指标: 30 天内没有已合并 PR

贡献指南

打开贡献指南

从这里开始

先读完整个 Issue，再读项目的贡献指南。
在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
Fork 仓库，在一个分支上完成修改。
提交 Pull Request，并在描述里引用这个 Issue 编号。

dry-python/classes 的其他 Issue

Drop Python 3.7 through 3.9 support 未关闭

难度 3/5 1-2 天新手友好度 35/100

dry-python/classes#496 · 2024年12月13日创建
Outdated install-poetry.py in CI pipelines 未关闭

bug

难度 2/5 1-3 小时新手友好度 45/100

dry-python/classes#494 · 2024年12月13日创建
Cannot install development environment on Python 3.12 未关闭

bug

难度 2/5 1-3 小时新手友好度 52/100

dry-python/classes#492 · 2 条评论 · 2024年12月12日创建
Error importing plugin "classes.contrib.mypy.classes_plugin" cannot import name 'union_items' from 'mypy.types' 未关闭

bug

难度 3/5 1-2 天新手友好度 35/100

dry-python/classes#481 · 5 条评论 · 4 个 reaction · 2023年3月14日创建
Unable to install both returns and classes together 未关闭

bug

难度 2/5 1-3 小时新手友好度 35/100

dry-python/classes#386 · 2022年4月10日创建

查看 dry-python/classes 的全部 Issue

相似的 Issue

Add: hunch 未关闭

难度 2/5 1-3 小时新手友好度 74/100

AbdelStark/awesome-typesafe#104 · 2026年9月22日创建
Add URL dialog: OK button should be labelled Add, and should validate required fields 未关闭

enhancement

难度 2/5 1-3 小时新手友好度 72/100

translate/virtaal#3687 · 2026年9月22日创建
I15-1: Switch to use new fast shutter PV 未关闭

难度 2/5 1-3 小时新手友好度 68/100

DiamondLightSource/dodal#2211 · 2026年9月22日创建
TEST Add sparse dataset inclusion coverage for row ID and ignore attributes. 未关闭

难度 2/5 1-3 小时新手友好度 88/100

openml/openml-python#1749 · 2026年9月22日创建
pii_scan gate does not block on its two critical rules: an SSN or credit-card number passes 未关闭

难度 2/5 1-3 小时新手友好度 88/100

sipyourdrink-ltd/bernstein#6191 · 2026年9月22日创建

更多 Python Issue