drop -package:conduit

drop n xs returns the suffix of xs after the first n elements, or [] if n >= length xs. It is an instance of the more general genericDrop, in which n may be of any integral type.

Examples

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

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

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

Wraps an InputStream, producing a new InputStream that will drop the first n items produced by the wrapped stream. See drop. Items pushed back to the returned InputStream will be propagated upstream, modifying the count of dropped items accordingly.