drop package:text

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.

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

unstream . drop n . stream = drop n

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.

O(n) dropAround p t returns the substring remaining after dropping characters that satisfy the predicate p from both the beginning and end of t.

O(n) dropEnd n t returns the prefix remaining after dropping n characters from the end of t. Examples:

>>> dropEnd 3 "foobar"
"foo"

O(n) dropWhile p t returns the suffix remaining after takeWhile p t.

O(n) dropWhileEnd p t returns the prefix remaining after dropping characters that satisfy the predicate p from the end of t. Examples:

>>> dropWhileEnd (=='.') "foo..."
"foo"

O(1) Return the suffix of the Text, with n Word8 units dropped from its beginning. If n would cause the Text to begin inside a code point, the beginning of the suffix will be advanced by several additional Word8 unit to maintain its validity.

dropWhile p xs returns the suffix remaining after takeWhile p xs. Properties

unstream . dropWhile p . stream = dropWhile p

O(n) dropEnd n t returns the prefix remaining after dropping n characters from the end of t. Examples:

dropEnd 3 "foobar" == "foo"

O(n) dropWhileEnd p t returns the prefix remaining after dropping characters that satisfy the predicate p from the end of t. Examples:

dropWhileEnd (=='.') "foo..." == "foo"

O(1) Unchecked drop of k Word8s from the front of a Text.