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 [] if n > length xs.
O(n/c) drop n xs returns the suffix of xs after the first n elements, or [] if n > length xs.
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(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
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 n first element of the mutable vector without making a copy. For negative n vector is returned unchanged and if n is larger than vector's length empty vector is returned.
Drop n first element of the mutable vector without making a copy. For negative n vector is returned unchanged and if n is larger than vector's length 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 n first element of the mutable vector without making a copy. For negative n vector is returned unchanged and if n is larger than vector's length 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 n first element of the mutable vector without making a copy. For negative n vector is returned unchanged and if n is larger than vector's length 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 n first element of the mutable vector without making a copy. For negative n vector is returned unchanged and if n is larger than vector's length 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.
drop n s returns the s without its first n characters. If s has less than n characters, then we return an empty string.