Thư viện MTL yêu cầu những tiện ích mở rộng ngôn ngữ nào?

Question

Tôi đang cố gắng hiểu các máy biến áp đơn nguyên bằng cách triển khai thư viện nhỏ của riêng tôi dựa trên thiết kế của các thư viện hiện có.

Điều tôi đang gặp phải là tiện ích mở rộng ngôn ngữ. Trong MonadError, tiện ích mở rộng duy nhất được đề cập là UndecidableInstances. Tuy nhiên, tôi không thể lấy mã tương tự để biên dịch mà không cần sử dụng FunctionalDependencies và FlexibleInstances.

Ví dụ mà tôi tin đòi hỏi FunDeps:

class (Monad m) => MonadError e m | m -> e where 

Và một trường hợp linh hoạt:

instance MonadError e m => MonadError e (MaybeT m) where 

Làm thế nào để mã MonadError tránh thêm hai phần mở rộng?

Answer 1

Bạn không phải đánh vần tất cả các tiện ích mở rộng trong chính tệp nguồn. Các phần mở rộng phổ biến được sử dụng bởi tất cả/hầu hết các mô-đun có thể được liệt kê trong tập tin cabal của dự án. Trong mtl's case:

extensions: 
    MultiParamTypeClasses 
    FunctionalDependencies 
    FlexibleInstances