Cách lấy Haskell QuickCheck 2.4 để tăng # bài kiểm tra?

Question

Được rồi, như tôi đã học qua số previous question của mình, sách RWH đã lỗi thời cho QuickCheck. Và mặc dù tất cả các bài viết tôi đã đọc cho tôi biết cách sử dụng QuickCheck cực kỳ đơn giản, tôi không thể tìm thấy bất kỳ nơi nào cho tôi biết cách thay đổi số lượng kiểm tra để chạy cho một thuộc tính.

RWH nói:

handyCheck limit = check defaultConfig { 
        configMaxTest = limit 
        , configEvery = \_ _ -> "" 
        } 

Làm thế nào để làm điều này với QuickCheck 2.4? Quan trọng hơn, làm thế nào tôi có thể tự tìm ra được? Xin vui lòng không cho tôi biết rằng tôi nên đã có thể tìm ra nó từ các tài liệu API.

Answer 1

Bạn đang tìm kiếm:

quickCheckWith stdArgs { maxSuccess = 5000 } someProp 

Làm thế nào tôi phát hiện ra

1. tôi đến API documentation.
2. Điều thứ hai tôi thấy, sau quickCheck là loại Args với trường maxSuccess.
3. Tôi không muốn viết tất cả các trường, vì vậy tôi đã tìm giá trị loại Args - tìm kiếm stdArgs. (Sử dụng chức năng tìm kiếm trình duyệt của bạn - ctrl-f thường). OTOH, tôi có thể đã sử dụng hoogle.
4. Tôi cần sử dụng loại Args ở đâu đó để tôi tiếp tục tìm kiếm. Dòng tiếp theo là quickCheckWith - bingo! Mặt khác, tôi có thể đã sử dụng hoogle.

Làm thế nào khác bạn có thể Tìm hiểu

Như tôi đã nói ở trên, bạn có thể đã sử dụng hoogle để tìm thấy rất nhiều các chức năng, giả sử bạn nhận ra loại Args là cốt lõi của những gì bạn cần (từ haddocks).

Nếu không, bạn có thể bị giảm xem xét những gì các gói khác thực hiện, có nghĩa là bạn cần phải biết những gói khác đáng xem. Thư mục examples trong QuickCheck có vẻ hiển nhiên, nhưng không phải tất cả các gói đều có các ví dụ như vậy. Sử dụng reverse dependencies bạn thường có thể tìm thấy gói để xem, nhưng đối với nhiều gói QC không có phụ thuộc rõ ràng.

Answer 2

Đối với những người muốn chạy tất cả các xét nghiệm cùng một lúc và cung cấp cấu hình của họ:

return [] 
main = $forAllProperties (quickCheckWithResult stdArgs { maxSuccess = 500 })