Hypothesis integration

Đang mở

#234 mở ngày 20/6/2021 2 bình luận 1 reaction 0 người được giao Xem trên GitHub

Chưa có ai nhận issue này.

Đánh giá

Độ khó: 5/5
Thời gian dự kiến: Hơn một tuần
Mức phù hợp với người mới: 25/100

Loại issue: Tính năng
Độ rõ ràng: Khá rõ ràng
Mức độ hoạt động: Đình trệ
Công nghệ: python
Lĩnh vực: testing

Hướng nghiên cứu

Bắt đầu bằng cách đọc returns/contrib/hypothesis/laws.py được tham chiếu và so sánh nó với các kiểm tra typeclass và mypy hiện có trong dự án này. Xác định chiến lược check_typeclass được đề xuất cùng các tùy chọn allow_instances, allow_protocols và allow_unknown, sau đó xác minh rằng các trường hợp được hỗ trợ tạo ra các kiểu trả về hợp lệ và các trường hợp không được hỗ trợ tạo ra NotImplementedError.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

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?

Ngôn ngữ chính: Python
Star: 730
Fork: 30
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Bắt đầu từ đâu

Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
Fork repository và làm thay đổi trên một nhánh.
Mở pull request có tham chiếu số hiệu của issue.

Issue khác của dry-python/classes

Drop Python 3.7 through 3.9 support Đang mở

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

dry-python/classes#496 · Mở ngày 13/12/2024
Outdated install-poetry.py in CI pipelines Đang mở

bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

dry-python/classes#494 · Mở ngày 13/12/2024
Cannot install development environment on Python 3.12 Đang mở

bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 52/100

dry-python/classes#492 · 2 bình luận · Mở ngày 12/12/2024
Error importing plugin "classes.contrib.mypy.classes_plugin" cannot import name 'union_items' from 'mypy.types' Đang mở

bug

Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

dry-python/classes#481 · 5 bình luận · 4 reaction · Mở ngày 14/3/2023
Unable to install both returns and classes together Đang mở

bug

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

dry-python/classes#386 · Mở ngày 10/4/2022

Tất cả issue của dry-python/classes

Issue tương tự

Use `charmlibs.interfaces.oauth` instead of deprecated `hydra.oauth` Đang mở

enhancement

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100

canonical/paas-charm#368 · 1 bình luận · Mở ngày 23/9/2026
Model API: distributable field returns false even when "Allow Distributed Inference Across Workers" is checked Đang mở

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

gpustack/gpustack#6275 · Mở ngày 23/9/2026
attachment_urls parameter descriptions do not state that the value must be a reference Đang mở

tech debt

Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100

epam/ai-dial-quickapps-backend#579 · Mở ngày 23/9/2026
addition to tracking list Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100

StevenBlack/hosts#3256 · Mở ngày 23/9/2026
Fix-WebUI-README-screenshot-links Đang mở

Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100

qualcomm/qai-appbuilder#275 · Mở ngày 23/9/2026

Thêm issue về Python