Crate hugr_core

Extensible, graph-based program representation with first-class support for linear types.

This crate contains the core definitions for the HUGR representation. See the top-level crate documentation for more information.

Re-exports

• pub use crate::core::CircuitUnit;
• pub use crate::core::Direction;
• pub use crate::core::IncomingPort;
• pub use crate::core::Node;
• pub use crate::core::NodeIndex;
• pub use crate::core::OutgoingPort;
• pub use crate::core::Port;
• pub use crate::core::PortIndex;
• pub use crate::core::Wire;
• pub use crate::extension::Extension;
• pub use crate::hugr::Hugr;
• pub use crate::hugr::HugrView;
• pub use crate::hugr::SimpleReplacement;

Modules

• builder
  Utilities for building valid HUGRs.
• core
  Definitions for the core types used in the Hugr.
• extension
  Extensions
• hugr
  The Hugr data structure, and its basic component handles.
• macros
  Helper macros.
• ops
  The operation types for the HUGR.
• std_extensions
  Experiments for Extension definitions.
• types
  General wire types used in the compiler
• utils
  General utilities.

Macros

• const_extension_ids
  Declare ‘const’ variables holding new ExtensionIds, validating that they are well-formed as separate tests - hence, usable at the top level of a test module only. Example:
• type_row
  Creates a TypeRow backed by statically defined data, avoiding allocations.