kahlo 0.0.2

Optimized software rendering 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

use rand::SeedableRng;
use std::collections::HashMap;

pub trait ContextValueTag: 'static {
    type Value: Clone;
}

#[derive(Debug)]
pub struct Context {
    values: HashMap<std::any::TypeId, Box<dyn std::any::Any>>,
    rng: rand_chacha::ChaCha12Rng,
}

impl Context {
    pub fn new(seed: usize) -> Self {
        Self {
            values: Default::default(),
            rng: rand_chacha::ChaCha12Rng::seed_from_u64(seed as u64),
        }
    }
}

impl Context {
    pub fn insert<CVT: ContextValueTag>(&mut self, value: CVT::Value) {
        self.values.insert(
            std::any::TypeId::of::<CVT>(),
            Box::new(value) as Box<dyn std::any::Any>,
        );
    }
    pub fn lookup<CVT: ContextValueTag>(&self) -> Option<&CVT::Value> {
        let stored = self.values.get(&std::any::TypeId::of::<CVT>())?;

        stored.downcast_ref::<CVT::Value>()
    }
    pub fn rng(&mut self) -> &mut dyn rand::Rng {
        &mut self.rng
    }
}

pub trait ValueGenerator<'l>: for<'a> Fn(&'a mut Context) -> Option<Self::Value> {
    type Value: 'l + Clone;
}

impl<'l, V: 'l + Clone, F: for<'a> Fn(&'a mut Context) -> Option<V>> ValueGenerator<'l> for F {
    type Value = V;
}

mod impls;
pub use impls::*;

pub trait ValueGeneratorList<'l> {
    type OutputTuple: 'l;

    fn generate(&self, ctx: &mut Context) -> Option<Self::OutputTuple>;
}

impl<'l> ValueGeneratorList<'l> for () {
    type OutputTuple = ();
    fn generate(&self, _ctx: &mut Context) -> Option<Self::OutputTuple> {
        Some(())
    }
}
impl<'l, V0: ValueGenerator<'l>> ValueGeneratorList<'l> for (V0,) {
    type OutputTuple = (V0::Value,);

    fn generate(&self, ctx: &mut Context) -> Option<Self::OutputTuple> {
        Some((self.0(ctx)?,))
    }
}
impl<'l, V0: ValueGenerator<'l>, V1: ValueGenerator<'l>> ValueGeneratorList<'l> for (V0, V1) {
    type OutputTuple = (V0::Value, V1::Value);

    fn generate(&self, ctx: &mut Context) -> Option<Self::OutputTuple> {
        Some((self.0(ctx)?, self.1(ctx)?))
    }
}
impl<'l, V0: ValueGenerator<'l>, V1: ValueGenerator<'l>, V2: ValueGenerator<'l>>
    ValueGeneratorList<'l> for (V0, V1, V2)
{
    type OutputTuple = (V0::Value, V1::Value, V2::Value);

    fn generate(&self, ctx: &mut Context) -> Option<Self::OutputTuple> {
        Some((self.0(ctx)?, self.1(ctx)?, self.2(ctx)?))
    }
}
impl<
        'l,
        V0: ValueGenerator<'l>,
        V1: ValueGenerator<'l>,
        V2: ValueGenerator<'l>,
        V3: ValueGenerator<'l>,
    > ValueGeneratorList<'l> for (V0, V1, V2, V3)
{
    type OutputTuple = (V0::Value, V1::Value, V2::Value, V3::Value);

    fn generate(&self, ctx: &mut Context) -> Option<Self::OutputTuple> {
        Some((self.0(ctx)?, self.1(ctx)?, self.2(ctx)?, self.3(ctx)?))
    }
}
impl<
        'l,
        V0: ValueGenerator<'l>,
        V1: ValueGenerator<'l>,
        V2: ValueGenerator<'l>,
        V3: ValueGenerator<'l>,
        V4: ValueGenerator<'l>,
    > ValueGeneratorList<'l> for (V0, V1, V2, V3, V4)
{
    type OutputTuple = (V0::Value, V1::Value, V2::Value, V3::Value, V4::Value);

    fn generate(&self, ctx: &mut Context) -> Option<Self::OutputTuple> {
        Some((
            self.0(ctx)?,
            self.1(ctx)?,
            self.2(ctx)?,
            self.3(ctx)?,
            self.4(ctx)?,
        ))
    }
}

pub trait UnaryInputSpec: super::UnaryOpSpec {
    fn gen<'l>() -> impl ValueGeneratorList<'l, OutputTuple = Self::Params<'l>>;
}

pub trait BinaryInputSpec: super::BinaryOpSpec {
    fn gen<'l>() -> impl ValueGeneratorList<'l, OutputTuple = Self::Params<'l>>;
}