:: (a -> Bool) -> ([a] -> Bool) -package:copilot-language

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 *

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

Examples

>>> all (> 3) []
True

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

>>> all (> 3) [1,2,3,4,5]
False

>>> all (> 3) [1..]
False

>>> all (> 3) [4..]
* Hangs forever *

Version of all that fails on an empty list.

Determines whether no element of the given list satisfies the predicate.

> none even [3,5,7,11,13]
True

> none even [7,5,3,2]
False

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 *

Determines whether all elements of the structure satisfy the predicate.

Examples

Basic usage:

>>> all (> 3) []
True

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

>>> all (> 3) [1,2,3,4,5]
False

>>> all (> 3) [1..]
False

>>> all (> 3) [4..]
* Hangs forever *

Determines whether all elements of the structure satisfy the predicate.

Determines whether any element of the structure satisfies the predicate.

O(n) Check if all elements satisfy the predicate.

Examples

>>> import qualified Data.Vector.Strict as V

>>> V.all even $ V.fromList [2, 4, 12]
True

>>> V.all even $ V.fromList [2, 4, 13]
False

>>> V.all even (V.empty :: V.Vector Int)
True

O(n) Check if any element satisfies the predicate.

Examples

>>> import qualified Data.Vector.Strict as V

>>> V.any even $ V.fromList [1, 3, 7]
False

>>> V.any even $ V.fromList [3, 2, 13]
True

>>> V.any even (V.empty :: V.Vector Int)
False

Determines whether all elements of vector satisfy predicate.

Determines whether any of element of vector satisfy predicate.

Determines whether no elements of the structure satisfy the predicate.

none f ≡ not . any f