drop -package:vector -package:protolude

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.

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 xs returns the suffix of xs after the first n elements, or [] if n > length xs. Note: copies the entire byte array

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 the first n byte of a bytearray

drop the first n byte of a bytearray

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 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)

>>> Foldl.fold (Foldl.drop 3 Foldl.sum) [10, 20, 30, 1, 2, 3]
6

>>> Foldl.fold (Foldl.drop 10 Foldl.sum) [10, 20, 30, 1, 2, 3]
0