Mã nguồn cho khai báo cá thể kiểu chữ tiêu chuẩn

Question

Tôi đã tự hỏi về khai báo cá thể Ord cho (a,b) và tôi muốn tìm kiếm nhanh chóng để xác nhận trực giác của mình rằng so sánh đầu tiên là a và sau đó, trong trường hợp bình đẳng, trên b. Cụ thể tôi đã đi here. Kể từ khi hackage có liên kết đến mã nguồn cho khai báo dữ liệu và chức năng, tôi giả định rằng cũng sẽ có mã nguồn cho khai báo dụ, nhưng tôi không thể tìm thấy chúng. Có lý do tại sao họ không có ở đó, hoặc có tôi chỉ nhìn không đủ cứng? type Answer = Either Explanation Directions :)

Answer 1

tôi đã đi looking in the Prelude, nhấp vào source link for the Ord typeclass, cuộn xuống một chút, và thấy rằng nó được định nghĩa như

deriving instance (Ord a, Ord b) => Ord (a, b) 

Đó là sử dụng phần mở rộng StandaloneDeriving. Về cơ bản nó tạo mã giống như nếu loại được định nghĩa là

data (a, b) = (a, b) deriving Ord 

Answer 2

Các Ord dụ cho các bộ is derived, theo các quy tắc từ đặc tả ngôn ngữ, mà đi lại as far as Gofer.

instance (Eq a, Eq b) => Eq (a,b) where 
    (x,y) == (u,v) = x==u && y==v 

instance (Ord a, Ord b) => Ord (a,b) where 
    (x,y) <= (u,v) = x<u || (x==u && y<=v) 

Answer 3

Các Haskell 98 Báo cáo định này in section 10.1:

Các phương pháp lớp tự động được giới thiệu bởi các trường hợp có nguồn gốc của Eq và Ord là (==), (/ =), so sánh, (<) , (< =), (>), (> =), max và min. Bảy toán tử thứ hai được định nghĩa để so sánh các đối số theo từ điển đối với bộ tạo dựng, với các hàm tạo trước đó trong khai báo kiểu dữ liệu là nhỏ hơn các số sau.

So sánh có nguồn gốc luôn luôn vượt qua các nhà thầu từ trái sang phải.

...

Mọi hoạt động có nguồn gốc của lớp Eq và Ord đều nghiêm ngặt trong cả hai đối số.