Wenn Sie eine leere Exportliste angeben, kann das nützlich sein?

Question

Es ist möglich, keine Namen eines Moduls zu exportieren, indem Sie die Angabe nur ein Paar von Klammern, wie die Exportliste:

module MyModule() where 

In welchen Szenarien dies nützlich wäre? Soweit ich weiß, kann jede Datei, die MyModule importiert, keine Funktionen oder Typen verwenden, die in MyModule deklariert sind. An diesem Punkt scheint es ein nutzloses Merkmal der Sprache zu sein, aber ich nehme an, dass es aus einem bestimmten Grund da ist.

Answer 1

Ein solches Modul exportiert weiterhin alle dort definierten Klasseninstanzen.

module A where 

class Foo f where 
    foo :: f 

data Bar = Bar deriving (Show) 

---

module B() where 

import A 

instance Foo Bar where 
    foo = Bar 

---

module C where 

import A 
import B -- won't compile without this import! 

main = print (foo :: Bar)