Data.Char

data Char Источник

Тип символов Char представляет собой перечисление, значения которого соответствуют кодовым точкам Unicode (или, эквивалентно, ISO/IEC 10646) (т.е. символам; см. http://www.unicode.org/ для подробностей). Этот набор расширяет набор символов ISO 8859-1 (Latin-1) (первые 256 символов), который, в свою очередь, является расширением набора символов ASCII (первые 128 символов). Символьная константа в Haskell имеет тип Char.

Для преобразования Char в соответствующее значение Int, определённое Unicode, используйте toEnum и fromEnum из класса Enum соответственно (или, эквивалентно, ord и chr).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Выбирает буквенные символы Юникода (строчные, прописные и прописные буквы, а также буквы без учета регистра и модификаторные буквы). Эта функция эквивалентна 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 :: Символ -> Bool Исходный код

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

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

• NonSpacingMark
• SpacingCombiningMark
• EnclosingMark

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

Примеры

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

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

>>> isMark '✓'
False

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

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

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

• DecimalNumber
• LetterNumber
• OtherNumber

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

Примеры

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

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

>>> isNumber 'Ⅸ'
True

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

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

Эта функция возвращает 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 Исходный код

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

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

• MathSymbol
• CurrencySymbol
• ModifierSymbol
• OtherSymbol

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

Примеры

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

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

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

Выбирает разделительные и пробельные символы Юникода.

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

• Space
• LineSeparator
• ParagraphSeparator

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

Примеры

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

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

>>> isSeparator '\160'
True

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

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

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

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

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

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

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

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

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

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

Примеры

>>> :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 Data.Ix ( index )
>>> index (OtherLetter,Control) FinalQuote
12
>>> index (OtherLetter,Control) Format
*** Exception: Error in array index

generalCategory :: Символ -> 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")]