links: wing.md
commitfa99cfe8e0e357235cf7dec40a0173871df5596c
authordrbeefsupreme <drbeefsupreme@discordja.net>
dateFri 19 Feb 2021, 13:54 (6 years ago)
parent7a18170
hoon/hoon-school/bank-account.md+1−1
@@ -75,6 +75,6 @@ Each of these arms produces a gate which takes an `@ud` argument. Each of these
7575+>.$(balance (add balance amount))
7676```
7777
78−`+>` is [wing syntax](@/docs/reference/hoon-expressions/limb/wing.md). This particular wing construction looks for the tail of the tail (the third element) in `$`, the subject of the gate we are in. The `withdraw` and `deposit` arms create gates with the entire `new-account` door as the context in their cores' `[battery sample context]`, in the "tail of the tail" slot. We change `balance` to be the result of adding `balance` and `amount` and produce the door as the result. `withdraw` functions the same way only doing subtraction instead of addition.
78+`+>` is [wing syntax](@/docs/hoon/reference/limbs/wing.md). This particular wing construction looks for the tail of the tail (the third element) in `$`, the subject of the gate we are in. The `withdraw` and `deposit` arms create gates with the entire `new-account` door as the context in their cores' `[battery sample context]`, in the "tail of the tail" slot. We change `balance` to be the result of adding `balance` and `amount` and produce the door as the result. `withdraw` functions the same way only doing subtraction instead of addition.
7979
8080It's important to notice that the sample, `balance`, is stored as part of the door rather than existing outside of it.
hoon/hoon-school/hoon-syntax.md+1−1
@@ -111,7 +111,7 @@ You can also put complex expressions inside square brackets to make a cell. Thes
111111
112112### Wings
113113
114−A wing expression is a series of limb expressions separated by `.`. A deeper explanation can be found on the [wing](@/docs/reference/hoon-expressions/limb/wing.md) and [limb](@/docs/hoon/reference/limbs/limb.md) reference pages.
114+A wing expression is a series of limb expressions separated by `.`. A deeper explanation can be found on the [wing](@/docs/hoon/reference/limbs/wing.md) and [limb](@/docs/hoon/reference/limbs/limb.md) reference pages.
115115
116116Let’s start with the base case: a single limb. A limb expression is a trivial wing expression -- there is only one limb in the series. Some one-limb wings:
117117
hoon/hoon-school/workbook/traffic-light.md+1−1
@@ -98,7 +98,7 @@ We first produce a core with one arm named `$`. That `$` arm will produce a new
9898core with `current-state` changed to match the `s` provided when it was called.
9999How does this work?
100100
101−Remember that `.` is [wing syntax](@/docs/reference/hoon-expressions/limb/wing.md) that
101+Remember that `.` is [wing syntax](@/docs/hoon/reference/limbs/wing.md) that
102102applies the wing expression on the left of it to the noun to the right of it.
103103`$` is the arm of the core. Then by using the wing expression `+>`, which means
104104"return the tail of the tail", we traverse the subject to the core to latch onto
hoon/reference/irregular.md+1−1
@@ -241,7 +241,7 @@ See [%sand](@/docs/reference/hoon-expressions/rune/constants.md#warm) for other
241241
242242### Wings
243243
244−[docs](content/docs/reference/hoon-expressions/limb/wing.md)
244+[docs](content/docs/hoon/reference/limbs/wing.md)
245245`[%wing p=(list limb)]`; a limb search path.
246246`a.b` finds limb `a` within limb `b` ("var" `a` within "var" `b`).
247247
hoon/reference/limbs/_index.md+1−1
@@ -13,6 +13,6 @@ the **subject**, a noun like any other.
1313
1414A limb is used to resolve to a piece of data in the subject. A wing is thus a resolution path into the subject.
1515
16−## [Wings](@/docs/reference/hoon-expressions/limb/wing.md)
16+## [Wings](@/docs/hoon/reference/limbs/wing.md)
1717
1818In Hoon we use 'wings' to extract information from the subject. A wing is a list of limbs (including a trivial list of one limb).