Text.Show

тип ShowS = String -> String Источник

Функции shows возвращают функцию, которая добавляет результат String к существующей String. Это позволяет выполнять конкатенацию результатов с постоянной сложностью с использованием композиции функций.

класс Show a где Источник

Преобразование значений в читаемые String.

Производные экземпляры Show обладают следующими свойствами, совместимыми с производными экземплярами Read.

• Результат show — это синтаксически правильное выражение Haskell, содержащее только константы, учитывая объявления фиксов, действующие в момент объявления типа. Оно содержит только имена конструкторов, определенные в типе данных, скобки и пробелы. При использовании полей с метками конструктора используются также фигурные скобки, запятые, имена полей и знаки равенства.
• Если конструктор определен как инфиксный оператор, то showsPrec будет генерировать инфиксные применения конструктора.
• Представление будет заключено в скобки, если приоритет конструктора верхнего уровня в x меньше d (ассоциативность игнорируется). Таким образом, если d является 0, то результат никогда не окружен скобками; если d является 11, он всегда окружен скобками, за исключением атомарных выражений.
• Если конструктор определен с использованием синтаксиса записей, то show будет генерировать форму синтаксиса записей с полями в том же порядке, что и в исходном объявлении.

Например, при объявлениях

infixr 5 :^:
data Tree a =  Leaf a  |  Tree a :^: Tree a

производный экземпляр Show эквивалентен

instance (Show a) => Show (Tree a) where

       showsPrec d (Leaf m) = showParen (d > app_prec) $
            showString "Leaf " . showsPrec (app_prec+1) m
         where app_prec = 10

       showsPrec d (u :^: v) = showParen (d > up_prec) $
            showsPrec (up_prec+1) u .
            showString " :^: "      .
            showsPrec (up_prec+1) v
         where up_prec = 5

Обратите внимание, что правоассоциативность :^: игнорируется. Например,

• show (Leaf 1 :^: Leaf 2 :^: Leaf 3) порождает строку "Leaf 1 :^: (Leaf 2 :^: Leaf 3)".

showsPrec d x r ++ s  ==  showsPrec d x (r ++ s)

shows :: Show a => a -> ShowS Source

equivalent to showsPrec with a precedence of 0.

showChar :: Char -> ShowS Source

функция-утилита, преобразующая Char в функцию показа, которая просто добавляет символ без изменений.

showString :: String -> ShowS Source

функция-утилита, преобразующая String в функцию показа, которая просто добавляет строку без изменений.

showParen :: Bool -> ShowS -> ShowS Source

функция-утилита, которая обрамляет внутреннюю функцию показа скобками, когда параметр Bool равен True.

showListWith :: (a -> ShowS) -> [a] -> ShowS Source

Отображает список (с использованием квадратных скобок и запятых), задавая функцию для отображения элементов.