Jakie rozszerzenia języków wymaga biblioteka MTL?

Question

Próbuję zrozumieć transformatory Monada poprzez wdrożenie mojej malutkiej biblioteki opartej na projektach już istniejących.

Utknąłem w sprawie rozszerzeń językowych. W MonadError jedynym wspomnianym rozszerzeniem jest UndecidableInstances. Jednak nie mogę uzyskać podobnego kodu do kompilacji bez używania również FunctionalDependencies i FlexibleInstances.

Przykład że wierzę wymaga FunDeps:

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

oraz elastyczne instancję:

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

Jak działa kod MonadError uniknąć dodatkowych dwa rozszerzenia?

Answer 1

Nie musisz przeliterować wszystkich rozszerzeń w samym pliku źródłowym. Typowe rozszerzenia używane przez wszystkie/większość modułów mogą być wymienione w pliku cabal projektu. W mtl's case:

extensions: 
    MultiParamTypeClasses 
    FunctionalDependencies 
    FlexibleInstances