O(1) Create a new NonEmptyText

>>> new 'h' "ello world"
"hello world"

O(1) Convert a character into a NonEmptyText.

>>> singleton 'a'
"a"

O(n) Convert to NonEmptyText to Text.

The Text result is guaranteed to be non-empty. However, this is not reflected in the type.

O(n) Create a NonEmptyText from Text.

If the original text is empty, this will return Nothing.

>>> fromText "hello"
Just "hello"
>>> fromText ""
Nothing

O(n) Prefixes the NonEmptyText with one character

O(n) Suffixes the NonEmptyText with one character

O(1) Return the first character and the rest of the NonEmptyText

O(n) Return the beginning of the NonEmptyText, and its last character

O(n) Appends one NonEmptyText to another

>>> append <$> fromText "hello," <*> fromText " world."
Just "hello, world."

O(1) Return the first of the NonEmptyText

As opposed to head, this is guaranteed to succeed, as the the text is never empty.

O(1) Return the last character of the NonEmptyText

This never fails.

O(1) Return all characters of the NonEmptyText but the first one

O(n) Return all character of the NonEmptyText but the last one

O(n) Return the length of the total NonEmptyText.

O(n) map f t is the NonEmptyText obtained by applying f to each element of t.

O(1) Check if the string is composed of only one character

O(n) foldl1 is a left associative fold with no base case, as we know the text cannot be empty.

O(n) A strict version of foldl1.