hoon: add +lure, for turning a singleton into a list

2024-09-19 14:37:18 +03:00 · 2022-12-01 15:47:04 +10:00 · 2022-12-01 15:47:04 +10:00 · 02944af669
commit 02944af669
parent c23fec3e70
1 changed files with 5 additions and 0 deletions
--- a/pkg/arvo/sys/hoon.hoon
+++ b/pkg/arvo/sys/hoon.hoon
@ -531,6 +531,11 @@
  |*  [a=(list) b=*]
  (weld a ^+(a [b]~))
 ::
+::  +lure: List pURE
++  lure
+  |*  a=*
+  [i=a t=~]
+::
 ++  fand                                                ::  all indices
  ~/  %fand
  |=  [nedl=(list) hstk=(list)]