toLower

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

O(n) Convert a string to lower case, using simple case conversion. The result string may be longer than the input string. For instance, "İ" (Latin capital letter I with dot above, U+0130) maps to the sequence "i" (Latin small letter i, U+0069) followed by " ̇" (combining dot above, U+0307).

O(n) Convert a string to lower case, using simple case conversion. The result string may be longer than the input string. For instance, the Latin capital letter I with dot above (U+0130) maps to the sequence Latin small letter i (U+0069) followed by combining dot above (U+0307). Properties

unstream . toLower . stream = toLower

O(n) Convert a string to lower case, using simple case conversion. The result string may be longer than the input string. For instance, the Latin capital letter I with dot above (U+0130) maps to the sequence Latin small letter i (U+0069) followed by combining dot above (U+0307).

O(n) Convert a string to lower case, using simple case conversion. Subject to fusion. The result string may be longer than the input string. For instance, "İ" (Latin capital letter I with dot above, U+0130) maps to the sequence "i" (Latin small letter i, U+0069) followed by " ̇" (combining dot above, U+0307).

O(n) Convert a string to lower case, using simple case conversion. Subject to fusion. The result string may be longer than the input string. For instance, the Latin capital letter I with dot above (U+0130) maps to the sequence Latin small letter i (U+0069) followed by combining dot above (U+0307).

Convert a textual sequence to lower-case.

> toLower "HELLO WORLD"
"hello world"

O(n) Convert a string to lower case, using simple case conversion. Subject to fusion. The result string may be longer than the input string. For instance, "İ" (Latin capital letter I with dot above, U+0130) maps to the sequence "i" (Latin small letter i, U+0069) followed by " ̇" (combining dot above, U+0307).

Lowercase the characters in a string. Casing is locale dependent and context sensitive. The result may be longer or shorter than the original.

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.

toLower c == Data.Char.toLower c

Map lower-case ASCII letters to the corresponding upper-case letters, leaving other characters as is.

Map lower-case Latin-1 letters to the corresponding upper-case letters, leaving other characters as is.

Convert characters to lower case. This uses ISO latin encoding and may fail for exotic characters.

Deprecated: use Data.BytesTextAsciiExt.toLowerU

O(n) Convert ASCII letters to lowercase. This adds 0x20 to bytes in the range [0x41,0x5A] (A-Z ⇒ a-z) and leaves all other bytes alone. Unconditionally copies the bytes.

Convert to lower-case. Only works for the Latin1 subset, otherwise returns its argument unchanged.

>>> prove $ \c -> toLowerL1 (toLowerL1 c) .== toLowerL1 c
Q.E.D.

>>> prove $ \c -> isLowerL1 c .&& c `notElem` "\181\255" .=> toLowerL1 (toUpperL1 c) .== c
Q.E.D.

Convert a character to full lower case if defined, else to itself. The result string may have more than one character. For instance, “İ” (U+0130 Latin capital letter I with dot above) maps to the sequence: “i” (U+0069 Latin small letter I) followed by “ ̇” (U+0307 combining dot above). It uses the character property Lowercase_Mapping. See: toLower for simple lower case conversion.

toLowerString c == foldMap toLowerString (toLowerString c)