Module hugr_core::extension::prelude

Prelude extension - available in all contexts, defining common types, operations and constants.

Structs

• ConstError
  Structure for holding constant usize values.
• ConstExternalSymbol
  A structure for holding references to external symbols.
• ConstString
  Structure for holding constant string values.
• ConstUsize
  Structure for holding constant usize values.
• PRELUDE
  Prelude extension
• PRELUDE_REGISTRY
  An extension registry containing only the prelude

Constants

• BOOL_T
  Boolean type - Sum of two units.
• ERROR_CUSTOM_TYPE
  The custom type for Errors.
• ERROR_TYPE
  Unspecified opaque error type.
• ERROR_TYPE_NAME
  The string name of the error type.
• NEW_ARRAY_OP_ID
  Name of the operation in the prelude for creating new arrays.
• PANIC_OP_ID
  Name of the prelude panic operation.
• PRELUDE_ID
  Name of prelude extension.
• PRINT_OP_ID
  Name of the print operation
• QB_T
  Qubit type.
• STRING_CUSTOM_TYPE
  Custom type for strings.
• STRING_TYPE
  String type.
• STRING_TYPE_NAME
  Name of the string type.
• USIZE_T
  Unsigned size type.

Functions

• array_type
  Initialize a new array of element type element_ty of length size
• new_array_op
  Initialize a new array op of element type element_ty of length size
• sum_with_error
  Return a Sum type with the first variant as the given type and the second an Error.