filter -is:exact -package:base -package:containers
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 ByteString,
returns a ByteString 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) Drop all elements that do not satisfy the predicate.
Drop elements which do not satisfy the predicate
Drop elements which do not satisfy the predicate
O(n) Drop all elements that do not satisfy the predicate.
O(n) Drop all elements that do not satisfy the predicate.
O(n) Drop all elements that do not satisfy the predicate.
O(n) Drop all elements that do not satisfy the predicate.
Filter this map by retaining only elements which values
satisfy a predicate.
Filter this set by retaining only elements satisfying a
predicate.
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]
O(n) Drop all elements that do not satisfy the monadic
predicate.
Yield a monadic stream of elements that satisfy the monadic predicate
Drop elements which do not satisfy the monadic predicate
O(n) Drop all elements that do not satisfy the monadic
predicate.
O(n) Drop all elements that do not satisfy the monadic
predicate.
O(n) Drop all elements that do not satisfy the monadic
predicate.
O(n) Drop all elements that do not satisfy the monadic
predicate.
Filter this map by retaining only elements satisfying a
predicate.
Filtering control message.