多态类型的显示函数

Question

我正在尝试为多态树类型定义显示函数。任何人都可以帮我吗？

import Char 

data Tree t = 
    NilT | 
    Node t (Tree t) (Tree t) 

class Mar t where 
    maior :: t -> String 

instance Mar Tree where 
    maior (NilT) = "a" 
    maior (Node t a b) = "b" 

instance Show Tree where 
    show = maior 

非常感谢！

---

溶液（ivanm给出）：

import Char 

data Tree t = 
    NilT | 
    Node t (Tree t) (Tree t) 

class Mar t where 
    maior :: t -> String 

instance Mar (Tree t) where 
    maior (NilT) = "a" 
    maior (Node t a b) = "b" 

instance Show (Tree t) where 
    show = maior 

Answer 1

是否有您不使用deriving Show什么特别的原因？ Show和Read类旨在提供真正基本的序列化/反序列化（通常）生成有效的Haskell代码。

但是，对于你想要的，我认为错误是回到你的Mar类。如所定义的，该实例针对种类* -> *（例如Maybe而不是Maybe Int）。你可能意思是有instance Mar (Tree t) where ...。

Answer 2

data Tree t = 
    NilT | 
    Node t (Tree t) (Tree t) 
    deriving Show