airlang 0.28.0

Air is a universal, reliable, and lean programming language.
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

use crate::semantics::cfg::Cfg;
use crate::semantics::ctx::Ctx;
use crate::semantics::func::DynFunc;
use crate::semantics::val::FuncVal;
use crate::semantics::val::Val;

#[derive(Clone, PartialEq, Eq, Hash)]
pub struct Fact {
    func: FuncVal,
    input: Val,
    output: Val,
}

impl Fact {
    pub fn new(cfg: &mut Cfg, ctx: Ctx<Val>, func: FuncVal, input: Val) -> Self {
        let output = func.call(cfg, ctx, input.clone());
        Self { func, input, output }
    }

    pub fn func(&self) -> &FuncVal {
        &self.func
    }

    pub fn input(&self) -> &Val {
        &self.input
    }

    pub fn output(&self) -> &Val {
        &self.output
    }
}