Haskell - bất kỳ cách nào để tắt cú pháp rebindable đối với trường hợp `deriving` instance?

Question

Có một "tính năng" gây phiền nhiễu mà các phiên bản phát sinh cũng bị ảnh hưởng bởi tiện ích mở rộng RebindableSyntax. Ví dụ về những gì tôi muốn viết:

{-# LANGUAGE RebindableSyntax #-} 
import qualified Prelude 
data Color = Red | Green | Blue | Periwinkle | Fuschia deriving (Prelude.Eq, Prelude.Ord) 

Điều này xảy ra với lỗi "Không nằm trong phạm vi:` ifThenElse '".

Answer 1

Điều đó có vẻ giống như một sự không hài lòng đối với tôi - mệnh đề deriving có đầy đủ ma thuật tích hợp, vì vậy tôi hoài nghi rằng các cá thể xuất phát sử dụng cú pháp phục hồi sẽ hữu ích trong thực tế. Bây giờ, nếu bạn cũng có thể tự rebind các khoảnchính nó và sử dụng một mối nối TH thay vì ... nhưng tôi digress.

Tôi nghi ngờ giải pháp đơn giản và dễ nhất là sử dụng các mô-đun khác nhau. Đặt định nghĩa kiểu dữ liệu trong mô-đun riêng của nó, sử dụng mệnh đề deriving ở đó với các hàm Prelude trong phạm vi, sau đó nhập loại trong mô-đun bằng cú pháp có thể rebindable. Nếu bạn cần thêm mô đun trong mô-đun của mình, lưu ý rằng StandaloneDeriving cũng tồn tại và sẽ cho phép bạn xác định các loại trong một mô-đun (với RebindableSyntax hoạt động), lấy các cá thể trong mô-đun khác (không có RebindableSyntax) và nhập cả từ mô-đun thực sự sử dụng loại.