fa99cfe · urbit.org · git.iko.soy

hoon/hoon-school/bank-account.md+1−1

compare with master

unifiedsplit

@@ -75,6 +75,6 @@ Each of these arms produces a gate which takes an `@ud` argument. Each of these

75+>.$(balance (add balance amount))

76```

77

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.

79

80It'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

111

112### Wings

113

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.

115

116Let’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:

117

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

98core with `current-state` changed to match the `s` provided when it was called.

99How does this work?

100

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

102applies the wing expression on the left of it to the noun to the right of it.

103`$` is the arm of the core. Then by using the wing expression `+>`, which means

104"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

241

242### Wings

243

244−[docs](content/docs/reference/hoon-expressions/limb/wing.md)

244+[docs](content/docs/hoon/reference/limbs/wing.md)

245`[%wing p=(list limb)]`; a limb search path.

246`a.b` finds limb `a` within limb `b` ("var" `a` within "var" `b`).

247

hoon/reference/limbs/_index.md+1−1

@@ -13,6 +13,6 @@ the **subject**, a noun like any other.

13

14A limb is used to resolve to a piece of data in the subject. A wing is thus a resolution path into the subject.

15

16−## [Wings](@/docs/reference/hoon-expressions/limb/wing.md)

16+## [Wings](@/docs/hoon/reference/limbs/wing.md)

17

18In Hoon we use 'wings' to extract information from the subject. A wing is a list of limbs (including a trivial list of one limb).