Show 的新实例声明

我正在尝试在 Haskell 中为我创建但未成功创建的新数据类型添加实例声明。到目前为止我已经尝试过：

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

似乎最后一行是错误的，但我不确定如何实现我想要的。基本上是能够从解释器调用预测变量并使其可视化，而无需调用 showPrediction。现在这有效：

showPrediction (Prediction 1 2 3)

并显示：

"1-2-3"

正如预期的那样，但我希望它能够工作（来自解释器）：

Prediction 1 2 3

有任何想法吗？

要派生实例，语法为

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

所以在这里，例如，你会有

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

没有先决条件；你会用它来做类似的事情instance Show a => Show [a] where ...，这说明了if a是可显示的，那么也是[a]。在这里，所有Predictions是可以展示的，所以没有什么可担心的。当你写下instance Show (Prediction p) => showPrediction p，你犯了一些错误。第一的，Prediction p暗示Prediction是一种参数化类型（例如，通过以下方式声明的类型）data Prediction a = Prediction a a a），但事实并非如此。第二，Show (Prediction p) =>暗示if Prediction P是可显示的，then你想声明一些其他实例。第三，之后=>，拥有一个函数是没有意义的——Haskell 想要一个类型类名。

另外，为了完整起见，还有另一种方法可以导出Show如果你想要Prediction 1 2 3显示输出的格式：

data Prediction = Prediction Int Int Int deriving Show

正如 Haskell 98 报告中所指定的 http://www.haskell.org/onlinereport/decls.html#derived-decls，只有少数类型可以通过这种方式派生：Eq, Ord, Enum, Bounded, Show, and Read. With 适当的 GHC 扩展 http://www.haskell.org/ghc/docs/latest/html/users_guide/deriving.html，你还可以推导出Data, Typeable, Functor, Foldable, and Traversable;你可以派生任何类newtype的包装类型派生为newtype;您可以以独立的方式生成这些自动实例。