filter -package:base -package:containers -package:unordered-containers -package:pipes is:exact -package:hedgehog -package:vector -package:ghc
O(n) filter, applied to a predicate and a ByteString,
returns a ByteString containing those characters that satisfy the
predicate.
O(n) filter, applied to a predicate and a ByteString,
returns a ByteString containing those characters that satisfy the
predicate.
O(n) filter, applied to a predicate and a
ShortByteString, returns a ShortByteString containing those characters
that satisfy the predicate.
O(n) filter, applied to a predicate and a
Text,
returns a
Text containing those characters that satisfy the
predicate.
O(n) filter, applied to a predicate and a stream,
returns a stream containing those characters that satisfy the
predicate.
Properties
unstream . filter p . stream = filter p
O(n) filter, applied to a predicate and a ByteString,
returns a ByteString containing those characters that satisfy the
predicate.
O(n) filter, applied to a predicate and a ByteString,
returns a ByteString containing those characters that satisfy the
predicate.
Filter all keys/values that satisfy some predicate.
Keep only values in the stream passing a given predicate.
Subject to fusion
Keep only values in the stream passing a given predicate.
Subject to fusion
Since 0.3.0
filter p xs removes any elements from
xs that
do not satisfy
p.
filter, applied to a predicate and a list,
returns the list of those elements that satisfy the predicate; i.e.,
filter p xs = [ x | x <- xs, p x]
>>> filter odd [1, 2, 3]
[1,3]
Drops chunks from an input stream if they fail to match a given filter
predicate. See
filter.
Items pushed back to the returned stream are propagated back upstream.
Example:
ghci> Streams.fromList ["the", "quick", "brown", "fox"] >>=
Streams.filter (/= "brown") >>= Streams.toList
["the","quick","fox"]
Skip elements of a stream that fail a predicate
Filter this map by retaining only elements which values
satisfy a predicate.
Filter this set by retaining only elements satisfying a
predicate.
O(n). Filter all values that satisfy the predicate.
filter (> "a") (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
filter (> "x") (fromList [(5,"a"), (3,"b")]) == empty
filter (< "a") (fromList [(5,"a"), (3,"b")]) == empty
The
filter function takes a predicate
p
and a sequence
xs and returns a sequence of those elements
which satisfy the predicate.
O(n). Filter all elements that satisfy the predicate.
O(n) Drop elements that do not satisfy the predicate
O(n) Drop elements that do not satisfy the predicate