Moduleunicode-data-0.4.0.1Haskell2010

Unicode.Char.Case.Compat

Compatibility module for case and case mapping related functions.

The functions of this module are drop-in replacement for those in Data.Char. They are similar but not identical to some functions in Unicode.Char.Case, therefore they are placed in a separate module in order to avoid ambiguity.

5 values

Packageunicode-data-0.4.0.1
Exports5
LanguageHaskell2010
LicenceApache-2.0
SourceCompat.hs

Predicates

2 declarations

valueisUpper :: Char -> Bool

Selects upper-case or title-case alphabetic Unicode characters (letters). Title case is used by a small number of letter ligatures like the single-character form of Lj.

It matches characters with general category UppercaseLetter and TitlecaseLetter.

See: isUpperCase for the full upper case predicate.

Property

prop> isUpper c == Data.Char.isUpper c

valueisLower :: Char -> Bool

Selects lower-case alphabetic Unicode characters (letters).

It matches characters with general category LowercaseLetter.

See: isLowerCase for the full lower case predicate.

Property

prop> isLower c == Data.Char.isLower c

Case conversion

3 declarations

valuetoUpper :: Char -> Char

Convert a letter to the corresponding upper-case letter, if any. Any other character is returned unchanged.

It uses the character property Simple_Uppercase_Mapping.

See: upperCaseMapping and toUpperString for full upper case conversion.

Property

prop> toUpper c == Data.Char.toUpper c

valuetoLower :: Char -> Char

Convert a letter to the corresponding lower-case letter, if any. Any other character is returned unchanged.

It uses the character property Simple_Lowercase_Mapping.

See: lowerCaseMapping and toLowerString for full lower case conversion.

Property

prop> toLower c == Data.Char.toLower c

valuetoTitle :: Char -> Char

Convert a letter to the corresponding title-case or upper-case letter, if any. (Title case differs from upper case only for a small number of ligature letters.) Any other character is returned unchanged.

It uses the character property Simple_Titlecase_Mapping.

See: titleCaseMapping and toTitleString for full title case conversion.

Property

prop> toTitle c == Data.Char.toTitle c