airlang 0.27.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
32
33
34
35
36
37

pub use self::comp::CompFunc;
pub use self::prim::ConstFunc;
pub use self::prim::ConstInputFreeFunc;
pub use self::prim::CtxFreeFunc;
pub use self::prim::DefaultFunc;
pub use self::prim::FreeFunc;
pub use self::prim::InputFreeFunc;
pub use self::prim::MutFunc;
pub use self::prim::MutInputFreeFunc;
pub use self::prim::PrimCtx;
pub use self::prim::PrimFunc;
pub use self::prim::PrimInput;

_____!();

pub(crate) use self::comp::CompCtx;
pub(crate) use self::comp::CompInput;

_____!();

use crate::semantics::ctx::Ctx;

pub trait DynFunc<Cfg, C, I, O> {
    fn call(&self, cfg: &mut Cfg, ctx: Ctx<C>, input: I) -> O;
}

impl<Cfg, C, I, O, T> DynFunc<Cfg, C, I, O> for &T
where T: ?Sized + DynFunc<Cfg, C, I, O>
{
    fn call(&self, cfg: &mut Cfg, ctx: Ctx<C>, input: I) -> O {
        (**self).call(cfg, ctx, input)
    }
}

mod prim;

mod comp;