ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-09-19 22:48:03 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6117 from urbit/lf/lure

Browse Source 
hoon: add +lure, for turning a singleton into a list
This commit is contained in:
Philip Monk 2023-01-17 15:22:58 -07:00 committed by GitHub
commit d9e5ebe806
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkg/arvo/sys/hoon.hoon
View File

@ -468,6 +468,11 @@
|* [a=(list) b=*] |* [a=(list) b=*]
(weld a ^+(a [b]~)) (weld a ^+(a [b]~))
:: ::
:: +lure: List pURE
++ lure
|* a=*
[i=a t=~]
::
++ fand :: all indices ++ fand :: all indices
~/ %fand ~/ %fand
|= [nedl=(list) hstk=(list)] |= [nedl=(list) hstk=(list)]