tket 0.18.0

Quantinuum's TKET Quantum Compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92

//! Optimisation passes and related utilities for HUGR programs.

/// Compiler passes and utilities for composing them.
pub mod composable;
pub use composable::{ComposablePass, InScope, PassScope, WithScope};

// -- tket-defined passes ---------------------------------------------------

// Elide pairs of return-borrow operations on `BorrowArray`s.
pub mod borrow_squash;
pub use borrow_squash::BorrowSquashPass;

// Greedy gate commutation on quantum circuits.
pub mod commutation;
pub use commutation::apply_greedy_commutation;

// Constant folding pass.
pub mod const_fold;
pub use const_fold::ConstantFoldPass;

// Dataflow analysis framework.
pub mod dataflow;

// Dead code elimination pass.
pub mod dead_code;
pub use dead_code::DeadCodeElimPass;

// Dead function removal.
pub mod dead_funcs;
pub use dead_funcs::{RemoveDeadFuncsError, RemoveDeadFuncsPass};

// Force a topological order on nodes.
pub mod force_order;
pub use force_order::{force_order, force_order_by_key};

// Normalize the structure of Guppy-generated programs.
pub mod guppy;
pub use guppy::NormalizeGuppy;

// Inline DFG nodes.
pub mod inline_dfgs;
pub use inline_dfgs::InlineDFGsPass;

// Inline function calls.
pub mod inline_funcs;
pub use inline_funcs::inline_acyclic;

// Lower and replace operations.
pub mod lower;
pub use lower::{lower_ops, replace_many_ops};

// Resolve modifier operations (control/dagger/power).
pub mod modifier_resolver;
pub use modifier_resolver::ModifierResolverPass;

// Monomorphization pass.
pub mod monomorphize;
pub use monomorphize::{MonomorphizePass, mangle_name};

// Nest SESE regions in CFGs.
pub mod nest_cfgs;

// Find and localize non-local edges.
pub mod non_local;

// CFG normalization (merge blocks, simplify control flow).
pub mod normalize_cfgs;
pub use normalize_cfgs::NormalizeCFGPass;

// Remove redundant order edges.
pub mod redundant_order_edges;
pub use redundant_order_edges::RedundantOrderEdgesPass;

// Replace types, ops, and constants across a HUGR.
pub mod replace_types;
pub use replace_types::ReplaceTypes;

// Remove redundant tuple pack/unpack operations.
pub mod untuple;
pub use untuple::UntuplePass;

// -- Internal modules -------------------------------------------------------

pub(crate) mod half_node;

#[cfg(test)]
pub(crate) mod test_utils;

// -- Utilities -------------------------------------------------------------

/// Utilities for writing and applying passes on HUGR programs.
pub mod utils;