group_by_

Definitions:

set, [⊥]→any
Source: /avail/Avail/Foundation/Maps
Categories: Collections, Sets, Maps, Transformers
Categorize the elements of aSet via discriminator.
Position Name Type Description
Parameters
1 aSet set The set to categorize.
2 discriminator [⊥]→any A function that accepts each element of the set and answers a value that represents the group to which the element belongs.
Returns map A map whose keys describe groups and whose elements are the groups themselves, i.e., the sets of elements that constitute the described group.
tuple, [⊥]→any
Source: /avail/Avail/Foundation/Maps
Categories: Collections, Tuples, Maps, Transformers
Categorize the elements of aTuple via discriminator.
Position Name Type Description
Parameters
1 aTuple tuple The tuple to categorize.
2 discriminator [⊥]→any A function that accepts each element of the tuple and answers a value that represents the group to which the element belongs.
Returns map A map whose keys describe groups and whose elements are the groups themselves, i.e., the tuples of elements that constitute the described group.

Semantic restrictions:

set's type, [⊥]→any's type
Source: /avail/Avail/Foundation/Maps
Strengthen return type.
Type Description
Parameter Types
set's type
[⊥]→any's type