haloumi-ir 0.5.11

Intermediate representation of the haloumi framework.
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

use crate::stmt::{IRStmt, constraint::Constraint};
use haloumi_core::cmp::CmpOp;

pub trait ConstraintFactory {
    type Inner;
    type Out;

    fn ctor(&self, op: CmpOp, lhs: Self::Inner, rhs: Self::Inner) -> Self::Out;

    fn eq(&self, lhs: Self::Inner, rhs: Self::Inner) -> Self::Out {
        self.ctor(CmpOp::Eq, lhs, rhs)
    }

    fn lt(&self, lhs: Self::Inner, rhs: Self::Inner) -> Self::Out {
        self.ctor(CmpOp::Lt, lhs, rhs)
    }
}

pub struct IRStmtFactory<T>(std::marker::PhantomData<T>);

impl<T> Default for IRStmtFactory<T> {
    fn default() -> Self {
        Self(Default::default())
    }
}

impl<T> ConstraintFactory for IRStmtFactory<T> {
    type Inner = T;
    type Out = IRStmt<T>;

    fn ctor(&self, op: CmpOp, lhs: Self::Inner, rhs: Self::Inner) -> Self::Out {
        IRStmt::constraint(op, lhs, rhs)
    }
}

pub struct InnerConstraintFactory<T>(std::marker::PhantomData<T>);

impl<T> ConstraintFactory for InnerConstraintFactory<T> {
    type Inner = T;
    type Out = Constraint<T>;

    fn ctor(&self, op: CmpOp, lhs: Self::Inner, rhs: Self::Inner) -> Self::Out {
        Constraint::new(op, lhs, rhs)
    }
}

impl<T> Default for InnerConstraintFactory<T> {
    fn default() -> Self {
        Self(Default::default())
    }
}