hoon: add +mole

zorp-corp · Sep 5, 2023 · fd95ade · fd95ade
1 parent 8baf4dd
commit fd95ade
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/hoon/scaffolding/playpen.hoon b/hoon/scaffolding/playpen.hoon
@@ -857,6 +857,14 @@
     ==
   --
 ::
+++  mole                                                ::  typed unitary virtual
+  ::  XX: needs real jet dashboard to jet
+  ~/  %mole
+  |*  tap=(trap)
+  ^-  (unit _$:tap)
+  =/  mur  (mure tap)
+  ?~(mur ~ `$:tap)
+::
 ++  mure                                                ::  untyped unitary virtual
   |=  tap=(trap)
   ^-  (unit)