hugr-model 0.27.0

Data model for Quantinuum's HUGR intermediate representation
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

use super::Module;
use std::sync::Arc;

/// Trait for views into a [`Module`].
pub trait View<'a, S>: Sized {
    /// Attempt to interpret a subpart of a module as this type.
    fn view(module: &'a Module<'a>, src: S) -> Option<Self>;
}

impl<'a, S, T> View<'a, &S> for T
where
    T: View<'a, S>,
    S: Copy,
{
    fn view(module: &'a Module<'a>, id: &S) -> Option<Self> {
        T::view(module, *id)
    }
}

impl<'a, S, T> View<'a, Option<S>> for Option<T>
where
    T: View<'a, S>,
{
    fn view(module: &'a Module<'a>, src: Option<S>) -> Option<Self> {
        Some(match src {
            Some(src) => Some(T::view(module, src)?),
            None => None,
        })
    }
}

impl<'a, S, T> View<'a, &'a [S]> for Vec<T>
where
    T: View<'a, &'a S>,
{
    fn view(module: &'a Module<'a>, sources: &'a [S]) -> Option<Self> {
        sources
            .iter()
            .map(|source| T::view(module, source))
            .collect()
    }
}

impl<'a, S, T> View<'a, &'a [S]> for Box<[T]>
where
    T: View<'a, &'a S>,
{
    fn view(module: &'a Module<'a>, sources: &'a [S]) -> Option<Self> {
        sources
            .iter()
            .map(|source| T::view(module, source))
            .collect()
    }
}

impl<'a, S, T> View<'a, &'a [S]> for Arc<[T]>
where
    T: View<'a, &'a S>,
{
    fn view(module: &'a Module<'a>, sources: &'a [S]) -> Option<Self> {
        sources
            .iter()
            .map(|source| T::view(module, source))
            .collect()
    }
}