any -package:rio

Determines whether any element of the structure satisfies the predicate.

Examples

Basic usage:

>>> any (> 3) []
False

>>> any (> 3) [1,2]
False

>>> any (> 3) [1,2,3,4,5]
True

>>> any (> 3) [1..]
True

>>> any (> 3) [0, -1..]
* Hangs forever *

Applied to a predicate and a list, any determines if any element of the list satisfies the predicate. For the result to be False, the list must be finite; True, however, results from a True value for the predicate applied to an element at a finite index of a finite or infinite list.

Examples

>>> any (> 3) []
False

>>> any (> 3) [1,2]
False

>>> any (> 3) [1,2,3,4,5]
True

>>> any (> 3) [1..]
True

>>> any (> 3) [0, -1..]
* Hangs forever *

O(n) Applied to a predicate and a ByteString, any determines if any element of the ByteString satisfies the predicate.

Applied to a predicate and a ByteString, any determines if any element of the ByteString satisfies the predicate.

O(n) Applied to a predicate and a ShortByteString, any determines if any element of the ShortByteString satisfies the predicate.

O(n) any p t determines whether any character in the Text t satisfies the predicate p.

O(n) any p xs determines if any character in the stream xs satisfies the predicate p. Properties

any f . stream = any f

Check that at least one value in the stream returns True. Subject to shortcut logic: at the first True, consumption of the stream will stop. Subject to fusion

Check if any element of a byte array satisfies a predicate

(any predicate p) determines whether any element of p satisfies the predicate.

(any predicate) returns True if any element satisfies the predicate, False otherwise

(any predicate) returns True if any byte satisfies the predicate, False otherwise

(any predicate) returns True if any character satisfies the predicate, False otherwise

any predicate stream returns True if any element in stream matches the predicate. any consumes as few elements as possible, ending consumption if an element satisfies the predicate.

ghci> is <- Streams.fromList [1, 2, 3]
ghci> Streams.any (> 0) is    -- Consumes one element
True
ghci> Streams.read is
Just 2
ghci> Streams.any even is     -- Only 3 remains
False

Synonym for oany

Test whether any code points in ShortText satisfy a predicate.

>>> any (> 'c') "abcdabcd"
True

>>> any (const True) ""
False

>>> any (== 'c') "abdabd"
False

any p t == not (all (not . p) t)

Fold that returns whether Any received Word8s satisfy the predicate

O(n) Returns true if any byte in the sequence satisfies the predicate.

True if any items satisfy the function

O(n) any p t determines whether any character in the JSString t satisifes the predicate p. Subject to fusion.

Determines whether any element of the structure satisfies the predicate.

Determine whether any of the elements of a stream satisfy a predicate.

any = Stream.fold Fold.any