2.6 Prefix Unary Operators

Prefix unary operators may be of either an intrinsic type (though not void), either an application defined opaque type. The operator type is the type to which the operator evaluates.

See Intrinsic Types.

See Application Defined Types.

The characters making up the prefix unary operator names must belong to the !, #, $, %, &, *, +, -, /, :, <, =, >, ?, @, ^, |, ~ set.

Operator definitions are introduced through the struct x1f4_operator_type record.

See struct x1f4_operator_type.

Prefix unary operators are overloadable, i.e. there may exist more prefix unary operators with the same name, but not with the same name and argument types list.

Implicit type conversion are not performed for prefix unary operator arguments. If it is desirable that a logic operator is defined for more data types an operator for each of the intended data types must be defined.

See Implicit Conversions.

• Defining Prefix Unary Operators