starlight 0.4.0

experimental HDL and optimizer for DAGs of lookup tables
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

use crate::{Error, EvalAwi, LazyAwi};

pub trait Drive<Rhs> {
    fn drive(&mut self, rhs: &Rhs) -> Result<(), Error>;
}

impl<E: std::borrow::Borrow<EvalAwi>, L: Into<LazyAwi>> Drive<E> for Option<L> {
    fn drive(&mut self, rhs: &E) -> Result<(), Error> {
        let rhs = rhs.borrow();
        self.take()
            .ok_or(Error::DrivenValueIsNone(Some(rhs.p_external())))?
            .into()
            .drive(rhs)
    }
}

impl<E: std::borrow::Borrow<EvalAwi>, L: Into<LazyAwi>> Drive<Option<E>> for Option<L> {
    fn drive(&mut self, rhs: &Option<E>) -> Result<(), Error> {
        match (self.take(), rhs) {
            (None, None) => Err(Error::DrivenValueIsNone(None)),
            (Some(lhs), None) => Err(Error::DrivenValueIsNone(Some(lhs.into().p_external()))),
            (None, Some(rhs)) => Err(Error::DrivenValueIsNone(Some(rhs.borrow().p_external()))),
            (Some(lhs), Some(rhs)) => lhs.into().drive(rhs.borrow()),
        }
    }
}