tket 0.20.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

//! Utilities for Control modifiers
use hugr::{
    extension::{SignatureFunc, prelude::qb_t},
    std_extensions::collections::array::array_type_parametric,
    types::{
        FuncValueType, PolyFuncTypeRV, Type, TypeArg, TypeBound, TypeRowRV, type_param::TypeParam,
    },
};

/// Control modifier.
///
/// Stores the number of controls qubits to apply.
#[derive(Clone, Copy, Debug, Hash, PartialEq, Eq)]
pub struct ModifierControl(usize);

impl ModifierControl {
    /// Create a new ModifierControl with a specific number of controls.
    fn new(num: usize) -> Self {
        ModifierControl(num)
    }
}
impl Default for ModifierControl {
    fn default() -> Self {
        Self::new(0)
    }
}
impl ModifierControl {
    /// Signature for the control modifier.
    pub(crate) fn signature() -> SignatureFunc {
        PolyFuncTypeRV::new(
            [
                TypeParam::max_nat_kind(),
                TypeParam::new_list_kind(TypeBound::Linear),
                TypeParam::new_list_kind(TypeBound::Linear),
            ],
            FuncValueType::new(
                [Type::new_function(FuncValueType::new(
                    TypeRowRV::new_var_use(1, TypeBound::Linear)
                        .concat(TypeRowRV::new_var_use(2, TypeBound::Linear)),
                    TypeRowRV::new_var_use(1, TypeBound::Linear),
                ))],
                [Type::new_function(FuncValueType::new(
                    TypeRowRV::from([array_type_parametric(
                        TypeArg::new_var_use(0, TypeParam::max_nat_kind()),
                        qb_t(),
                    )
                    .unwrap()])
                    .concat(TypeRowRV::new_var_use(1, TypeBound::Linear))
                    .concat(TypeRowRV::new_var_use(2, TypeBound::Linear)),
                    TypeRowRV::from([array_type_parametric(
                        TypeArg::new_var_use(0, TypeParam::max_nat_kind()),
                        qb_t(),
                    )
                    .unwrap()])
                    .concat(TypeRowRV::new_var_use(1, TypeBound::Linear)),
                ))],
            ),
        )
        .into()
    }
}