显示多态类型的函数

Question

我正在尝试为多态树类型定义 Show 函数。谁能帮帮我？

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