A space efficient, packed, unboxed Unicode text type.

O(n) Convert a String into a Text. Subject to fusion. Performs replacement on invalid scalar values.

O(n) Convert a Text into a String. Subject to fusion.

Have this in scope with the OverloadedStrings and BindableSyntax extensions and Fay will replace all string literals with Text.

O(1) The empty Text.

O(m+n) Break a Text into pieces separated by the first Text argument (which cannot be empty), consuming the delimiter. An empty delimiter is invalid, and will cause an error to be raised.

Examples:

splitOn "\r\n" "a\r\nb\r\nd\r\ne" == ["a","b","d","e"]
splitOn "aaa"  "aaaXaaaXaaaXaaa"  == ["","X","X","X",""]
splitOn "x"    "x"                == ["",""]

and

intercalate s . splitOn s         == id
splitOn (singleton c)             == split (==c)

(Note: the string s to split on above cannot be empty.)

In (unlikely) bad cases, this function's time complexity degrades towards O(n*m).

O(n) Return the prefix of the second string if its suffix matches the entire first string.

Examples:

stripSuffix "bar" "foobar" == Just "foo"
stripSuffix ""    "baz"    == Just "baz"
stripSuffix "foo" "quux"   == Nothing

This is particularly useful with the ViewPatterns extension to GHC, as follows:

{-# LANGUAGE ViewPatterns #-}
import Data.Text as T

quuxLength :: Text -> Int
quuxLength (stripSuffix "quux" -> Just pre) = T.length pre
quuxLength _                                = -1

O(n) Adds a character to the front of a Text. This function is more costly than its List counterpart because it requires copying a new array. Subject to fusion. Performs replacement on invalid scalar values.

O(n) Adds a character to the end of a Text. This copies the entire array in the process, unless fused. Subject to fusion. Performs replacement on invalid scalar values.

O(n) Appends one Text to the other by copying both of them into a new Text. Subject to fusion.

O(1) Returns the first character and rest of a Text, or Nothing if empty. Subject to fusion.

O(1) Returns the first character of a Text, which must be non-empty. Subject to fusion.

O(1) Returns all but the last character of a Text, which must be non-empty. Subject to fusion.

O(1) Returns the last character of a Text, which must be non-empty. Subject to fusion.

O(1) Returns all characters after the head of a Text, which must be non-empty. Subject to fusion.

O(1) Tests whether a Text is empty or not. Subject to fusion.

O(n) Returns the number of characters in a Text. Subject to fusion.

O(n) maximum returns the maximum value from a Text, which must be non-empty. Subject to fusion.

O(n) all p t determines whether all characters in the Text t satisify the predicate p. Subject to fusion.

O(n) any p t determines whether any character in the Text t satisifes the predicate p. Subject to fusion.

O(n) Map a function over a Text that results in a Text, and concatenate the results.

O(n) Concatenate a list of Texts.

O(n) minimum returns the minimum value from a Text, which must be non-empty. Subject to fusion.

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 upper case, using simple case conversion. Subject to fusion.

The result string may be longer than the input string. For instance, the German "ß" (eszett, U+00DF) maps to the two-letter sequence "SS".

O(n) map f t is the Text obtained by applying f to each element of t. Subject to fusion. Performs replacement on invalid scalar values.

O(n) The intercalate function takes a Text and a list of Texts and concatenates the list after interspersing the first argument between each element of the list.

O(n) The intersperse function takes a character and places it between the characters of a Text. Subject to fusion. Performs replacement on invalid scalar values.

O(n) Reverse the characters of a string. Subject to fusion.

O(n) The isPrefixOf function takes two Texts and returns True iff the first is a prefix of the second. Subject to fusion.

O(n) drop n, applied to a Text, returns the suffix of the Text after the first n characters, or the empty Text if n is greater than the length of the Text. Subject to fusion.

O(n) take n, applied to a Text, returns the prefix of the Text of length n, or the Text itself if n is greater than the length of the Text. Subject to fusion.

O(n) Joins lines, after appending a terminating newline to each.

O(n) Breaks a Text up into a list of Texts at newline Chars. The resulting strings do not contain newlines.