benda 0.1.2

Use Bend language functions and capabilities in Python!
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

use bend::fun::Term;
use pyo3::types::{PyTuple, PyTupleMethods};
use pyo3::{pyclass, pymethods, Bound};

use crate::types::extract_type_raw;

#[pyclass(name = "Fan")]
#[derive(Clone, Debug, Default)]
pub struct Fan {
    pub term: Term,
}

#[pymethods]
impl Fan {
    #[new]
    #[pyo3(signature = (*args))]
    fn new(args: Bound<'_, PyTuple>) -> Self {
        let mut elements: Vec<Term> = vec![];
        for arg in args.iter() {
            let new_arg =
                extract_type_raw(arg.clone()).unwrap().to_bend().unwrap();
            let u_type = Some(new_arg.clone().to_fun());

            if let Some(u_type) = u_type {
                elements.push(u_type);
            }
        }

        let fan = bend::fun::Term::Fan {
            fan: bend::fun::FanKind::Tup,
            tag: bend::fun::Tag::Static,
            els: elements,
        };

        Self { term: fan }
    }
}