^- ket·hep
Syntax | Summary |
---|---|
^- type hoon | Cast some value to a specified type. |
`type`hoon |
^- returns some hoon code or value, expressed in an explicitly declared type, if possible.
Often, ^- will be the first rune at the start of a Hoon block, telling the compiler,
“Whatever is produced by the rest of the code should be returned as this specified type.
Explanation
^- takes two children:
The first child is an explicit type definition. This can be a simple aura or any complex type.
The second child is some hoon.
The hoon may be either a static value, or some code which will produce a value.
Documentation on urbit.org