Module Data.Char

Haskell compatibility

Imports

import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

data GeneralCategory

generalCategory ∷ Char → GeneralCategory

isControl ∷ Char → Bool

isOctDigit ∷ Char → Bool

isHexDigit ∷ Char → Bool

isMark ∷ Char → Bool

isNumber ∷ Char → Bool

isPunctuation ∷ Char → Bool

isSymbol ∷ Char → Bool

isSeparator ∷ Char → Bool

isPrint ∷ Char → Bool

isAscii ∷ Char → Bool

isLatin1 ∷ Char → Bool

isAsciiUpper ∷ Char → Bool

isAsciiLower ∷ Char → Bool

digitToInt ∷ Char → Int

intToDigit ∷ Int → Char

isLetter ∷ Char → Bool

isDec ∷ Char → Bool

protectEsc ∷ (Char → Bool) → (String → String) → String → String

asciiTab ∷ [String]

showLitChar ∷ Char → String → String
Re-Exported Items

isLetter ∷ Char → Bool Int → Bool

isLetterOrDigit ∷ Char → Bool Int → Bool

isDigit ∷ Char → Bool Int → Bool

isLowerCase ∷ Char → Bool Int → Bool

isWhitespace ∷ Char → Bool Int → Bool

isUpperCase ∷ Char → Bool Int → Bool

toLowerCase ∷ Char → Char Int → Int

toTitleCase ∷ Char → Char Int → Int

toUpperCase ∷ Char → Char Int → Int
Instances

instance Bounded GeneralCategory

instance Enum GeneralCategory

instance PrimitiveArrayElement GeneralCategory

instance Show GeneralCategory
Functions and Values by Type

Definitions

data GeneralCategory

The general categories for unicode characters and code points.

Constructors

generalCategory ∷ Char → GeneralCategory

return the general category of a Char

isControl ∷ Char → Bool

Check if the argument is a control character.

isOctDigit ∷ Char → Bool

Check if the argument is in the range '0'..'7'

isHexDigit ∷ Char → Bool

Check if the argument is a digit, in the range 'a'..'f' or in the range 'A'..'F'

isMark ∷ Char → Bool

Check if the generalCategory of the argument is one of GeneralCategory.NON_SPACING_MARK, GeneralCategory.ENCLOSING_MARK or GeneralCategory.COMBINING_SPACING_MARK

isNumber ∷ Char → Bool

Check if the generalCategory of the argument is one of GeneralCategory.DECIMAL_DIGIT_NUMBER, GeneralCategory.LETTER_NUMBER or GeneralCategory.OTHER_NUMBER

isPunctuation ∷ Char → Bool

Check if the generalCategory of the argument is one of GeneralCategory.DASH_PUNCTUATION, GeneralCategory.START_PUNCTUATION, GeneralCategory.END_PUNCTUATION, GeneralCategory.CONNECTOR_PUNCTUATION or GeneralCategory.OTHER_PUNCTUATION.

isSymbol ∷ Char → Bool

Check if the generalCategory of the argument is one of GeneralCategory.MATH_SYMBOL, GeneralCategory.CURRENCY_SYMBOL, GeneralCategory.MODIFIER_SYMBOL or GeneralCategory.OTHER_SYMBOL.

isSeparator ∷ Char → Bool

Check if the generalCategory of the argument is one of GeneralCategory.SPACE_SEPARATOR, GeneralCategory.LINE_SEPARATOR or GeneralCategory.PARAGRAPH_SEPARATOR.

isPrint ∷ Char → Bool

Check if a character is printable.

True for a defined character that is neither a surrogate character nor a control character.

isAscii ∷ Char → Bool

Check if the argument is from the ASCII character set.

isLatin1 ∷ Char → Bool

Check if the argument is from the Latin1 character set.

isAsciiUpper ∷ Char → Bool

Check if the argument is an ASCII upper case letter.

isAsciiLower ∷ Char → Bool

Check if the argument is an ASCII lower case letter.

digitToInt ∷ Char → Int

Convert a hexadecimal digit to its Int value.

For different number bases, see Char.digit

intToDigit ∷ Int → Char

Convert an Int in the range 0..15 to the corresponding hexadecimal digit.

For other number bases than 16, see Char.forDigit

isLetter ∷ Char → Bool

isDec ∷ Char → Bool

protectEsc ∷ (Char → Bool) → (String → String) → String → String

asciiTab ∷ [String]

showLitChar ∷ Char → String → String

Instances

instance Bounded GeneralCategory

Member Functions

maxBound ∷ GeneralCategory: Function generated for derived instance.
minBound ∷ GeneralCategory: Function generated for derived instance.

instance Enum GeneralCategory

Member Functions

!= ∷ GeneralCategory → GeneralCategory → Bool
infix 7: inherited from Ord.!=
< ∷ GeneralCategory → GeneralCategory → Bool
infix 9: inherited from Ord.<
<= ∷ GeneralCategory → GeneralCategory → Bool
infix 9: inherited from Ord.<=
<=> ∷ GeneralCategory → GeneralCategory → Ordering
infix 8: inherited from Enum.<=>
== ∷ GeneralCategory → GeneralCategory → Bool
infix 7: inherited from Ord.==
> ∷ GeneralCategory → GeneralCategory → Bool
infix 9: inherited from Ord.>
>= ∷ GeneralCategory → GeneralCategory → Bool
infix 9: inherited from Ord.>=
compare ∷ GeneralCategory → GeneralCategory → Ordering
infix 8: inherited from Ord.compare
enumFrom ∷ GeneralCategory → [GeneralCategory]: inherited from Enum.enumFrom
enumFromThen ∷ GeneralCategory → GeneralCategory → [GeneralCategory]: Function generated for derived instance.
enumFromThenTo ∷ GeneralCategory → GeneralCategory → GeneralCategory → [GeneralCategory]: Function generated for derived instance.
enumFromTo ∷ GeneralCategory → GeneralCategory → [GeneralCategory]: inherited from Enum.enumFromTo
from ∷ Int → GeneralCategory: Function generated for derived instance.
hashCode ∷ GeneralCategory → Int: inherited from Enum.hashCode
max ∷ GeneralCategory → GeneralCategory → GeneralCategory: inherited from Ord.max
min ∷ GeneralCategory → GeneralCategory → GeneralCategory: inherited from Ord.min
ord ∷ GeneralCategory → Int: Function generated for derived instance.
pred ∷ GeneralCategory → GeneralCategory: Function generated for derived instance.
succ ∷ GeneralCategory → GeneralCategory: Function generated for derived instance.

instance PrimitiveArrayElement GeneralCategory

Member Functions

arrayFromIndexList ∷ [(Int, GeneralCategory)] → JArray GeneralCategory: inherited from ArrayElement.arrayFromIndexList
arrayFromIndexListST ∷ [(Int, GeneralCategory)] → STMutable 𝖆 (JArray GeneralCategory): inherited from ArrayElement.arrayFromIndexListST
arrayFromList ∷ [GeneralCategory] → JArray GeneralCategory: inherited from ArrayElement.arrayFromList
arrayFromListST ∷ [GeneralCategory] → STMutable 𝖆 (JArray GeneralCategory): inherited from ArrayElement.arrayFromListST
arrayFromMaybeList ∷ [Maybe GeneralCategory] → JArray GeneralCategory: inherited from ArrayElement.arrayFromMaybeList
arrayFromMaybeListST ∷ [Maybe GeneralCategory] → STMutable 𝖆 (JArray GeneralCategory): inherited from ArrayElement.arrayFromMaybeListST
arrayLength ∷ JArray GeneralCategory → Int
pure native .length: inherited from ArrayElement.arrayLength
elemAt ∷ JArray GeneralCategory → Int → GeneralCategory
pure native [i]: inherited from ArrayElement.elemAt
getAt ∷ ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 (Maybe GeneralCategory): inherited from PrimitiveArrayElement.getAt
getElemAt ∷ ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 GeneralCategory
native [i]: inherited from ArrayElement.getElemAt
itemAt ∷ JArray GeneralCategory → Int → Maybe GeneralCategory: inherited from PrimitiveArrayElement.itemAt
javaClass ∷ Class GeneralCategory
pure native short.class
listFromArray ∷ JArray GeneralCategory → [GeneralCategory]: inherited from ArrayElement.listFromArray
maybeListFromArray ∷ JArray GeneralCategory → [Maybe GeneralCategory]: inherited from ArrayElement.maybeListFromArray
modifyAt ∷ (GeneralCategory → GeneralCategory) → ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 (): inherited from ArrayElement.modifyAt
modifyElemAt ∷ (GeneralCategory → GeneralCategory) → ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 (): inherited from ArrayElement.modifyElemAt
newArray ∷ Int → STMutable 𝖆 (JArray GeneralCategory)
native new[]: inherited from ArrayElement.newArray
setAt ∷ ArrayOf 𝖆 GeneralCategory → Int → Maybe GeneralCategory → ST 𝖆 (): inherited from PrimitiveArrayElement.setAt
setElemAt ∷ ArrayOf 𝖆 GeneralCategory → Int → GeneralCategory → ST 𝖆 ()
native []=: inherited from ArrayElement.setElemAt

instance Show GeneralCategory

Member Functions

display ∷ GeneralCategory → String: inherited from Show.display
show ∷ GeneralCategory → String: Function generated for derived instance.
showChars ∷ GeneralCategory → [Char]: inherited from Show.showChars
showList ∷ [GeneralCategory] → String → String: inherited from Show.showList
showsPrec ∷ Int → GeneralCategory → String → String: inherited from Show.showsPrec
showsub ∷ GeneralCategory → String: Function generated for derived instance.

Functions and Values by Type

(Char → Bool) → (String → String) → String → String: protectEsc
JArray GeneralCategory → Int → Maybe GeneralCategory: PrimitiveArrayElement_GeneralCategory.itemAt
JArray GeneralCategory → Int → GeneralCategory: PrimitiveArrayElement_GeneralCategory.elemAt
JArray GeneralCategory → [Maybe GeneralCategory]: PrimitiveArrayElement_GeneralCategory.maybeListFromArray
JArray GeneralCategory → [GeneralCategory]: PrimitiveArrayElement_GeneralCategory.listFromArray
JArray GeneralCategory → Int: PrimitiveArrayElement_GeneralCategory.arrayLength
[(Int, GeneralCategory)] → JArray GeneralCategory: PrimitiveArrayElement_GeneralCategory.arrayFromIndexList
[Maybe GeneralCategory] → JArray GeneralCategory: PrimitiveArrayElement_GeneralCategory.arrayFromMaybeList
[GeneralCategory] → String → String: Show_GeneralCategory.showList
[GeneralCategory] → JArray GeneralCategory: PrimitiveArrayElement_GeneralCategory.arrayFromList
GeneralCategory → GeneralCategory → GeneralCategory → [GeneralCategory]: Enum_GeneralCategory.enumFromThenTo
GeneralCategory → GeneralCategory → [GeneralCategory]: Enum_GeneralCategory.enumFromTo, Enum_GeneralCategory.enumFromThen
GeneralCategory → GeneralCategory → GeneralCategory: Enum_GeneralCategory.max, Enum_GeneralCategory.min
GeneralCategory → GeneralCategory → Bool: Enum_GeneralCategory.>=, Enum_GeneralCategory.==, Enum_GeneralCategory.<, Enum_GeneralCategory.!=, Enum_GeneralCategory.<=, Enum_GeneralCategory.>
GeneralCategory → GeneralCategory → Ordering: Enum_GeneralCategory.compare, Enum_GeneralCategory.<=>
GeneralCategory → String: Show_GeneralCategory.showsub, Show_GeneralCategory.display, Show_GeneralCategory.show
GeneralCategory → [GeneralCategory]: Enum_GeneralCategory.enumFrom
GeneralCategory → [Char]: Show_GeneralCategory.showChars
GeneralCategory → GeneralCategory: Enum_GeneralCategory.succ, Enum_GeneralCategory.pred
GeneralCategory → Int: Enum_GeneralCategory.ord, Enum_GeneralCategory.hashCode
Char → String → String: showLitChar
Char → GeneralCategory: generalCategory
Char → Bool: isAscii, isAsciiLower, isAsciiUpper, isControl, isDec, isHexDigit, isLatin1, isLetter, isMark, isNumber, isOctDigit, isPrint, isPunctuation, isSeparator, isSymbol
Char → Int: digitToInt
Int → GeneralCategory → String → String: Show_GeneralCategory.showsPrec
Int → GeneralCategory: Enum_GeneralCategory.from
Int → Char: intToDigit
Class GeneralCategory: PrimitiveArrayElement_GeneralCategory.javaClass
[String]: asciiTab
GeneralCategory: Bounded_GeneralCategory.minBound, Bounded_GeneralCategory.maxBound, GeneralCategory.TITLECASE_LETTER, GeneralCategory.UNASSIGNED, GeneralCategory.SPACE_SEPARATOR, GeneralCategory.START_PUNCTUATION, GeneralCategory.PARAGRAPH_SEPARATOR, GeneralCategory.PRIVATE_USE, GeneralCategory.SURROGATE, GeneralCategory.OTHER_NUMBER, GeneralCategory.OTHER_PUNCTUATION, GeneralCategory.NON_SPACING_MARK, GeneralCategory.OTHER_LETTER, GeneralCategory.MODIFIER_LETTER, GeneralCategory.MATH_SYMBOL, GeneralCategory.LINE_SEPARATOR, GeneralCategory.LETTER_NUMBER, GeneralCategory.LOWERCASE_LETTER, GeneralCategory.MODIFIER_SYMBOL, GeneralCategory.OTHER_SYMBOL, GeneralCategory.FORMAT, GeneralCategory.ENCLOSING_MARK, GeneralCategory.END_PUNCTUATION, GeneralCategory.FINAL_QUOTE_PUNCTUATION, GeneralCategory.DASH_PUNCTUATION, GeneralCategory.CONTROL, GeneralCategory.CURRENCY_SYMBOL, GeneralCategory.DECIMAL_DIGIT_NUMBER, GeneralCategory.COMBINING_SPACING_MARK, GeneralCategory.CATEGORY17, GeneralCategory.CONNECTOR_PUNCTUATION, GeneralCategory.INITIAL_QUOTE_PUNCTUATION, GeneralCategory.UPPERCASE_LETTER
(GeneralCategory → GeneralCategory) → ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 (): PrimitiveArrayElement_GeneralCategory.modifyAt, PrimitiveArrayElement_GeneralCategory.modifyElemAt
ArrayOf 𝖆 GeneralCategory → Int → Maybe GeneralCategory → ST 𝖆 (): PrimitiveArrayElement_GeneralCategory.setAt
ArrayOf 𝖆 GeneralCategory → Int → GeneralCategory → ST 𝖆 (): PrimitiveArrayElement_GeneralCategory.setElemAt
ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 (Maybe GeneralCategory): PrimitiveArrayElement_GeneralCategory.getAt
ArrayOf 𝖆 GeneralCategory → Int → ST 𝖆 GeneralCategory: PrimitiveArrayElement_GeneralCategory.getElemAt
[(Int, GeneralCategory)] → STMutable 𝖆 (JArray GeneralCategory): PrimitiveArrayElement_GeneralCategory.arrayFromIndexListST
[Maybe GeneralCategory] → STMutable 𝖆 (JArray GeneralCategory): PrimitiveArrayElement_GeneralCategory.arrayFromMaybeListST
[GeneralCategory] → STMutable 𝖆 (JArray GeneralCategory): PrimitiveArrayElement_GeneralCategory.arrayFromListST
Int → STMutable 𝖆 (JArray GeneralCategory): PrimitiveArrayElement_GeneralCategory.newArray