LiteralType

represents a literal value x for use as a type.

Details

LiteralType is often used as a parameter of other types. For example, the rank of a packed array is represented with a literal type "PackedArray"::["MachineInteger",LiteralType[2]].
In some cases, LiteralType is added implicitly, such as in "PackedArray"::["MachineInteger",2].
Literal types can be integers, strings or Boolean values.
The head LiteralType can generally be omitted for integer and Boolean values, but is required for string values.

open allclose all

Compile a program for manipulating packed arrays whose types are represented with LiteralType:

Define a function to have different return types depending on a literal type argument:

Compile a function using the first usage:

Compile a function using the second usage:

Use TypeEvaluate to transform literal types in a function signature:

Compile a function using the type:

Top