drop
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.
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.
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 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
(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