Module array

Expand description

Fixed-length array type and operations extension.

Modules§

Array: A linear, fixed-length collection of values.
EXTENSION: Extension for array operations.
GenericArrayClone: Definition of the array clone op. Generic over the concrete array implementation.
GenericArrayCloneDef: Definition of the array clone operation. Generic over the concrete array implementation.
GenericArrayConvert: Definition of the array conversion op.
GenericArrayConvertDef: Definition of array conversion operations.
GenericArrayDiscard: Definition of the array discard op. Generic over the concrete array implementation.
GenericArrayDiscardDef: Definition of the array discard op. Generic over the concrete array implementation.
GenericArrayOp: Concrete array operation. Generic over the actual array implementation.
GenericArrayRepeat: Definition of the array repeat op. Generic over the concrete array implementation.
GenericArrayRepeatDef: Definition of the array repeat op. Generic over the concrete array implementation.
GenericArrayScan: Definition of the array scan op. Generic over the concrete array implementation.
GenericArrayScanDef: Definition of the array scan op. Generic over the concrete array implementation.
GenericArrayValue: Statically sized array of values, all of the same type.

GenericArrayOpDef: Array operation definitions. Generic over the concrete array implementation.

ARRAY_CLONE_OP_ID: Name of the operation to clone an array
ARRAY_DISCARD_OP_ID: Name of the operation to discard an array
ARRAY_REPEAT_OP_ID: Name of the operation to repeat a value multiple times
ARRAY_SCAN_OP_ID: Name of the operation for the combined map/fold operation
ARRAY_TYPENAME: Reported unique name of the array type.
ARRAY_VALUENAME: Reported unique name of the array value.
EXTENSION_ID: Reported unique name of the extension
FROM: Array conversion direction to obtain the current array type FROM the other one.
INTO: Array conversion direction to turn the current array type INTO the other one.
NEW_ARRAY_OP_ID: Name of the operation in the prelude for creating new arrays.
VERSION: Extension version.

array_type: Instantiate a new array type given a size argument and element type.
array_type_def: Gets the TypeDef for arrays. Note that instantiations are more easily created via array_type and array_type_parametric
array_type_parametric: Instantiate a new array type given the size and element type parameters.
new_array_op: Initialize a new array op of element type element_ty of length size