Question

假设我有这种数据类型：

data SomeDataType a = SomeDataType a

我想向用户显示它的表示（在控制台输出中），所以我需要一个＆＃34;漂亮的打印＆＃34;功能。我不想使用show，因为它会返回一个表达式，我只想将我类型的字段的值转换为字符串。

我期待这种行为：

>>> let myintdata = SomeDataType (22::Int)
>>> putStrLn $ prettyPrint myintdata
22
>>> let alice = SomeDataType "Alice"
>>> let bob = SomeDataType "Bob"
>>> putStrLn $ prettyPrint alice ++ " loves " ++ prettyPrint bob
Alice loves Bob

所以我这样实现它：

prettyPrint :: Show a => SomeDataType a -> String
prettyPrint (SomeDataType x) = show x

它可以正常使用数字，但字符串会被引用和转义：

>>> let alice = SomeDataType "Alice"
>>> let bob = SomeDataType "Bob"
>>> putStrLn $ prettyPrint alice ++ " loves " ++ prettyPrint bob
"Alice" loves "Bob"

另外，我想要完全控制将来如何将不同的内容类型转换为字符串。所以，我要创建自己的类型类！它是这样的：

{-# LANGUAGE FlexibleInstances #-}

data SomeDataType a = SomeDataType a

class PrettyPrint a where
    prettyPrint :: a -> String

instance {-# OVERLAPPABLE #-} PrettyPrint a where
    -- I don't care about this right now,
    -- let's learn how to print strings without quotes first!
    prettyPrint = const "Stupid Robot" 

instance PrettyPrint String where
    prettyPrint = id

instance Show a => PrettyPrint (SomeDataType a) where
    prettyPrint (SomeDataType x) = prettyPrint x

我对第一次测试感到满意：

>>> putStrLn $ prettyPrint "No quotes!"
No quotes!

但是，当我试图打印我的数据类型时，某种方式正在调用一般实例而不是String＆＃39;

>>> let alice = SomeDataType "Alice"
>>> let bob = SomeDataType "Bob"
>>> putStrLn $ prettyPrint alice ++ " loves " ++ prettyPrint bob
Stupid Robot loves Stupid Robot

此时我怀疑有一种完全不同的方式可以解决这个问题＆＃34;漂亮的印刷＆＃34;问题。是这样吗？或者我在代码中遗漏了一些简单明显的错误？

Answer 1

在最后一个实例中，您假设Show a和编译器仅使用此信息为prettyPrint x选择适当的实例。

您可以通过要求PrettyPrint a作为基类来添加更多信息：

instance PrettyPrint a => PrettyPrint (SomeDataType a) where
    prettyPrint (SomeDataType x) = prettyPrint x

Haskell：如何在没有引号的情况下打印字符串？

1 个答案: