drop -package:vector

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.
Drop a given number of entries in key order, beginning with the smallest keys.
drop n = fromDistinctAscList . drop n . toAscList
Elements of a sequence after the first i. If i is negative, drop i s yields the whole sequence. If the sequence contains fewer than i elements, the empty sequence is returned.
Drop a given number of elements in order, beginning with the smallest ones.
drop n = fromDistinctAscList . drop n . toAscList
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.
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.
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.
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 up to the given number of bytes. Since 0.5.0
Since 1.0.8
(drop n) discards n values going downstream
drop 0 = cat

drop (m + n) = drop m >-> drop n
drop the first n byte of a bytearray
drop the first n byte of a bytearray
Drop as many elements as the first list is long
\(Shape xs) (List ys) -> Match.drop xs ys == List.drop (length xs) ys
\(Shape xs) (List ys) -> Match.take xs ys ++ Match.drop xs ys == ys
(drop n folder) returns a new Fold that ignores the first n inputs but otherwise behaves the same as the original fold.
fold (drop n folder) list = fold folder (Data.List.genericDrop n list)
>>> L.fold (L.drop 3 L.sum) [10, 20, 30, 1, 2, 3]
6
>>> L.fold (L.drop 10 L.sum) [10, 20, 30, 1, 2, 3]
0
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.