Data.Text.Short.Partial

\mathcal{O}(1) Returns first character of a non-empty ShortText

>>> head "abcd"'a'

Note: Will throw an error exception for empty ShortTexts. Consider using the total functions uncons or indexMaybe instead.

\mathcal{O}(n) Drop first character from non-empty ShortText.

>>> tail "abcd""bcd"

Note: Will throw an error exception for empty ShortTexts. Consider using the total functions uncons or drop instead.

\mathcal{O}(n) Drop last character from non-empty ShortText.

>>> tail "abcd""bcd"

Note: Will throw an error exception for empty ShortTexts. Consider using the total functions unsnoc or dropEnd instead.

\mathcal{O}(1) Return last character from non-empty ShortText.

>>> last "abcd"'d'

Note: Will throw an error exception for empty ShortTexts. Consider using the total functions unsnoc or indexEndMaybe instead.

\mathcal{O}(n) Retrieve i-th character (code-point)

>>> index "abcd" 1'b'

Note: Will throw an error exception if index is out of bounds. Consider using the total functions indexMaybe or indexEndMaybe instead.

\mathcal{O}(n) Reduces the characters of the ShortText with the binary operator.

>>> foldl1 max "abcdcba"'d'

>>> foldl1 const "abcd"'a'

>>> foldl1 (flip const) "abcd"'d'

Note: Will throw an error exception if index is out of bounds.

\mathcal{O}(n) Strict version of foldl1.

\mathcal{O}(n) Reduces the characters of the ShortText with the binary operator.

>>> foldr1 max "abcdcba"'d'

>>> foldr1 const "abcd"'a'

>>> foldr1 (flip const) "abcd"'d'

Note: Will throw an error exception if index is out of bounds.