在 newtype 上派生 Show 时避免双引号

如何解决在 newtype 上派生 Show 时避免双引号

我想通过以下方式派生 newtype 来打印 Show 的内部值，这样我就不必在每次需要打印时打开 Value val .

{-# LANGUAGE OverloadedStrings          #-}

import Data.Text

newtype Value = Value Text
instance Show Value where show (Value val) = show val


main :: IO ()
main = do
    let hello = Value "hello"
        world = Value "world"
    print $ show hello <> "," <> show world
    pure ()

我的想法是我可以简单地show hello而不是做let Value helloVal = hello in show helloVal（有点人为的例子，但重点是避免展开）。

问题是这会打印以下内容：

"\"hello\",\"world\""

而期望的结果是：

hello,world

如何获得所需的输出？

解决方法

Show 的一般约定是它应该生成或多或少的 Haskell 代码，在大多数简单情况下，您只需复制 GHCi 的输出并重新插入其输入即可。

这就是 show "foo" 产生字符串 "\"foo\"" 的原因 - 带引号。因此，当它在 GHCi 中打印时，您会看到引号。这也是您的类型的默认派生实例生成 "Value \"foo\"" 的原因 - 这是直接的 Haskell 代码，可以编译和评估以生成原始 Value 值。

但如果您真的不想要额外的引号 - 当然，只需使用 Text 将您的 String 转换为 unpack：

instance Show Value where show (Value v) = unpack v

,

在线

show (Value val) = show val

您在 show 上使用 val，这是一个 Text。这会将 val 转换为执行引用和转义的 String。如果您不想这样，请改用 unpack val。

最后，请注意，如果没有正确引用 show 的输出，在调用时可能会产生歧义，例如 Value 的列表。在这种情况下，如果 show 的输出是 [a,b,c]，我们无法知道列表的长度是 3、2 还是 1，因为逗号可能是 {{1} }在里面。

,

要从 Text 到 String 而不用引号括起来，请使用 unpack。

instance Show Value where
    show (Value val) = unpack val

此外，请注意 print 等价于 putStrLn . show，因此您实际上对值调用了两次 show，第一次在 Value 上，第二次在 {{1} }}。如果您已经有一个字符串，则需要使用 String 而不是 putStrLn。

print