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

//! Pass to resolve modifiers (control/dagger/power) in a Hugr.
use crate::modifier::modifier_resolver::resolve_modifier_with_entrypoints;
use crate::passes::{ComposablePass, PassScope, WithScope};
use hugr::Node;
use hugr::hugr::hugrmut::HugrMut;

pub use crate::modifier::modifier_resolver::ModifierResolverErrors;

/// A pass to resolve modifiers (control/dagger/power) in a Hugr.
#[derive(Default)]
pub struct ModifierResolverPass {
    /// Where to apply the pass.
    scope: PassScope,
}

impl WithScope for ModifierResolverPass {
    fn with_scope(mut self, scope: impl Into<crate::passes::PassScope>) -> Self {
        self.scope = scope.into();
        self
    }
}

impl<H: HugrMut<Node = Node>> ComposablePass<H> for ModifierResolverPass {
    type Error = ModifierResolverErrors<H::Node>;

    /// Returns whether any drops were lowered
    type Result = ();

    fn run(&self, hugr: &mut H) -> Result<Self::Result, Self::Error> {
        let Some(root) = self.scope.root(hugr) else {
            return Ok(());
        };
        resolve_modifier_with_entrypoints(hugr, [root])
    }
}