tket 0.21.1

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

//! Configuration structs for pytket encoders and decoders.

mod decoder_config;
mod encoder_config;
mod type_translators;

pub use decoder_config::PytketDecoderConfig;
pub use encoder_config::PytketEncoderConfig;
pub use type_translators::TypeTranslatorSet;

use crate::serialize::pytket::extension::{
    CoreDecoder, FloatEmitter, GlobalPhaseEmitter, MeasurementEmitter, PreludeEmitter,
    RotationEmitter, Tk1Emitter, TketOpEmitter,
};
use hugr::HugrView;

/// Default pytket decoder configuration for Hugrs.
///
/// Contains a list of custom decoders that define translations of legacy tket
/// primitives into HUGR operations.
pub fn default_decoder_config() -> PytketDecoderConfig {
    let mut config = PytketDecoderConfig::new();
    add_default_decoders(&mut config);
    config
}

/// Add the default HUGR decoders and type translators to an existing config.
///
/// This registers the base `tket` decoders ([`CoreDecoder`], [`PreludeEmitter`],
/// [`GlobalPhaseEmitter`], and [`TketOpEmitter`]) together with the default
/// type translators.
///
/// Decoders are tried in registration order, so this is useful when building
/// custom decoder configs that register additional decoders *before* the base
/// ones to give them higher priority, while still keeping the base decoders as
/// a fallback.
pub fn add_default_decoders(config: &mut PytketDecoderConfig) {
    config.add_decoder(CoreDecoder);
    config.add_decoder(PreludeEmitter);
    config.add_decoder(GlobalPhaseEmitter);
    config.add_decoder(TketOpEmitter);

    config.add_type_translator(PreludeEmitter);
    config.add_type_translator(FloatEmitter);
    config.add_type_translator(RotationEmitter);
}

/// Default encoder configuration for Hugrs.
///
/// Contains emitters for std and tket operations.
pub fn default_encoder_config<H: HugrView>() -> PytketEncoderConfig<H> {
    let mut config = PytketEncoderConfig::new();
    config.add_emitter(PreludeEmitter);
    config.add_emitter(FloatEmitter);
    config.add_emitter(MeasurementEmitter);
    config.add_emitter(RotationEmitter);
    config.add_emitter(GlobalPhaseEmitter);
    config.add_emitter(Tk1Emitter);
    config.add_emitter(TketOpEmitter);

    config.add_type_translator(PreludeEmitter);
    config.add_type_translator(FloatEmitter);
    config.add_type_translator(RotationEmitter);

    config
}