Làm cách nào để tìm ra loại (cụ thể) nào đáp ứng một tập hợp các ràng buộc về kiểu chữ?

Question

Cho một số trở ngại typeclass:

{-# LANGUAGE ConstraintKinds, MultiParamTypeClasses #-} 
import Data.Array.Unboxed(Ix,IArray,UArray) 

type IntLike a = (Ord a, Num a, Enum a, Show a, Ix a, IArray UArray a) 

Làm thế nào tôi có thể tìm ra các loại đáp ứng IntLike, ví dụ: tất cả các hạn chế nêu cùng?

tôi có thể ghép lại với nhau các thông tin cần thiết từ đầu ra của lệnh ghci của :info, và sau đó doublecheck công việc của tôi bằng cách gọi (hoặc có ghci typecheck)

isIntLike :: IntLike -> Bool 
isIntLike = const True 

tại nhiều loại hình, ví dụ .

Có cách nào để ghci thực hiện việc này cho tôi không?

Tôi hiện đang quan tâm đến các loại cụ thể, nhưng sẽ không nhớ có giải pháp tổng quát hơn, công cụ thông minh với bối cảnh hợp nhất!

Answer 1

Câu trả lời của cộng đồng Wiki dựa trên các nhận xét:

Bạn có thể thực hiện việc này bằng cách sử dụng mẫu haskell.

main = print $(reify ''Show >>= stringE . show). 

Điều này sẽ không hoạt động cho các từ đồng nghĩa loại - thay vào đó, sửa lại trả về AST thể hiện chính từ đồng nghĩa, mà không mở rộng. Bạn có thể kiểm tra các từ đồng nghĩa loại là những ràng buộc, trích xuất các ràng buộc mà từ đó loại từ đồng nghĩa bao gồm, và tiếp tục sửa đổi những từ đó.