drop `n xs` returns the suffix of `xs` after the
first `n` elements, or `[]` if `n >= length
xs`.
`n` may be of any integral type.

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

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

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` is more efficient as it does not need to hold
values in memory.
Subject to fusion
Since 0.3.0

drop i = take i >> return ()However,

drop `n xs` returns the suffix of `xs` after the
first `n` elements, or `[]` if `n > length
xs`:
`n` may be of any integral type.

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

Drop up to the given number of bytes.
Since 0.5.0

drop 0 = cat drop (m + n) = drop m >-> drop n

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

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`:
`n` may be of any integral type.

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