~ (value -- invertedValue)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with ! and fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

~ (value -- invertedValue)

Inputs

value: Cond or Whole value to invert.

Outputs

invertedValue: Inverted value in the same schema.

~ is unary: it consumes one value and returns one value of the same schema.

For Cond, it performs logical NOT. For Whole values, it performs bitwise complement. Arithmetic negation is provided by neg.

Behavior

On Cond, the effect is equivalent to xor with TRUE.

On Nat and Int, the effect is equivalent to xor with the all-bits-set value of the same schema.

The flipped bit pattern is interpreted again as the same schema. In Int32, 5 ~ therefore produces -6.

If the input value is not known at compile time, the builtin produces an unknown result of the same schema.

Example

{} () {} [ "-- cond --" printCompilerMessage TRUE ~ printStack _:; FALSE ~ printStack _:; unknownCond: FALSE dynamic; unknownCond ~ printStack _:; "-- nat8 --" printCompilerMessage 0n8 ~ printStack _:; 0xF0n8 ~ printStack _:; "-- int32 --" printCompilerMessage 5 ~ printStack _:; -1 ~ printStack _:; unknownInt: 0 dynamic; unknownInt ~ printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- cond -- FALSE TRUE Cond -- nat8 -- 255n8 15n8 -- int32 -- -6 0 Int32