Tôi đang thử nghiệm một hàm gọi là trích xuất hoạt động trên bất kỳ danh sách nào. extractions :: [a] -> [(a,[a])]
extractions [] = []
extractions l = extract l []
where extract [] _ = []
Sự khác nhau chính giữa QuickCheck 1 và QuickCheck 2 là gì? Từ việc xem các tài liệu của Haddock, tôi có thể thấy rằng nó được chia thành nhiều mô-đun hơn, coarbitrary đã được thay thế bằng loại Fun m
Tôi có một loại lớp Atomic, xác định các hàm để chuyển đổi một số loại nhất định thành/từ giá trị trình bao bọc (Atom). Tôi muốn xác định thuộc tính QuickCheck nói rằng: "cho tất cả các phiên bản Atom