代码之家 › 专栏 › 技术社区 › 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”(我最初是这样做的)会产生“含糊不清的事件”错误

有两个 显示

推荐文章

Bulva · 通过cx\U Oracle从用户定义的类型提取数据

6 年前

Suren Aznauryan · 可以用卡桑德拉为UDT写评论吗?

6 年前

JAB · 如何在c中为Oracle中的T\u NARRAY输出声明参数?

6 年前

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

7 年前

Mike S · 慢UDF的SQL替代方案

7 年前

shruti singh · 将oracle数据库表与自定义类型的表联接

7 年前

user977208 · 是否可以在JDBC中批量创建Oracle Structs?

10 年前

Hamed Al Suleimani · 在Visual Studio 2012中创建SQL用户定义类型

10 年前

DocSmiley · T-SQL表类型,指定的类型未注册

11 年前