computation-types 0.0.0

Types for abstract mathematical computation
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

use core::fmt;

use crate::{
    impl_core_ops, peano::One, Computation, ComputationFn, Function, Name, NamedArgs, Names,
};

#[derive(Clone, Copy, Debug)]
pub struct Enumerate<A, F>
where
    Self: Computation,
{
    pub child: A,
    pub f: Function<(Name, Name), F>,
}

impl<A, F> Computation for Enumerate<A, F>
where
    A: Computation<Dim = One>,
    F: Computation,
{
    type Dim = F::Dim;
    type Item = F::Item;
}

impl<A, F> ComputationFn for Enumerate<A, F>
where
    Self: Computation,
    A: ComputationFn,
    Enumerate<A::Filled, F>: Computation,
{
    type Filled = Enumerate<A::Filled, F>;

    fn fill(self, named_args: NamedArgs) -> Self::Filled {
        Enumerate {
            child: self.child.fill(named_args),
            f: self.f,
        }
    }

    fn arg_names(&self) -> Names {
        self.child.arg_names()
    }
}

impl_core_ops!(Enumerate<A, F>);

impl<A, F> fmt::Display for Enumerate<A, F>
where
    Self: Computation,
    A: fmt::Display,
    F: fmt::Display,
{
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "{}.enumerate({})", self.child, self.f.body)
    }
}

#[cfg(test)]
mod tests {
    use proptest::prelude::*;
    use test_strategy::proptest;

    use crate::{arg1, val1, Computation, Function};

    #[proptest]
    fn enumerate_should_display(xs: Vec<usize>) {
        let inp = val1!(xs.iter().cloned());
        let f = Function::anonymous(("x", "i"), arg1!("x", usize) + arg1!("i", usize));
        prop_assert_eq!(
            inp.clone().enumerate(f).to_string(),
            format!("{}.enumerate({})", inp, f.body)
        );
    }
}