hypercpu 0.0.2

Distributed symbolic 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
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

use crate::Moment;
use crate::ops::*;
use async_trait::async_trait;
use std::ops;


/// A `Moment`-exclusive operable value.
/// 
/// Performing operations on this type will return
/// `Moment`s that perform the operation on the
/// value instead of the standard compiler
/// behaviors.
#[derive(Clone)]
pub struct Value<T>(T);

impl<T> Value<T> {
  /// Create a new `Value` from a value.
  pub fn new(value: T) -> Self {
    Self(value)
  }

  /// Get the inner value.
  pub fn into_inner(self) -> T {
    self.0
  }
}

#[async_trait]
impl<T> Moment for Value<T>
where
  T: Moment
{
  type Value = Self;

  async fn resolve(self) -> Self::Value {
    self
  }
}

impl<L, R, O> ops::Add<R> for Value<L>
where
  L: Moment,
  R: Moment,
  O: Moment,
  L::Value: ops::Add<R::Value, Output = O>
{
  type Output = Add<L, R, O>;

  fn add(self, rhs: R) -> Self::Output {
    Add::new(self.into_inner(), rhs)
  }
}

impl<L, R, O> ops::Sub<R> for Value<L>
where
  L: Moment,
  R: Moment,
  O: Moment,
  L::Value: ops::Sub<R::Value, Output = O>
{
  type Output = Sub<L, R, O>;

  fn sub(self, rhs: R) -> Self::Output {
    Sub::new(self.into_inner(), rhs)
  }
}

impl<L, R, O> ops::Mul<R> for Value<L>
where
  L: Moment,
  R: Moment,
  O: Moment,
  L::Value: ops::Mul<R::Value, Output = O>
{
  type Output = Mul<L, R, O>;

  fn mul(self, rhs: R) -> Self::Output {
    Mul::new(self.into_inner(), rhs)
  }
}

impl<L, R, O> ops::Div<R> for Value<L>
where
  L: Moment,
  R: Moment,
  O: Moment,
  L::Value: ops::Div<R::Value, Output = O>
{
  type Output = Div<L, R, O>;

  fn div(self, rhs: R) -> Self::Output {
    Div::new(self.into_inner(), rhs)
  }
}

impl<L, R, O> ops::Rem<R> for Value<L>
where
  L: Moment,
  R: Moment,
  O: Moment,
  L::Value: ops::Rem<R::Value, Output = O>
{
  type Output = Rem<L, R, O>;

  fn rem(self, rhs: R) -> Self::Output {
    Rem::new(self.into_inner(), rhs)
  }
}