dropWhile -package:rio

dropWhile p xs returns the suffix remaining after takeWhile p xs.

Examples

>>> dropWhile (< 3) [1,2,3,4,5,1,2,3]
[3,4,5,1,2,3]

>>> dropWhile (< 9) [1,2,3]
[]

>>> dropWhile (< 0) [1,2,3]
[1,2,3]

dropWhile p xs returns the suffix remaining after takeWhile p xs.

Similar to dropWhile, drops the longest (possibly empty) prefix of elements satisfying the predicate and returns the remainder.

dropWhile p xs returns the suffix remaining after takeWhile p xs.

Similar to dropWhile, drops the longest (possibly empty) prefix of elements satisfying the predicate and returns the remainder. Note: copies the entire byte array

O(n) dropWhile p t returns the suffix remaining after takeWhile p t.

dropWhile p xs returns the suffix remaining after takeWhile p xs. Properties

unstream . dropWhile p . stream = dropWhile p

Drop all values which match the given predicate. Note: you likely want to use it with monadic composition. See the docs for drop.

dropWhile p xs returns the suffix remaining after takeWhile p xs.

>>> dropWhile (< 3) [1,2,3,4,5,1,2,3]
[3,4,5,1,2,3]

>>> dropWhile (< 9) [1,2,3]
[]

>>> dropWhile (< 0) [1,2,3]
[1,2,3]

Ignore all bytes while the predicate returns True. Since 0.3.0

Since 1.0.8

(dropWhile p) discards values going downstream until one violates the predicate p.

dropWhile (pure False) = cat

dropWhile (liftA2 (||) p1 p2) = dropWhile p1 >-> dropWhile p2

Remove the longest suffix of elements satisfying p. In contrast to reverse . dropWhile p . reverse this works for infinite lists, too.

forAllPredicates $ \p xs -> Rev.dropWhile p xs == reverse (List.dropWhile p (reverse xs))

\x xs pad -> defined $ Match.take (pad::[()]) $ Rev.dropWhile ((x::Char)/=) $ cycle $ x:xs

forAllPredicates $ \p xs -> Rev.dropWhile p xs == reverse (List.dropWhile p (reverse xs))

\x xs pad -> defined $ length $ Rev.dropWhile ((x::Char)/=) $ Match.replicate (pad::[()]) undefined ++ x:xs

Ignore elements of a stream until a test succeeds, retaining the rest.

>>> S.print $ S.dropWhile ((< 5) . length) S.stdinLn
one<Enter>
two<Enter>
three<Enter>
"three"
four<Enter>
"four"
^CInterrupted.

dropWhile returns the suffix remaining after takeWhile.

> dropWhile (< 3) [1,2,3,4,5,1,2,3]
[3,4,5,1,2,3]

> dropWhile (< z) (fromList "abc" :: Text)
""

Remove longest prefix satisfying given predicate.

dropWhile p t == snd (span p t)

>>> dropWhile (< 'c') "abcdabcd"
"cdabcd"

Drop bytes until they fail the predicate

Drop bytes while the predicate is true.

Drop bytes while the predicate is true, aliasing the argument array.

dropWhile p xs returns the suffix remaining after takeWhile p xs.

dropWhile p xs returns the suffix remaining after takeWhile p xs.

Drops all elements from the start of the list that satisfy the function.

O(n) dropWhile p t returns the suffix remaining after takeWhile p t. Subject to fusion.