Hayoo / Hoogle passen nicht zu monomorphen / weniger polymorphen Signaturen mit polymorphen Signaturen

Question

Hayoo / Hoogle passen nicht zu monomorphen / weniger polymorphen Signaturen mit polymorphen Signaturen

8

Ich versuche zu verstehen, ob es einen fundamentalen Grund dafür gibt, warum Hoogle und Hayoo nicht übereinstimmen, zum Beispiel

%Vor%

bis

%Vor%

das ist der Typ von Control.Arrow.*** :

%Vor%

- Ist das wahrscheinlich etwas, das noch nicht implementiert ist, oder gibt es etwas Grundlegendes, das verhindert, dass diese Art von typbasierter Suche jemals implementiert wird?

haskell types hoogle hayoo

Erik Allik 20.10.2015, 11:01

quelle

1 Antwort

Tags und Links haskell types hoogle hayoo

Django: Verwenden von Annotate, Count und Distinct in einem Queryset Blenden Sie eine Komponente aus, wenn Sie auf sie klicken

score 3 · Answer 1

Bei Hoogle scheint es eine Konsequenz davon zu sein, wie -> gehandhabt wird. Issue # 64 in der GitHub Tracker , die sehr ähnlich ist, was wir hier diskutieren, ist mit diesem Kommentar von Neil Mitchell:

Momentan spalte ich den Ergebnistyp schnell aus den Argumenten aus. Ich denke, ein Ansatz wäre, Instanzen für -> zu finden und eine Version mit -> vorab generiert substituiert.