Data.Char

data Char Исходный код

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

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

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

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

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

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

isControl :: Char -> Bool Источник

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

isSpace :: Char -> Bool Источник

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

isLower :: Char -> Bool Источник

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

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

Более интуитивный предикат см. в isLowerCase.

isLowerCase :: Char -> Bool Источник

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

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

Устаревший предикат см. в isLower.

Начиная с: base-4.18.0.0

isUpper :: Char -> Bool Источник

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

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

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

isUpperCase :: Char -> Bool Источник

Выбирает символы 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 Источник

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

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

• UppercaseLetter
• LowercaseLetter
• TitlecaseLetter
• ModifierLetter
• OtherLetter

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

isAlphaNum :: Char -> Bool Источник

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

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

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

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

isPrint :: Char -> Bool Источник

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

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

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

isDigit :: Char -> Bool Источник

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

isOctDigit :: Char -> Bool Источник

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

isHexDigit :: Char -> Bool Источник

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

isLetter :: Char -> Bool Источник

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

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

• UppercaseLetter
• LowercaseLetter
• TitlecaseLetter
• ModifierLetter
• OtherLetter

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

Примеры

>>> 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 Источник

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

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

• NonSpacingMark
• SpacingCombiningMark
• EnclosingMark

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

Примеры

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

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

>>> isMark '✓'
False

isNumber :: Char -> Bool Источник

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

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

• DecimalNumber
• LetterNumber
• OtherNumber

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

Примеры

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

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

>>> isNumber 'Ⅸ'
True

isPunctuation :: Char -> Bool Источник

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

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

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

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

Примеры

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

isSymbol :: Char -> Bool Источник

Выбирает символы Unicode, включая математические символы и символы валют.

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

• MathSymbol
• CurrencySymbol
• ModifierSymbol
• OtherSymbol

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

Примеры

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

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

isSeparator :: Char -> Bool Источник

Выбирает пробельные символы и разделители 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 :: Char -> Bool Источник

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

isLatin1 :: Char -> Bool Источник

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

isAsciiUpper :: Char -> Bool Источник

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

isAsciiLower :: Char -> Bool Source

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

data GeneralCategory Source

Общие категории 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 :: Char -> GeneralCategory Исходный код

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

Примеры

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

toUpper :: Char -> Char Исходный код

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

toLower :: Char -> Char Исходный код

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

toTitle :: Char -> Char Исходный код

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

digitToInt :: Char -> Int Исходный код

Преобразует отдельный цифровой символ Char в соответствующее значение типа Int. Функция завершается с ошибкой, если аргумент не удовлетворяет условию 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 :: Int -> Char Исходный код

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

ord :: Char -> Int Исходный код

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

chr :: Int -> Char Исходный код

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

showLitChar :: Char -> ShowS Исходный код

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

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

lexLitChar :: ReadS String Исходный код

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

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

readLitChar :: ReadS Char Исходный код

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

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