Data.String

type String = [Char] Исходный код

String — это псевдоним для списка символов.

Строковые константы в Haskell — это значения типа String. Это означает, что если написать строковый литерал, например "hello world", он будет иметь тип [Char], который совпадает с String.

Примечание: Можно попросить компилятор автоматически выводить другие типы с помощью языкового расширения -XOverloadedStrings, например "hello world" :: Text. Дополнительную информацию см. в IsString.

Поскольку String — это просто список символов, для базовой обработки строк можно использовать обычные функции для работы со списками. Операции над списками см. в Data.List.

Соображения о производительности

╭─────┬───┬──╮  ╭─────┬───┬──╮  ╭─────┬───┬──╮  ╭────╮
│ (:) │   │ ─┼─>│ (:) │   │ ─┼─>│ (:) │   │ ─┼─>│ [] │
╰─────┴─┼─┴──╯  ╰─────┴─┼─┴──╯  ╰─────┴─┼─┴──╯  ╰────╯
        v               v               v
       'a'             'b'             'c'

class IsString a where Исходный код

IsString используется вместе с языковым расширением -XOverloadedStrings для преобразования литералов в строки разных типов.

Например, если используется пакет text, можно написать

{-# LANGUAGE OverloadedStrings  #-}

myText = "hello world" :: Text

Внутри расширение преобразует это в эквивалент

myText = fromString @Text ("hello world" :: String)

Примечание: fromString также можно использовать в обычном коде, однако к String применимы обычные проблемы с производительностью и эффективностью использования памяти.

lines :: String -> [String] Исходный код

Разбивает аргумент на список строк, удаляя завершающие символы \n. Для последней непустой строки аргумента завершающий символ \n необязателен.

Если строка-аргумент пуста или заканчивается символом \n, её можно восстановить, передав результат lines функции unlines. В противном случае unlines добавляет отсутствующий завершающий \n. Благодаря этому unlines . lines является идемпотентной:

(unlines . lines) . (unlines . lines) = (unlines . lines)

Примеры

>>> lines ""           -- empty input contains no lines
[]

>>> lines "\n"         -- single empty line
[""]

>>> lines "one"        -- single unterminated line
["one"]

>>> lines "one\n"      -- single non-empty line
["one"]

>>> lines "one\n\n"    -- second line is empty
["one",""]

>>> lines "one\ntwo"   -- second line is unterminated
["one","two"]

>>> lines "one\ntwo\n" -- two non-empty lines
["one","two"]

words :: String -> [String] Исходный код

words разбивает строку на список слов, разделённых пробельными символами (согласно определению isSpace). Эта функция удаляет пробельные символы в начале и в конце.

Примеры

>>> words "Lorem ipsum\ndolor"
["Lorem","ipsum","dolor"]

>>> words " foo bar "
["foo","bar"]

unlines :: [String] -> String Исходный код

Добавляет символ \n к каждой входной строке, а затем объединяет результаты. Эквивалентно foldMap (s -> s ++ "\n").

Примеры

>>> unlines ["Hello", "World", "!"]
"Hello\nWorld\n!\n"

>>> unlines . lines $ "foo\nbar"
"foo\nbar\n"

unwords :: [String] -> String Исходный код

unwords объединяет слова, разделяя их пробелами (U+0020 SPACE).

unwords не является ни левым, ни правым обратным преобразованием для words:

>>> words (unwords [" "])
[]
>>> unwords (words "foo\nbar")
"foo bar"

Примеры

>>> unwords ["Lorem", "ipsum", "dolor"]
"Lorem ipsum dolor"

>>> unwords ["foo", "bar", "", "baz"]
"foo bar  baz"