on master help sign in
skip
commit1f374dd50d96c3231fd8f675b4f9bca949969ed2 authoriko <mail@iko.soy> dateFri 23 Aug 2024, 16:50 (2 years ago) parent6329efc
1 file changed+13
nock/src/jets.rs+13
nock/src/jets.rs+13
@@ -48,6 +48,7 @@ pub fn generate_jets() -> Jets {
4848 (89970054366691388746503743197917964564, SCAG),
4949 (68845187332605602565057027619381114427, SKID),
5050 (51010231444191054729255601633316498529, SKIM),
51+ (144878877047435484372311285666595397017, SKIP),
5152 ])
5253}
5354
@@ -394,3 +395,15 @@ static SKIM: Jet = |ctx, n| {
394395 .cloned(),
395396 )
396397};
398+
399+static SKIP: Jet = |ctx, n| {
400+ let (list, gate) = n.as_cell().unwrap();
401+
402+ Noun::list_refs(
403+ list.list_iter()
404+ .filter(|n| slam(ctx, gate.clone(), n.clone()).is_n())
405+ .collect::<Vec<_>>()
406+ .iter()
407+ .cloned(),
408+ )
409+};