hugr_core::std_extensions::collections

Module array

Expand description

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.
ArrayValue: Statically sized array of values, all of the same type.
EXTENSION: Extension for array 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