Module hugr_core::std_extensions::collections

List type and operations.

Structs

• EXTENSION
  Collections extension definition.
• ListOpInst
  A list operation with a concrete element type.
• ListValue
  Dynamically sized list of values, all of the same type.

Enums

• ListOp
  A list operation

Constants

• EXTENSION_NAME
  Reported unique name of the extension
• LIST_TYPENAME
  Reported unique name of the list type.
• POP_NAME
  Pop operation name.
• PUSH_NAME
  Push operation name.

Functions

• list_custom_type
  Get the type of a list of elem_type as a CustomType.
• list_type
  Get the Type of a list of elem_type.