Typoperatoren aus Modulen exportieren

Question

Wie exportieren Sie Typoperatoren? Wenn man bedenkt, dass sie mit normalen Operatoren kollidieren können, muss es eine spezielle Syntax geben, wenn es möglich ist.

Answer 1

fand ich die Antwort in Abschnitt 7.4.4 of the GHC User's Guide, in dem es heißt:

Es gibt jetzt einige potentielle Mehrdeutigkeit im Import und Export-Listen; zum Beispiel, wenn Sie schreiben import M((+)) meinst du die Funktion(+) oder die Typ Konstruktor(+)? Der Standardwert ist die ehemalige, aber mit -XExplicitNamespaces (die von -XExplicitTypeOperators impliziert) GHC ermöglicht es Ihnen, diese zu spezifizieren, indem sie mit dem Schlüsselwort type vorhergehenden, also:

import M(type (+)) 

Obwohl es nicht wie Sie scheint muss eigentlich -XExplicitNamespaces angeben, vielleicht -XExplicitTypeOperators ist ein Tippfehler, der -XTypeOperators sein soll. Einige weitere empirische Belege dafür:

★ → :set -XExplicitTypeOperators 
Some flags have not been recognized: -XExplicitTypeOperators 

Answer 2

Anstatt einen Typ zu importieren, können Sie eine Art Operator nur exportieren möchten.

Ich definierte type a * b = ..., aber exportiert (*) exportierte die Prelude-Funktion (*) anstelle des Typs Synonym. Ähnlich wie bei der Antwort oben, um Export eine Art Operator, können Sie die Syntax verwenden:

module Foo (type (*)) where 

    type a * b = ...