嘗試定義實例時出現無限循環顯示數據類型

Question

我有一個安裝了數據類型爲Card的模塊。我讓它類展會，但東西的情況下出問題的ghci的：

module Poker where 

data Card = Card Int 

... 

instance Show Card where 
show card = ... 

... 

我打開ghci的和類型：

>:m + Poker 
>Card 0 
.. 
.. 
.. 
(Nothing) => I stop the execution 
>Poker.show (Card 0) 
> "Ace of Hearts" 

這似乎是我的數據類型是不是類展會的一個實例，爲什麼？

---

謝謝大家！有用！ :)

Answer 1

縮進事宜。實例聲明的主體需要縮進，否則它會將show的定義解釋爲另一個頂層函數，這就是Poker.show工作的原因。

instance Show Card where 
    show card = ... 

在Haskell一般縮進規則是，如果連續兩行縮進相同，它們是兩個不同的定義，而如果線比其前一個更縮進，它被認爲是部分前面的定義或表達式，這是你在這種情況下想要的。

導致無限循環的原因是由於您未在類型類中提供show的實現，因此它使用間接調用showsPrec的默認實現。既然你沒有提供那個，它使用默認的實現，調用show。因此，你會得到一個無限循環。幾個類型類別具有相互之間的默認實現，所以你只需要實現它們的一個子集。