Quali estensioni di lingua richiede la libreria MTL?

Question

Sto cercando di capire i trasformatori monad implementando la mia piccola libreria basata sui progetti di quelli esistenti.

Quello su cui sono bloccato sono le estensioni della lingua. In MonadError, l'unica estensione menzionata è UndecidableInstances. Tuttavia, non riesco a ottenere codice simile da compilare senza utilizzare anche FunctionalDependencies e FlexibleInstances.

Esempio che credo richiede FunDeps:

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

e un'istanza flessibile:

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

Come funziona il codice MonadError evitare l'extra due estensioni?

Answer 1

Non è necessario specificare tutte le estensioni nel file sorgente stesso. Le estensioni comuni utilizzate da tutti/la maggior parte dei moduli possono essere elencate nel file cabal del progetto. In mtl's case:

extensions: 
    MultiParamTypeClasses 
    FunctionalDependencies 
    FlexibleInstances