разница Haskell в показе data.text

Question

Рассмотрим следующий код в GHCi:

*> data R = R { s :: Text } 
*> instance Show R where show x = unpack $ s x 
*> let r = R $ pack "¶" 
*> r 
¶ 
*> s r 
"\182" 

Почему это показывает знак абзаца без кавычек и при показе R типа данных. И показано как [Char] (на самом деле, :t s r - Text) при показе s r?

Answer 1

Show экземпляр для R говорит «когда я хочу показать R, напечатать эту строку», и возвращает фактическое Text значение. Если вы хотели, у этого есть отметки о трендах, вам необходимо явно их добавить.

В отличие от этого, s r - это всего лишь значение Text. Он показывает, как всегда показывает Text (идентично String, по-видимому).

Подумайте о экземпляре для Show Int, если это имеет смысл. Когда вы делаете show 5, он возвращает строку, содержащую только символ 5. Когда вы делаете show "5", он возвращает строку, содержащую три символа - цитату, пять и цитату.