Data.NonEmptyText

Documentation

data NonEmptyText

Instances

Eq NonEmptyText

Methods

(==) :: NonEmptyText -> NonEmptyText -> Bool

(/=) :: NonEmptyText -> NonEmptyText -> Bool

Ord NonEmptyText

Methods

compare :: NonEmptyText -> NonEmptyText -> Ordering

(<) :: NonEmptyText -> NonEmptyText -> Bool

(<=) :: NonEmptyText -> NonEmptyText -> Bool

(>) :: NonEmptyText -> NonEmptyText -> Bool

(>=) :: NonEmptyText -> NonEmptyText -> Bool

max :: NonEmptyText -> NonEmptyText -> NonEmptyText

min :: NonEmptyText -> NonEmptyText -> NonEmptyText

Show NonEmptyText

Methods

showsPrec :: Int -> NonEmptyText -> ShowS

show :: NonEmptyText -> String

showList :: [NonEmptyText] -> ShowS

new :: Char -> Text -> NonEmptyText

O(1) Create a new NonEmptyText

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

singleton :: Char -> NonEmptyText

O(1) Convert a character into a NonEmptyText.

>>> singleton 'a'
"a"

toText :: NonEmptyText -> Text

O(n) Convert to NonEmptyText to Text.

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

fromText :: Text -> Maybe NonEmptyText

O(n) Create a NonEmptyText from Text.

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

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

cons :: Char -> NonEmptyText -> NonEmptyText

O(n) Prefixes the NonEmptyText with one character

snoc :: NonEmptyText -> Char -> NonEmptyText

O(n) Suffixes the NonEmptyText with one character

uncons :: NonEmptyText -> (Char, Text)

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

unsnoc :: NonEmptyText -> (Text, Char)

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

append :: NonEmptyText -> NonEmptyText -> NonEmptyText

O(n) Appends one NonEmptyText to another

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

head :: NonEmptyText -> Char

O(1) Return the first of the NonEmptyText

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

last :: NonEmptyText -> Char

O(1) Return the last character of the NonEmptyText

This never fails.

tail :: NonEmptyText -> Text

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

init :: NonEmptyText -> Text

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

length :: NonEmptyText -> Int

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

isSingleton :: NonEmptyText -> Bool

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