From 02944af66965eb582da09873370af2b7248c4a38 Mon Sep 17 00:00:00 2001 From: Liam Fitzgerald Date: Thu, 1 Dec 2022 15:47:04 +1000 Subject: [PATCH] hoon: add +lure, for turning a singleton into a list --- pkg/arvo/sys/hoon.hoon | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/pkg/arvo/sys/hoon.hoon b/pkg/arvo/sys/hoon.hoon index c165f6322..1d3f5b12b 100644 --- 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)]