Any

Whether some element of a collection satisfies a predicate.

✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram LanguageAnyTrue!↗

Any(xs, predicate)$True$ if $predicate$ holds for at least one element of $xs$, else $False$.

Any(xs, predicate, level)the elements at exactly level tested instead of the top-level ones.

Typed signatures

Type	Package	Applies
(collection<T>, predicate: ((T) any -> boolean)?) -> boolean where T	combinatoricsreplaces compute-engine	always
(collection<T>, predicate: ((T) any -> boolean)?) -> boolean where T	compute-engine	always

Domain: Collections

Examples

Basic #

live ↗

In$\mathrm{Any}(\bigl\lbrack1, 3, 5\bigr\rbrack, \operatorname{\_1}↦\operatorname{\_1}\bmod2=0)$Out$\mathrm{False}$

live ↗

In$\mathrm{Any}(\bigl\lbrack1, 3, 6\bigr\rbrack, \operatorname{\_1}↦\operatorname{\_1}\bmod2=0)$Out$\mathrm{True}$

A named predicate

live ↗

In$\mathrm{Any}(\bigl\lbrack4, 6, 7\bigr\rbrack, \mathrm{IsPrime})$Out$\mathrm{True}$

live ↗

In$\mathrm{Any}(\bigl\lbrack1, 2, 3\bigr\rbrack, \operatorname{\_1}↦\operatorname{\_1}\gt2)$Out$\mathrm{True}$

One even element suffices

live ↗

In$\mathrm{Any}(\bigl\lbrack1, 2, 3, 4, 5, 6\bigr\rbrack, \mathrm{IsEven})$Out$\mathrm{True}$

No element passes

live ↗

In$\mathrm{Any}(\bigl\lbrack1, 3, 5, 7, 9\bigr\rbrack, \mathrm{IsEven})$Out$\mathrm{False}$

Symbolic entries do not count as true, so false

live ↗

In$\mathrm{Any}(\bigl\lbrack12, 16, x, 14, y\bigr\rbrack, \operatorname{\_1}↦\mathrm{IsTrue}(\operatorname{\_1}\lt10))$Out$\mathrm{False}$

Scope #

Without a predicate, tests the elements themselves

live ↗

In$\mathrm{Any}(\bigl\lbrack\mathrm{False}, \mathrm{True}\bigr\rbrack)$Out$\mathrm{True}$

A level argument tests the elements at depth 2 of a nested list

live ↗

In$\mathrm{Any}(\bigl\lbrack\bigl\lbrack1, 2\bigr\rbrack, \bigl\lbrack3, -4\bigr\rbrack\bigr\rbrack, \operatorname{\_1}↦\operatorname{\_1}\lt0, 2)$Out$\mathrm{True}$

An undecided predicate gives the disjunction of its values, as Wolfram's AnyTrue does

live ↗

In$\mathrm{Any}(\bigl\lbrack a, b\bigr\rbrack, f)$Out$f(a)∨f(b)$

One True settles it, whatever else is undecided

live ↗

In$\mathrm{Any}(\bigl\lbrack a, 4\bigr\rbrack, \mathrm{IsEven})$Out$\mathrm{True}$

Properties #

Always false on an empty list

live ↗

In$\mathrm{Any}(\bigl\lbrack\bigr\rbrack, \mathrm{IsEven})$Out$\mathrm{False}$

Some element passes exactly when not every element fails. See All

live ↗

In$\mathrm{Any}(\bigl\lbrack1, 3, 5\bigr\rbrack, \mathrm{IsEven})=¬\mathrm{All}(\bigl\lbrack1, 3, 5\bigr\rbrack, \mathrm{IsOdd})$Out$\mathrm{True}$

live ↗

In$\mathrm{Map}(\mathrm{LogicalExpand}, \bigl\lbrack\mathrm{Any}(\bigl\lbrack x, y, z\bigr\rbrack, f), ¬\mathrm{NoneTrue}(\bigl\lbrack x, y, z\bigr\rbrack, f)\bigr\rbrack)$Out$\bigl\lbrack f(x)∨f(y)∨f(z), f(x)∨f(y)∨f(z)\bigr\rbrack$

About

Examples	14
Checked against	Wolfram Language 13 agree1 differ
Crosswalk	Wolfram Language

See also: All, NoneTrue