einen Daten Konstruktor importieren, ohne die Art Import

8

numeric-prelude macht das, wo jeder Datentyp den Namen T hat und jede Klasse den Namen C hat. Aus Gründen der ... Konsistenz, nehme ich an, ich werde mitspielen:

%Vor%

ghc ist nicht beeindruckt:

%Vor%

Sicher, Kumpel, ich kann es einhalten:

%Vor%

... aber das führt auch zum Import von Ratio.T , was zu meinem T !

führt %Vor%

Okay, also wie wäre es mit import Number.Ratio (T((:%))) hiding T ?

%Vor%

Ich bin ein bisschen verloren, Gaise. : /

    
Exp HP 10.09.2016, 23:37
quelle

2 Antworten

8

Stellt sich heraus, ist eine geeignete Methode, dies zu tun:

%Vor%

Beachten Sie, dass ich die -XPatternSynonyms -Erweiterung verwendet habe, um kein Muster-Synonym zu definieren, nur um das pattern -Schlüsselwort zu aktivieren, damit klar ist, dass ich den -Wertkonstruktor importieren möchte :% allein.

    
leftaroundabout 11.09.2016, 10:39
quelle
3

Meine aktuelle Lösung, die vor dem Posten entdeckt wurde:

  • Versuche nicht, (:%) zu importieren.
  • Behalten Sie den qualifizierten Import bei.
  • Ändern Sie :% in Ratio.:% everywhere (Muster und Ausdrücke).

Ergebnis:

%Vor%

Hässlich.

    
Exp HP 10.09.2016 23:37
quelle

Tags und Links

Django: Verwenden von Annotate, Count und Distinct in einem Queryset Kann ggplot2 nicht installieren: "Fehler in library.dynam (lib, Paket, package.lib): Gemeinsames Objekt 'stringi.so' nicht gefunden"