_→set

Definitions:

tuple
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Sets, Tuples, Conversions
Construct and answer a set that uniquely (by definition) contains the same elements as the specified tuple.
Position Name Type Description
Parameters
1 aTuple tuple A tuple.
Returns set The requested set.

Semantic restrictions:

tuple meta
Source: /avail/Avail/Foundation/Early Tuples
It's extremely hard to provide a strong bound for set conversion without chromatic polynomials, and even then it's still expensive. Provide a simple strengthening: the resulting element type is the type union of all tuple element types.
Type Description
Parameter Types
tuple meta