git.iko.soy/wock
on master help sign in
skim
6329efciko
nock/src/jets.rs+13
compare with master
unifiedsplit
@@ -47,6 +47,7 @@ pub fn generate_jets() -> Jets {
47 (218516926094890651045754335042357820192, ROLL),
47 (218516926094890651045754335042357820192, ROLL),
48 (89970054366691388746503743197917964564, SCAG),
48 (89970054366691388746503743197917964564, SCAG),
49 (68845187332605602565057027619381114427, SKID),
49 (68845187332605602565057027619381114427, SKID),
50+ (51010231444191054729255601633316498529, SKIM),
50 ])
51 ])
51}
52}
52
53
@@ -381,3 +382,15 @@ static SKID: Jet = |ctx, n| {
381 Noun::list_refs(ns.iter().cloned()),
382 Noun::list_refs(ns.iter().cloned()),
382 )
383 )
383};
384};
385+
386+static SKIM: Jet = |ctx, n| {
387+ let (list, gate) = n.as_cell().unwrap();
388+
389+ Noun::list_refs(
390+ list.list_iter()
391+ .filter(|n| slam(ctx, gate.clone(), n.clone()).is_y())
392+ .collect::<Vec<_>>()
393+ .iter()
394+ .cloned(),
395+ )
396+};