Data.Char

data Char Источник

Тип символов Char представляет кодовое пространство Unicode, а его элементы — кодовые точки, как и в определениях D9 и D10 стандарта Unicode.

Символьные литералы в Haskell записываются в одинарных кавычках: 'Q', 'Я' или 'Ω'. Чтобы представить сам одинарную кавычку, используйте '\'', а для обратной косой черты — '\\'. Полную грамматику можно найти в разделе 2.6 отчета о языке Haskell 2010.

Для указания символа по его кодовой точке можно использовать десятичное, шестнадцатеричное или восьмеричное представление: '\65', '\x41' и '\o101' — это альтернативные формы 'A'. Наибольшая кодовая точка — '\x10ffff'.

Существует специальный синтаксис для символов управления ASCII:

Data.Char предоставляет утилиты для работы с символами.

Символы Unicode делятся на буквы, цифры, знаки, знаки препинания, символы, разделители (включая пробелы) и другие (включая управляющие символы).

isControl :: Char -> Bool Source

Выбирает управляющие символы, которые являются непечатаемыми символами подмножества Latin-1 Unicode.

isSpace :: Char -> Bool Source

Возвращает True для любого символа пробела Unicode и управляющих символов \t, \n, \r, \f, \v.

isLower :: Char -> Bool Source

Выбирает строчные буквенные символы Unicode (буквы).

Примечание: этот предикат не работает для символов, похожих на буквы, таких как: 'ⓐ' (U+24D0 округлённая строчная буква латинского a) и 'ⅳ' (U+2173 маленькая римская цифра четыре). Это связано с выбором только символов с GeneralCategory LowercaseLetter.

См. isLowerCase для более интуитивного предиката.

isLowerCase :: Char -> Bool Source

Выбирает строчные символы Unicode, похожие на буквы.

Примечание: этот предикат выбирает символы с свойством Unicode Lowercase, которые включают символы, похожие на буквы, такие как: 'ⓐ' (U+24D0 округлённая строчная буква латинского a) и 'ⅳ' (U+2173 маленькая римская цифра четыре).

См. isLower для устаревшего предиката.

С тех пор: base-4.18.0.0

isUpper :: Char -> Bool Source

Выбирает прописные или строчные буквенные символы Unicode (буквы). Строчный регистр используется небольшим количеством лигатур букв, таких как односимвольные формы Lj.

Примечание: этот предикат не работает для символов, похожих на буквы, таких как: 'Ⓐ' (U+24B6 округлённая заглавная буква латинского A) и 'Ⅳ' (U+2163 римская цифра четыре). Это связано с выбором только символов с GeneralCategory UppercaseLetter или TitlecaseLetter.

См. isUpperCase для более интуитивного предиката. Обратите внимание, что в отличие от isUpperCase, isUpper выбирает строчные символы, такие как 'Dž' (U+01C5 латинская заглавная буква d с маленькой буквой z с галочкой) или 'ᾯ' (U+1FAF греческая заглавная буква омега с дазией и периспомене и просгеграмменеи).

isUpperCase :: Char -> Bool Source

Выбирает заглавные символы Unicode, похожие на буквы.

Примечание: этот предикат выбирает символы с свойством Unicode Uppercase, которые включают символы, похожие на буквы, такие как: 'Ⓐ' (U+24B6 округлённая заглавная буква латинского A) и 'Ⅳ' (U+2163 римская цифра четыре).

См. isUpper для предикатов устаревшего вида. Обратите внимание, в отличие от isUpperCase, isUpper выбирает символы в стиле заглавной буквы, такие как 'Dž' (U+01C5 латинская заглавная буква d с малой буквой z с диакритикой) или 'ᾯ' (U+1FAF греческая заглавная буква омега с дазией, периспомени и просгеграммени).

С момента: base-4.18.0.0

isAlpha :: Char -> Bool Source

Выбирает буквенные символы Юникода (строчные, прописные и заглавные, а также буквы без учета регистра и модификаторы букв). Эта функция эквивалентна isLetter.

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• UppercaseLetter
• LowercaseLetter
• TitlecaseLetter
• ModifierLetter
• OtherLetter

Эти классы определены в Базе данных символов Юникода, которая является частью стандарта Юникода. В этом же документе определяется, что является и не является "Буквой".

isAlphaNum :: Char -> Bool Source

Выбирает буквенные или числовые символы Юникода.

Обратите внимание, что числовые цифры вне диапазона ASCII, а также числовые символы, которые не являются цифрами, выбираются этой функцией, но не isDigit. Такие символы могут быть частью идентификаторов, но не используются принтером и читателем для представления чисел, например, римские цифры, как V, полные цифры, как '１' (также известные как '65297').

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• UppercaseLetter
• LowercaseLetter
• TitlecaseLetter
• ModifierLetter
• OtherLetter
• DecimalNumber
• LetterNumber
• OtherNumber

isPrint :: Char -> Bool Source

Выбирает печатные символы Юникода (буквы, цифры, знаки, знаки препинания, символы и пробелы).

Эта функция возвращает False если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае True:

• LineSeparator
• ParagraphSeparator
• Control
• Format
• Surrogate
• PrivateUse
• NotAssigned

isDigit :: Char -> Bool Source

Выбирает цифры ASCII, т.е. '0'..'9'.

isOctDigit :: Char -> Bool Source

Выбирает восьмеричные цифры ASCII, т.е. '0'..'7'.

isHexDigit :: Char -> Bool Source

Выбирает шестнадцатеричные цифры ASCII, т.е. '0'..'9', 'a'..'f', 'A'..'F'.

isLetter :: Char -> Bool Source

Выбирает буквенные символы Юникода (строчные, прописные и заглавные, а также буквы без учета регистра и модификаторы букв). Эта функция эквивалентна isAlpha.

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• UppercaseLetter
• LowercaseLetter
• TitlecaseLetter
• ModifierLetter
• OtherLetter

Эти классы определены в Базе данных символов Юникода, которая является частью стандарта Юникода. В этом же документе определяется, что является и не является "Буквой".

Примеры

>>> isLetter 'a'
True
>>> isLetter 'A'
True
>>> isLetter 'λ'
True
>>> isLetter '0'
False
>>> isLetter '%'
False
>>> isLetter '♥'
False
>>> isLetter '\31'
False

>>> let chars = [(chr 0)..]
>>> let letters = map isLetter chars
>>> let alphas = map isAlpha chars
>>> letters == alphas
True

isMark :: Char -> Bool Source

Выбирает символы-знаки Юникода, например, знаки диакритики и им подобные, которые объединяются с предшествующими символами.

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• NonSpacingMark
• SpacingCombiningMark
• EnclosingMark

Эти классы определены в Базе данных символов Юникода, которая является частью стандарта Юникода. В этом же документе определяется, что является и не является "Знаком".

Примеры

>>> isMark 'a'
False
>>> isMark '0'
False

>>> map isMark "ò"
[False,True]

>>> isMark '✓'
False

isNumber :: Char -> Bool Source

Выбирает числовые символы Юникода, включая цифры из различных письменных систем, римские цифры и т.п.

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• DecimalNumber
• LetterNumber
• OtherNumber

Эти классы определены в Базе данных символов Юникода, которая является частью стандарта Юникода. В этом же документе определяется, что является и не является "Числом".

Примеры

>>> isNumber 'a'
False
>>> isNumber '%'
False
>>> isNumber '3'
True

>>> and $ map isNumber ['0'..'9']
True

>>> isNumber 'Ⅸ'
True

isPunctuation :: Char -> Bool Source

Выбирает символы пунктуации Юникода, включая различные виды соединителей, скобок и кавычек.

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• ConnectorPunctuation
• DashPunctuation
• OpenPunctuation
• ClosePunctuation
• InitialQuote
• FinalQuote
• OtherPunctuation

Эти классы определены в Базе данных символов Юникода, которая является частью стандарта Юникода. В этом же документе определяется, что является и не является "Пунктуацией".

Примеры

>>> isPunctuation 'a'
False
>>> isPunctuation '7'
False
>>> isPunctuation '♥'
False
>>> isPunctuation '"'
True
>>> isPunctuation '?'
True
>>> isPunctuation '—'
True

isSymbol :: Char -> Bool Source

Выбирает символы-символы Юникода, включая математические и валютные символы.

Эта функция возвращает True если ее аргумент имеет один из следующих GeneralCategoryов, в противном случае False:

• MathSymbol
• CurrencySymbol
• ModifierSymbol
• OtherSymbol

Эти классы определены в Базе данных символов Юникода, которая является частью стандарта Юникода. В этом же документе определяется, что является и не является "Символом".

Примеры

>>> isSymbol 'a'
False
>>> isSymbol '6'
False
>>> isSymbol '='
True

>>> isSymbol '+'
True
>>> isSymbol '-'
False

isSeparator :: Символ -> Булево Источник

Выбирает символы Unicode-пробелов и разделителей.

Эта функция возвращает True если её аргумент содержит один из следующих GeneralCategoryов, или False в противном случае:

• Space
• LineSeparator
• ParagraphSeparator

Эти классы определены в Базе данных символов Unicode, которая является частью стандарта Unicode. В том же документе определено, что является, а что нет, «разделителем».

Примеры

>>> isSeparator 'a'
False
>>> isSeparator '6'
False
>>> isSeparator ' '
True

>>> isSeparator '\n'
False
>>> isSeparator '\t'
False

>>> isSeparator '\160'
True

isAscii :: Символ -> Булево Источник

Выбирает первые 128 символов набора символов Unicode, соответствующих набору символов ASCII.

isLatin1 :: Символ -> Булево Источник

Выбирает первые 256 символов набора символов Unicode, соответствующих набору символов ISO 8859-1 (Latin-1).

isAsciiUpper :: Символ -> Булево Источник

Выбирает прописные буквы ASCII, то есть символы, удовлетворяющие как isAscii, так и isUpper.

isAsciiLower :: Символ -> Булево Источник

Выбирает строчные буквы ASCII, то есть символы, удовлетворяющие как isAscii, так и isLower.

data GeneralCategory Источник

Общие категории Unicode (столбец 2 таблицы UnicodeData) в порядке, указанном в стандарте Unicode (в частности, в базе данных символов Unicode).

Примеры

>>> :t OtherLetter
OtherLetter :: GeneralCategory

>>> UppercaseLetter == UppercaseLetter
True
>>> UppercaseLetter == LowercaseLetter
False

>>> NonSpacingMark <= MathSymbol
True

>>> enumFromTo ModifierLetter SpacingCombiningMark
[ModifierLetter,OtherLetter,NonSpacingMark,SpacingCombiningMark]

>>> read "DashPunctuation" :: GeneralCategory
DashPunctuation
>>> read "17" :: GeneralCategory
*** Exception: Prelude.read: no parse

>>> show EnclosingMark
"EnclosingMark"

>>> minBound :: GeneralCategory
UppercaseLetter
>>> maxBound :: GeneralCategory
NotAssigned

>>> import GHC.Internal.Data.Ix ( index )
>>> index (OtherLetter,Control) FinalQuote
12
>>> index (OtherLetter,Control) Format
*** Exception: Error in array index

generalCategory :: Символ -> ОбщаяКатегория Исходный код

Общая категория символа Юникода. Это зависит от экземпляра Enum GeneralCategory, который должен оставаться в том же порядке, что и категории в стандарте Юникода.

Примеры

>>> generalCategory 'a'
LowercaseLetter
>>> generalCategory 'A'
UppercaseLetter
>>> generalCategory '0'
DecimalNumber
>>> generalCategory '%'
OtherPunctuation
>>> generalCategory '♥'
OtherSymbol
>>> generalCategory '\31'
Control
>>> generalCategory ' '
Space

toUpper :: Символ -> Символ Исходный код

Преобразует букву в соответствующую заглавную букву, если таковая имеется. Любой другой символ возвращается без изменений.

toLower :: Символ -> Символ Исходный код

Преобразует букву в соответствующую строчную букву, если таковая имеется. Любой другой символ возвращается без изменений.

toTitle :: Символ -> Символ Исходный код

Преобразует букву в соответствующую букву заглавной формы или прописную, если таковая имеется. (Заглавная форма отличается от прописной только для небольшого числа лигатурных букв.) Любой другой символ возвращается без изменений.

digitToInt :: Символ -> Целое Исходный код

Преобразует одиночную цифру Char в соответствующее целое число. Эта функция терпит неудачу, если ее аргумент не удовлетворяет условию isHexDigit, но распознает как прописные, так и строчные шестнадцатеричные цифры (то есть, '0'..'9', 'a'..'f', 'A'..'F').

Примеры

>>> map digitToInt ['0'..'9']
[0,1,2,3,4,5,6,7,8,9]

>>> map digitToInt ['a'..'f']
[10,11,12,13,14,15]
>>> map digitToInt ['A'..'F']
[10,11,12,13,14,15]

>>> digitToInt 'G'
*** Exception: Char.digitToInt: not a digit 'G'
>>> digitToInt '♥'
*** Exception: Char.digitToInt: not a digit '\9829'

intToDigit :: Целое -> Символ Исходный код

Преобразует целое число в диапазоне 0..15 в соответствующий символ одиночной цифры. Данная функция терпит неудачу при других входах и генерирует строчные шестнадцатеричные цифры.

ord :: Символ -> Целое Исходный код

Метод fromEnum ограничен типом Char.

chr :: Целое -> Символ Исходный код

Метод toEnum ограничен типом Char.

showLitChar :: Символ -> ShowS Исходный код

Преобразует символ в строку, используя только печатные символы и соглашения о экранировании языка Haskell. Например:

showLitChar '\n' s  =  "\\n" ++ s

lexLitChar :: ReadS Строка Исходный код

Считывает строковое представление символа, используя соглашения о экранировании языка Haskell. Например:

lexLitChar  "\\nHello"  =  [("\\n", "Hello")]

readLitChar :: ReadS Символ Исходный код

Считывает строковое представление символа, используя соглашения о экранировании языка Haskell, и преобразует его в символ, который он кодирует. Например:

readLitChar "\\nHello"  =  [('\n', "Hello")]