INNER CODE UNIT · Rust

new

lurk-lab/lurk-beta · foil/src/lib.rs:237

    fn new<F: Into<Schema<M>>>(schema: F, config: FoilConfig) -> Self {
        let schema = schema.into();
        Self {
            graph: Default::default(),
            merge_queue: Default::default(),
            fun_map: Default::default(),
            var_map: Default::default(),
            var_counter: 0,
            constants: Default::default(),
            schema,
            state: Default::default(),
            config,
        }
    }

    fn add_constructor(&mut self, constructor: Func<M>, _metadata: &M) {
        self.schema.constructors.push(constructor)
    }

View source record →