ppvm-traits 0.1.1

Core traits, the `Config` bundle and the single-qubit Pauli alphabet shared by the ppvm crates.
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

// SPDX-FileCopyrightText: 2026 The PPVM Authors
// SPDX-License-Identifier: Apache-2.0

use crate::config::Config;

/// The non-Clifford `T` gate and its adjoint.
///
/// `T = diag(1, e^{iπ/4})`. Implemented by the simulator backends; see
/// the example in [`ppvm_tableau`](https://docs.rs/ppvm-tableau).
pub trait TGate<T: Config> {
    /// Apply `T` (`diag(1, e^{iπ/4})`) to one qubit.
    fn t(&mut self, addr0: usize);
    /// Apply `T†` to one qubit.
    fn t_dag(&mut self, addr0: usize);

    /// Explicit batched `T`.
    fn t_many(&mut self, targets: &[usize]) {
        for &q in targets {
            self.t(q);
        }
    }

    /// Explicit batched `T†`.
    fn t_dag_many(&mut self, targets: &[usize]) {
        for &q in targets {
            self.t_dag(q);
        }
    }
}