dunge 0.3.5

Typesafe and portable 3d render library
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136

//! Compute management.

use {
    crate::{
        set::{Bind, Bindings},
        workload::Workload,
    },
    std::{iter, marker::PhantomData},
};

pub struct Compute<'com> {
    pub(crate) pass: wgpu::ComputePass<'com>,
}

impl<'com> Compute<'com> {
    #[inline]
    #[must_use]
    pub fn workload<I>(&mut self, workload: &Workload<I>) -> On<'com, '_, I, state::Workload> {
        let mut on = On::new(Runner {
            pass: &mut self.pass,
        });

        on.run.workload(workload.compute());
        on
    }
}

pub struct Input<S>(S);

pub trait Types {
    type Set;
}

impl<S> Types for Input<S> {
    type Set = S;
}

pub mod state {
    pub enum Workload {}
    pub enum Set {}
    pub enum Dispatch {}
}

#[diagnostic::on_unimplemented(
    message = "Compute cannot transition from `{A}` to `{B}` state",
    label = "This compute function cannot be called"
)]
pub trait To<A, B> {}

impl<S> To<state::Workload, state::Set> for Input<S> {}
impl To<state::Workload, state::Dispatch> for Input<()> {}

impl<S> To<state::Set, state::Dispatch> for Input<S> {}

impl<S> To<state::Dispatch, state::Workload> for Input<S> {}
impl<S> To<state::Dispatch, state::Set> for Input<S> {}
impl<S> To<state::Dispatch, state::Dispatch> for Input<S> {}

struct Runner<'com, 'work> {
    pass: &'work mut wgpu::ComputePass<'com>,
}

impl Runner<'_, '_> {
    #[inline]
    fn workload(&mut self, compute: &wgpu::ComputePipeline) {
        self.pass.set_pipeline(compute);
    }

    #[inline]
    fn set(&mut self, bindings: Bindings<'_>) {
        for (id, group) in iter::zip(0.., bindings.bind_groups) {
            self.pass.set_bind_group(id, group, &[]);
        }
    }

    #[inline]
    fn dispatch(&mut self, x: u32, y: u32, z: u32) {
        self.pass.dispatch_workgroups(x, y, z);
    }
}

pub struct On<'com, 'work, I, A> {
    run: Runner<'com, 'work>,
    inp: PhantomData<(I, A)>,
}

impl<'com, 'work, I, A> On<'com, 'work, I, A> {
    #[inline]
    fn new(run: Runner<'com, 'work>) -> Self {
        Self {
            run,
            inp: PhantomData,
        }
    }

    #[inline]
    fn to<B>(self) -> On<'com, 'work, I, B>
    where
        I: To<A, B>,
    {
        On {
            run: self.run,
            inp: PhantomData,
        }
    }

    #[inline]
    #[must_use]
    pub fn workload(mut self, workload: &Workload<I>) -> On<'com, 'work, I, state::Workload>
    where
        I: To<A, state::Workload>,
    {
        self.run.workload(workload.compute());
        self.to()
    }

    #[inline]
    #[must_use]
    pub fn set<S>(mut self, set: &S) -> On<'com, 'work, I, state::Set>
    where
        I: To<A, state::Set> + Types,
        S: Bind<I::Set>,
    {
        self.run.set(set.bind());
        self.to()
    }

    #[inline]
    pub fn dispatch(mut self, x: u32, y: u32, z: u32) -> On<'com, 'work, I, state::Dispatch>
    where
        I: To<A, state::Dispatch>,
    {
        self.run.dispatch(x, y, z);
        self.to()
    }
}