computation-types 0.0.0

Types for abstract mathematical 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

use crate::{ComputationFn, NamedArgs};

#[derive(Clone, Copy, Debug)]
pub struct Function<ArgNames, Body> {
    pub name: Option<&'static str>,
    pub arg_names: ArgNames,
    pub body: Body,
}

impl<ArgNames, Body> Function<ArgNames, Body> {
    pub fn anonymous(arg_names: ArgNames, body: Body) -> Self {
        Self {
            name: None,
            arg_names,
            body,
        }
    }

    pub fn named(name: &'static str, arg_names: ArgNames, body: Body) -> Self {
        Self {
            name: Some(name),
            arg_names,
            body,
        }
    }

    pub fn fill<Args>(self, args: Args) -> Body::Filled
    where
        (ArgNames, Args): Into<NamedArgs>,
        Body: ComputationFn,
    {
        self.body.fill((self.arg_names, args).into())
    }
}