Data.String
| Авторские права | (c) Университет Глазго 2007 |
|---|---|
| Лицензия | BSD-стиль (см. файл libraries/base/LICENSE) |
| Поддержка | libraries@haskell.org |
| Устойчивость | экспериментальная |
| Переносимость | переносимая |
| Безопасный Haskell | Достоверный |
| Язык | Haskell2010 |
Содержание
Описание
Тип String и связанные операции.
String — это список символов. Строковые константы в Haskell — это значения типа String.
См. Data.List для операций над списками.
class IsString a where Источник
Класс для структур данных, подобных строкам; используется расширением перегруженных строк (-XOverloadedStrings в GHC).
Методы
fromString :: String -> a Источник
Примеры
| a ~ Char => IsString [a] |
С тех пор: 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