hoon: add +turn

2024-11-23 00:25:49 +03:00 · 2023-09-04 15:44:11 -06:00 · 2023-09-04 15:44:11 -06:00 · c6d5a2656d
commit c6d5a2656d
parent 2833fe1878
1 changed files with 9 additions and 0 deletions
--- a/hoon/scaffolding/playpen.hoon
+++ b/hoon/scaffolding/playpen.hoon
@ -247,6 +247,15 @@
  ?:  =(0 a)  i.b
  $(b t.b, a (dec a))
 ::
++  turn                                                ::  transform
+  ~/  %turn
+  |*  [a=(list) b=gate]
+  =>  .(a (homo a))
+  ^-  (list _?>(?=(^ a) (b i.a)))
+  |-
+  ?~  a  ~
+  [i=(b i.a) t=$(a t.a)]
+::
 ++  weld                                                ::  concatenate
  ~/  %weld
  |*  [a=(list) b=(list)]