Module array

Fixed-length array type and operations extension.

Structs

• ArrayOp
  Concrete array operation.
• ArrayOpDefIter
  An iterator over the variants of ArrayOpDef
• ArrayRepeat
  Definition of the array repeat op.
• ArrayRepeatDef
  Definition of the array repeat op.
• ArrayScan
  Definition of the array scan op.
• ArrayScanDef
  Definition of the array scan op.
• EXTENSION
  Extension for list operations.

Enums

• ArrayOpDef
  Array operation definitions.

Constants

• 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.
• EXTENSION_ID
  Reported unique name of the extension
• NEW_ARRAY_OP_ID
  Name of the operation in the prelude for creating new arrays.
• VERSION
  Extension version.

Functions

• array_type
  Instantiate a new array type given a size argument and element type.
• 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