42812eb · wock · git.iko.soy

git.iko.soy/wock

on master help sign in

levy

42812ebiko2 years ago

nock/src/interpreter.rs+7

compare with master

unifiedsplit

@@ -320,3 +320,10 @@ pub fn eval_gate(ctx: &InterpreterContext, gate: Rc<Noun>) -> Rc<Noun> {

320 ),

321 )

322}

323+

324+pub fn call_gate(ctx: &InterpreterContext, gate: Rc<Noun>, sample: Rc<Noun>) -> Rc<Noun> {

325+ let (battery, payload) = gate.as_cell().unwrap();

326+ let (_sample, context) = payload.as_cell().unwrap();

327+

328+ eval_gate(ctx, cell(battery, cell(sample, context)))

329+}

nock/src/jets.rs+13−1

@@ -7,7 +7,7 @@ use std::{

7};

9use crate::{

10− interpreter::InterpreterContext,

10+ interpreter::{call_gate, InterpreterContext},

11 noun::{self, cell, Atom, Noun},

12};

@@ -38,6 +38,7 @@ pub fn generate_jets() -> Jets {

38 (224124632134128248273067864092142254001, INTO),

39 (22365719601138689598430859488399820563, JOIN),

40 (211253539934007667533839299235896640130, LENT),

41+ (104838119266193725126177792605193739824, LEVY),

41 ])

42 ])

42}

43}

@@ -287,3 +288,14 @@ static JOIN: Jet = |_ctx, n| {

287};

288};

288

289

289static LENT: Jet = |_ctx, n| Rc::new(Noun::from_u32(n.list_iter().fold(0u32, |l, _| l + 1)));

290static LENT: Jet = |_ctx, n| Rc::new(Noun::from_u32(n.list_iter().fold(0u32, |l, _| l + 1)));

291+

292+static LEVY: Jet = |ctx, n| {

293+ let (a, b) = n.as_cell().unwrap();

294+ if a.list_iter()

295+ .all(|n| call_gate(ctx, b.clone(), n) == ctx.nouns.y)

296+ {

297+ ctx.nouns.y.clone()

298+ } else {

299+ ctx.nouns.n.clone()

300+ }

301+};