drop -package:containers
drop n xs returns the suffix of
xs after the
first
n elements, or
[] if
n >= length
xs.
>>> drop 6 "Hello World!"
"World!"
>>> drop 3 [1,2,3,4,5]
[4,5]
>>> drop 3 [1,2]
[]
>>> drop 3 []
[]
>>> drop (-1) [1,2]
[1,2]
>>> drop 0 [1,2]
[1,2]
It is an instance of the more general
genericDrop, in which
n may be of any integral type.
drop n xs drops the first
n elements off the
front of the sequence
xs.
O(1) drop n xs returns the suffix of
xs after the first
n elements, or
empty if
n > length xs.
O(n/c) drop n xs returns the suffix of
xs after the first
n elements, or
empty if
n > length xs.
O(n) drop n xs returns the suffix of
xs after the first n elements, or
empty if
n >
length xs.
Note: copies the entire byte array
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) drop n xs returns the suffix of
xs after the first n elements, or
[] if
n >
length xs.
Note: copies the entire byte array
O(1) Yield all but the first n elements without
copying. The vector may contain less than n elements, in
which case an empty vector is returned.
All but the first n elements
All but the first n elements
O(1) Yield all but the first n elements without
copying. The vector may contain less than n elements, in
which case an empty vector is returned.
Drop the n first element of the mutable vector without making
a copy. For negative n, the vector is returned unchanged. If
n is larger than the vector's length, the empty vector is
returned.
Drop the n first element of the mutable vector without making
a copy. For negative n, the vector is returned unchanged. If
n is larger than the vector's length, the empty vector is
returned.
O(1) Yield all but the first n elements without
copying. The vector may contain less than n elements, in
which case an empty vector is returned.
Drop the n first element of the mutable vector without making
a copy. For negative n, the vector is returned unchanged. If
n is larger than the vector's length, the empty vector is
returned.
O(1) Yield all but the first n elements without
copying. The vector may contain less than n elements, in
which case an empty vector is returned.
Drop the n first element of the mutable vector without making
a copy. For negative n, the vector is returned unchanged. If
n is larger than the vector's length, the empty vector is
returned.
O(1) Yield all but the first n elements without
copying. The vector may contain less than n elements, in
which case an empty vector is returned.
Drop the n first element of the mutable vector without making
a copy. For negative n, the vector is returned unchanged. If
n is larger than the vector's length, the empty vector is
returned.
Ignore a certain number of values in the stream.
Note: since this function doesn't produce anything, you probably want
to use it with (
>>) instead of directly plugging it into
a pipeline:
>>> runConduit $ yieldMany [1..5] .| drop 2 .| sinkList
[]
>>> runConduit $ yieldMany [1..5] .| (drop 2 >> sinkList)
[3,4,5]
Ignore a certain number of values in the stream. This function is
semantically equivalent to:
drop i = take i >> return ()
However,
drop is more efficient as it does not need to hold
values in memory.
Subject to fusion
Since 0.3.0
drop n s returns the s without its first n
characters. If s has less than n characters, then we
return an empty string.