all() Function

Function

all( predicate, list, context )

Calls a rule or function that returns either true or false for each item in list, asks the question, "Do all items in this list yield true for this rule/function?", and returns true if all items in list evaluates to true.

Parameters

Returns

Boolean

Usage considerations

Referencing expressions and rules

Use fn!functionName or a!functionName to reference an expression function and rule!ruleName to reference a rule.

Using rules or functions with multiple arguments

To use rules or functions that take more than two arguments, use the merge() function. For example, given a rule g(x, y, z), reduce(rule!g, i, merge({a, b, c}, {d, e, f})) returns g(g(g(i, a, d), b, e), c, f).

Understanding results

Returns false as soon as the returned value of an evaluation yields false; otherwise, returns true.

Empty and null lists yield true.

Limitations

a!forEach() cannot be used within rules used in this function.

Examples

Generalized behavior

Given a function f(x), all(fn!f, {a, b, c}, v) returns and({f(a, v), f(b, v), f(c, v)}).

Checking all items in a list

1
2
3
4
all(
  a!isNotNullOrEmpty,
  {1, 2, null, 3, null, 4}
)

Returns false.

Checking all items in an empty list

1
2
3
4
all(
  a!isNotNullOrEmpty,
  {}
)

Returns true.

Checking all items with context

To help demonstrate how the context parameter works in looping expressions, let's look at an example.

Imagine you're building an expression that uses looping to analyze group membership in your application. You have four Group constants configured in the following ways:

The following SAIL expressions reference these constants to show how context works when checking items in a list.

Checking all items in a list with context

1
2
3
4
5
all(
  a!isUserMemberOfGroup,
  {"user1", "user2", "user3"},
  cons!csaBuilding1
)

Returns true. Since user1, user2, and user3 are all members of the group referenced by cons!csaBuilding1, the function will return true.

Learn more about a!isUserMemberOfGroup().

Checking all items in a list with context for more than 2 parameters

1
2
3
4
5
all(
  a!isUserMemberOfGroup,
  {"user1", "user2", "user3"},
  {cons!allGroups, true}
)

Returns false when only user1 is a member of all the groups referenced in cons!allGroups. a!isUserMemberOfGroup has 3 parameters: username, groups, and matchAllGroups. The all() list corresponds to username, and the list of values provided in the context parameter are used as the next two parameters, groups & matchAllGroups.

Learn more about a!isUserMemberOfGroup().

Checking all items in a list with context for more than 2 parameters which accept lists

1
2
3
4
5
all(
  a!isUserMemberOfGroup,
  {"user1", "user2", "user3"},
  merge({cons!csaAdmins, cons!csaProfs}, {true, true})
)

Returns false when only user1 is a member of the groups referenced in cons!csaAdmins and cons!csaProfs. The merge function maps the list values to the correct parameters in this example.

Learn more about a!isUserMemberOfGroup().

Checking a list with a custom expression rule

In this example, we will use a helper rule, rule!isDateLater(value, referenceDate), which is defined as:

1
ri!value > ri!referenceDate

Example filter:

1
2
3
4
5
all(
  rule!isDateLater,
  {date(1950, 2, 3), date(1950, 6, 23), date(1950, 5, 2)},
  date(1950, 4, 7)
)

Returns false.

Feature compatibility

Feedback