代码之家 › 专栏 › 技术社区 › A.M.

如何在Haskell中显示用户定义的数据类型

user-defined-types show haskell

A.M. · 技术社区 · 7 年前

因此,我试图定义自己的数据类型,递归地表示自然数,如下所示:

 data Nat = Zero | Succ Nat

此功能正常工作:

 showNat :: Nat -> String
 showNat Zero = "Zero"
 showNat (Succ k) = "Succ " ++ (showNat k)

然而,我不想每次我想在屏幕上输出Nat时都调用它。我尝试过:

  instance Show Nat where
  show Zero = "Zero"
  show (Succ k) = "Succ " ++ Main.show k

但它返回一个错误:

â¢ No explicit implementation for
    either âshowsPrecâ or âPrelude.showâ
â¢ In the instance declaration for âShow Natâ
|
| > instance Show Nat where   |            ^^^^^^^^

如何正确编写“Show”的实例?

2 回复 | 直到 7 年前

anumi 7 年前

实例化似乎过于复杂。这就足够了:

data Nat = Zero | Succ Nat

showNat :: Nat -> String
showNat Zero = "Zero"
showNat (Succ k) = "Succ " ++ (showNat k)

instance Show Nat where
    show = showNat

或者,可以使用自动生成的 show 使用 deriving :

data Nat = Zero | Succ Nat deriving (Show)

在这种情况下,NAT将显示为 Succ (Succ Zero) ,而不是 Succ Succ Zero 如原规范所述。

Alexey Romanov 7 年前

只是澄清一下,没有缩进,你在做两件不同的事情:

instance Show Nat 没有实现其中的任何功能
定义一个称为 show

仅使用“show”(我最初是这样做的)会产生“含糊不清的事件”错误

有两个 显示

推荐文章

Steve · 如何将show()和hide()jquery函数应用于css显示属性

7 年前

knutagard · 搜索和匹配两个单独的html标记值并隐藏/显示匹配的div

7 年前

Whit W · .show()和。toggle()将不会显示琐事游戏中的最终游戏屏幕

7 年前

Wireless · Haskell Custom Show实例

7 年前

A.M. · 如何在Haskell中显示用户定义的数据类型

7 年前

user8749260 · 使用slidetoggle()显示/隐藏我的div

7 年前

Mayco Duran · 基于单元格值显示行-Excel VBA

8 年前

SCJ · 如何显示和隐藏文本?

9 年前

Bram Huisman · 带移动式关闭按钮的滑出跨度

9 年前

Ed Avis · 无需每次运行进程即可快速“git show”

10 年前