Spec-Zone.ru › Haskell 8

Data.String

Авторские права (c) Университет Глазго 2007
Лицензия BSD-стиль (см. файл libraries/base/LICENSE)
Поддержка libraries@haskell.org
Устойчивость экспериментальная
Переносимость переносимая
Безопасный Haskell Достоверный
Язык Haskell2010

Содержание

  • Функции над строками

Описание

Тип String и связанные операции.

type String = [Char] Источник

String — это список символов. Строковые константы в Haskell — это значения типа String.

См. Data.List для операций над списками.

class IsString a where Источник

Класс для структур данных, подобных строкам; используется расширением перегруженных строк (-XOverloadedStrings в GHC).

Методы

fromString :: String -> a Источник

Примеры
Подробности примеров
a ~ Char => IsString [a]

(a ~ Char) контекст был введён в 4.9.0.0

С тех пор: base-2.1

Подробности примера

Определено в Data.String

Методы

fromString :: String -> [a] Источник

IsString a => IsString (Identity a)

С тех пор: base-4.9.0.0

Подробности примера

Определено в Data.String

Методы

fromString :: String -> Identity a Источник

IsString a => IsString (Const a b)

С тех пор: base-4.9.0.0

Подробности примера

Определено в Data.String

Методы

fromString :: String -> Const a b Источник

Функции над строками

lines :: String -> [String] Источник

lines разбивает строку на список строк по символам новой строки. Результирующие строки не содержат символов новой строки.

Обратите внимание, что после разделения строки по символам новой строки, последняя часть строки считается строкой, даже если она не заканчивается символом новой строки. Например,

>>> lines ""
[]
>>> lines "\n"
[""]
>>> lines "one"
["one"]
>>> lines "one\n"
["one"]
>>> lines "one\n\n"
["one",""]
>>> lines "one\ntwo"
["one","two"]
>>> lines "one\ntwo\n"
["one","two"]

Таким образом, lines s содержит как минимум столько элементов, сколько символов новой строки в s.

words :: String -> [String] Источник

words разбивает строку на список слов, разделенных пробелами.

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

unlines :: [String] -> String Источник

unlines — это обратная операция к lines. Она объединяет строки, добавляя символ новой строки в конец каждой.

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

unwords :: [String] -> String Источник

unwords — это обратная операция к words. Она объединяет слова, разделяя их пробелами.

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

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.10.2/docs/html/libraries/base-4.14.1.0/Data-String.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API