Neue Instanz-Deklaration für die Show

Ich versuche, fügen Sie eine Instanz-Deklaration in Haskell für einen neuen Datentyp, die ich erstellt habe, leider erfolglos. Hier was ich bisher ausprobiert habe:

data Prediction = Prediction Int Int Int
showPrediction :: Prediction -> String
showPrediction (Prediction a b c) = show a ++ "-" ++ show b ++ "-" ++ show c
instance Show (Prediction p) => showPrediction p

Scheint die Letzte Zeile ist falsch, aber ich bin mir nicht sicher, wie Sie Sie zu erreichen, was ich will. Im Grunde ist in der Lage, um den Interpreten eine Vorhersage-variable und get es visualisiert die zimmerreserviereung, ohne das zu nennen, die showPrediction. Jetzt geht das so:

showPrediction (Prediction 1 2 3)

und zeigt:

"1-2-3"

als erwartet, aber ich möchte diese Arbeit (der Dolmetscherin):

Prediction 1 2 3

Irgendwelche Ideen?

InformationsquelleAutor Cristobal Viedma | 2010-12-11
  1. 55

    Zur Ableitung einer Instanz, die syntax ist

    instance «preconditions» => Class «type» where
  «method» = «definition»

    Also hier, zum Beispiel, würden Sie haben

    instance Show Prediction where
  show (Prediction a b c) = show a ++ "-" ++ show b ++ "-" ++ show c

    Gibt es keine Voraussetzung; Sie würde verwenden, für so etwas wie instance Show a => Show [a] where ..., die sagt, dass wenn a ist Darstellbare, dann ist [a]. Hier, alle Predictions sind Darstellbare, so gibt es nichts zu befürchten. Wenn Sie schrieb instance Show (Prediction p) => showPrediction p Sie ein paar Fehler gemacht. Zuerst Prediction p impliziert, dass Prediction ist ein parametrisierten Typen (eines erklärt, zum Beispiel data Prediction a = Prediction a a a), was es nicht ist. Zweitens Show (Prediction p) => impliziert, dass wenn Prediction P ist Darstellbare, dann Sie wollen, zu erklären, die von einer anderen Instanz. Und drittens, nachdem die =>, eine Funktion unsinnig—Haskell wollte eine Art Klassenname.

    Auch, der Vollständigkeit halber, es gibt eine andere Weise abzuleiten Show wenn Sie möchten, dass die Prediction 1 2 3 format für die angezeigten Ausgabe:

    data Prediction = Prediction Int Int Int deriving Show

    Wie angegeben, in der Haskell 98 report, gibt es nur eine Handvoll Typen, die abgeleitet werden können, auf diese Weise: Eq, Ord, Enum, Bounded, Show, und Read. Mit die entsprechenden GHC-Erweiterungen, können Sie auch ableiten Data, Typeable, Functor, Foldable, und Traversable; Sie ableiten kann jede Klasse, die eine newtype's gewickelt, abgeleiteter Typ für eine newtype; und Sie erzeugen können diesen automatische Instanzen, die in einem eigenständigen Weg.

    • ++ high-quality, in-Tiefe, umfangreiche Antwort.
    • Vielen Dank für die netten Antworten so gut! Die "deriving Show" funktioniert perfekt als gut. Schön zu wissen ;))
    InformationsquelleAutor Antal Spector-Zabusky
  2. 14

    Hast du die syntax für die Instanzen falsch. Erstellen Sie eine Instanz der Show schreiben:

    instance Show Foo where
  show = ...
  -- or
  show x = ...

    wo ... enthält die definition der show Funktion für Foo.

    So, in diesem Fall Sie wollen:

    instance Show Prediction where
  show = showPrediction

    oder, da gibt es nicht einen wichtigen Grund zu haben showPrediction an alle:

    instance Show Prediction where
  show (Prediction a b c) = show a ++ "-" ++ show b ++ "-" ++ show c
    • Yup, das war es. Vielen Dank für die Antwort! :))
    InformationsquelleAutor sepp2k
  3. 4

    Ersetzen Sie Ihre Letzte Zeile mit:

    instance Show Prediction where
    show = showPrediction
    InformationsquelleAutor oino
Schreibe einen Kommentar