hoon: replace barhax with barbus

This commit is contained in:
David Kerschner 2019-09-10 17:54:35 -07:00
parent 5762140ebb
commit 60c6d4fed1
5 changed files with 26 additions and 26 deletions

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:537126b7bb7cd6e242df5e9899751a7ec8fcb882b43329d62865dd638e5fc7f4
size 12123221
oid sha256:f708ba3cc81f6c75b48c4c117dfc1ee7707ce375b9082dc5fc46929e4cebe3c8
size 12200342

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:ad7c63b683fed4c183cabe0bb9d02feebc85d0cfcbddc99d9e7855b900f8a8dc
size 7137529
oid sha256:73f5e28d71e37d0e5fdb92d748f11a615aa725244de5b12934737eac947217ce
size 7217572

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:ef4789c9af9dec68979b39562e034947d78214e5f385572151a05cd257fb8205
size 14782712
oid sha256:2b9b953a1f128a2528291c63ebd18503a8bc38e886e2b46aaec4786e9e419449
size 14865271

View File

@ -274,7 +274,7 @@
@
::
++ each
|# [this that]
|$ [this that]
:: either {a} or {b}, defaulting to {a}.
::
:: mold generator: produces a discriminated fork between two types,
@ -293,7 +293,7 @@
$-(* *)
::
++ list
|# [item]
|$ [item]
:: null-terminated list
::
:: mold generator: produces a mold of a null-terminated list of the
@ -302,7 +302,7 @@
$@(~ [i=item t=(list item)])
::
++ lone
|# [item]
|$ [item]
:: single item tuple
::
:: mold generator: puts the face of `p` on the passed in mold.
@ -310,7 +310,7 @@
p=item
::
++ lest
|# [item]
|$ [item]
:: null-terminated non-empty list
::
:: mold generator: produces a mold of a null-terminated list of the
@ -327,7 +327,7 @@
$~(* $-(* *))
::
++ pair
|# [head tail]
|$ [head tail]
:: dual tuple
::
:: mold generator: produces a tuple of the two types passed in.
@ -338,7 +338,7 @@
[p=head q=tail]
::
++ pole
|# [item]
|$ [item]
:: faceless list
::
:: like ++list, but without the faces {i} and {t}.
@ -346,7 +346,7 @@
$@(~ [item (pole item)])
::
++ qual
|# [first second third fourth]
|$ [first second third fourth]
:: quadruple tuple
::
:: mold generator: produces a tuple of the four types passed in.
@ -354,7 +354,7 @@
[p=first q=second r=third s=fourth]
::
++ quip
|# [item state]
|$ [item state]
:: pair of list of first and second
::
:: a common pattern in hoon code is to return a ++list of changes, along with
@ -366,13 +366,13 @@
[(list item) state]
::
++ trap
|# [product]
|$ [product]
:: a core with one arm `$`
::
_|?($:product)
::
++ tree
|# [node]
|$ [node]
:: tree mold generator
::
:: a `++tree` can be empty, or contain a node of a type and
@ -381,7 +381,7 @@
$@(~ [n=node l=(tree node) r=(tree node)])
::
++ trel
|# [first second third]
|$ [first second third]
:: triple tuple
::
:: mold generator: produces a tuple of the three types passed in.
@ -389,7 +389,7 @@
[p=first q=second r=third]
::
++ unit
|# [item]
|$ [item]
:: maybe
::
:: mold generator: either `~` or `[~ u=a]` where `a` is the
@ -1827,21 +1827,21 @@
:::: 2o: containers ::
:: ::
::
++ jar |# [key value] (map key (list value)) :: map of lists
++ jug |# [key value] (map key (set value)) :: map of sets
++ jar |$ [key value] (map key (list value)) :: map of lists
++ jug |$ [key value] (map key (set value)) :: map of sets
::
++ map
|# [key value] :: table
|$ [key value] :: table
$| (tree (pair key value))
|=(a=(tree (pair)) ~(apt by a))
::
++ qeu
|# [item] :: queue
|$ [item] :: queue
$| (tree item)
|=(a=(tree) ~(apt to a))
::
++ set
|# [item] :: set
|$ [item] :: set
$| (tree item)
|=(a=(tree) ~(apt in a))
::
@ -11942,8 +11942,8 @@
::
+| %helpers
::
++ batt-of |# [arm] (map term (pair what (map term arm)))
++ chap-of |# [arm] [doc=what arms=(map term arm)]
++ batt-of |$ [arm] (map term (pair what (map term arm)))
++ chap-of |$ [arm] [doc=what arms=(map term arm)]
::
:: Traverse over a chapter in a battery.
::

View File

@ -6,7 +6,7 @@
+| %generics
:: $mk-item: constructor for +ordered-map item type
::
++ mk-item |# [key val] [key=key val=val]
++ mk-item |$ [key val] [key=key val=val]
:: +ordered-map: treap with user-specified horizontal order
::
:: Conceptually smaller items go on the left, so the item with the