coerce

any →
coerce(
    ...specifications: type | mapping
) → any

Coerces a scalar value or selected tuple and record values to requested Expressif types.

Parameters

Name	Type	Required	Description
specifications	type | mapping	Variadic (one or more)	One or more positional type descriptors or selector-to-type mappings.

Argument evaluation

• specifications: Type descriptors and field or position mappings are resolved as coercion specifications, rather than evaluated as ordinary expressions.

Behavior

Tuple selector mappings use zero-based positions: $0 selects the first position, $1 selects the second, and unavailable positions are ignored.

Pairs and groups participate in tuple coercion through their key and value positions. coerce(:tuple) materializes an ordinary tuple rather than preserving the specialized runtime kind:

("BE" => 42) | coerce(:tuple) → T("BE", 42)

For a group, the resulting tuple contains the group key at position zero and the grouped-values collection at position one. Pair-to-tuple compatibility for tuple-consuming functions is implicit and does not require explicit coercion.

Examples

"42" | coerce(:integer) → 42
T("42", "Bob") | coerce($0 -> :integer) | $0 → 42
T("Bob", "42") | coerce($1 -> :integer) | $1 → 42

Kind: Function
Scope: special
Aliases: special-to-coerce