git.iko.soy/urbit.org
on master help sign in
remove references to factories (#848)
65c4896poprox
reference/hoon-expressions/rune/buc.md+3−3
compare with master
unifiedsplit
@@ -7,9 +7,9 @@ aliases = ["docs/reference/hoon-expressions/rune/buc/"]
7The `$` family of runes is used for defining custom types. Strictly speaking,
7The `$` family of runes is used for defining custom types. Strictly speaking,
8these runes are used to produce 'structures'. A structure is a compile-time
8these runes are used to produce 'structures'. A structure is a compile-time
9value that at runtime can be converted to either an example value (sometimes
9value that at runtime can be converted to either an example value (sometimes
10−called a 'bunt' value) for its corresponding type, or to a 'factory' (sometimes
10+called a 'bunt' value) for its corresponding type, or to a 'mold'. An example
11−called a 'mold'). An example value is used as a placeholder for sample values,
11+value is used as a placeholder for sample values, among other things. A
12−among other things. A factory/mold is used as a data validator.
12+mold is an idempotent function used as a data validator.
13
13
14## Overview
14## Overview
15
15
reference/hoon-expressions/rune/ket.md+3−3
@@ -51,7 +51,7 @@ The prettyprinter shows the core metal (`.` gold, `|` iron):
51
51
52### ^: "ketcol"
52### ^: "ketcol"
53
53
54−`[%ktcl p=spec]`: 'factory' gate for type `p`.
54+`[%ktcl p=spec]`: mold gate for type `p`.
55
55
56##### Produces
56##### Produces
57
57
@@ -63,7 +63,7 @@ Regular: **1-fixed**.
63
63
64##### Discussion
64##### Discussion
65
65
66−In older versions of Hoon, a 'mold' was an idempotent gate that was guaranteed to produce a noun of that type. If an input value wasn't of the correct type, the bunt value of that type was returned. (See `^*`.)
66+A mold is an idempotent gate that is guaranteed to produce a noun of that type. If an input value isn't of the correct type, the bunt value of that type is returned. (See `^*`.)
67
67
68`^:` is used to produce a gate that is much like a mold, except that instead of producing a bunt value when the input value is of the wrong type, it crashes.
68`^:` is used to produce a gate that is much like a mold, except that instead of producing a bunt value when the input value is of the wrong type, it crashes.
69
69
@@ -384,4 +384,4 @@ The prettyprinter shows the core metal (`.` gold, `?` lead):
384
384
385~zod:dojo> ^?(|=(@ 1))
385~zod:dojo> ^?(|=(@ 1))
386<1?gcq [@ @n <250.yur 41.wda 374.hzt 100.kzl 1.ypj %151>]>
386<1?gcq [@ @n <250.yur 41.wda 374.hzt 100.kzl 1.ypj %151>]>
387−```
387+```