Generalize ++hunt and move it to hoon.hoon.

2025-01-04 18:43:46 +03:00 · 2016-12-02 11:30:02 -08:00 · 2016-12-02 11:30:02 -08:00 · 91d4655b2f
commit 91d4655b2f
parent 5f3ee116eb
1 changed files with 7 additions and 0 deletions
--- a/sys/hoon.hoon
+++ b/sys/hoon.hoon
@ -257,6 +257,13 @@
  |*  b/*
  ?.((a b) ~ [~ u=b])
 ::
++  hunt                                                ::  first of units
+  |*  {ord/$-({* *} ?) one/(unit) two/(unit)}
+  ^-  (unit ?(_,.+.one _,.+.two))
+  ?~  one  two
+  ?~  two  one
+  ?:((ord ,.+.one ,.+.two) one two)
+::
 ++  lift                                                ::  lift mold (fmap)
  |*  a/mold                                            ::  flipped
  |*  b/(unit)                                          ::  curried