on master help sign in
Merge pull request #232 from jfranklin9000/master
e9a05e0Fang
docs/hoon/library/4m.md+48−25
@@ -13,10 +13,12 @@ Renders a dime `mol` as a cord.
13Accepts
13Accepts
14-------
14-------
15
15
16+`mol` is a `++dime`.
17+
16Produces
18Produces
17--------
19--------
18
20
19−`mol` is a `++dime`.
21+A `cord`.
20
22
21Source
23Source
22------
24------
@@ -50,15 +52,17 @@ Examples
50
52
51Render dime as tape
53Render dime as tape
52
54
53−Renders `mol` as a tape.
55+Renders a dime `mol` as a tape.
54
56
55Accepts
57Accepts
56-------
58-------
57
59
60+`mol` is a `++dime`.
61+
58Produces
62Produces
59--------
63--------
60
64
61−`mol` is a `++dime`.
65+A `tape`.
62
66
63Source
67Source
64------
68------
@@ -90,12 +94,14 @@ odor specified by `mod`.
90Accepts
94Accepts
91-------
95-------
92
96
97+`mod` is a term, an atom of odor `@tas`.
98+
99+`txt` is a cord, an atom of odor `@ta`.
100+
93Produces
101Produces
94--------
102--------
95
103
96−`mod` is a term, an atom of odor `@tas`.
104+A `gate`.
97−
98−`txt` is a span, an atom of odor `@ta`.
99
105
100Source
106Source
101------
107------
@@ -119,20 +125,22 @@ Examples
119***
125***
120### `++slav`
126### `++slav`
121
127
122−Demand: parse span with input odor
128+Demand: parse cord with input odor
123
129
124−Parses a span `txt` to an atom of the odor specificed by `mod`. Crashes
130+Parses a cord `txt` to an atom of the odor specificed by `mod`.
125−if it failes to parse.
131+Crashes if it fails to parse.
126
132
127Accepts
133Accepts
128-------
134-------
129
135
136+`mod` is a term, an atom of odor `@tas`.
137+
138+`txt` is a cord, an atom of odor `@ta`.
139+
130Produces
140Produces
131--------
141--------
132
142
133−`mod` is a term, an atom of odor `@tas`.
143+The atom of a `(unit @)` from `++slaw`, or crash.
134−
135−`txt` is a span, an atom of odor `@ta`.
136
144
137Source
145Source
138------
146------
@@ -164,19 +172,21 @@ Examples
164***
172***
165### `++slaw`
173### `++slaw`
166
174
167−Parse span to input odor
175+Parse cord to input odor
168
176
169−Parses a span `txt` to an atom of the odor specified by `mod`.
177+Parses a cord `txt` to an atom of the odor specified by `mod`.
170
178
171Accepts
179Accepts
172-------
180-------
173
181
182+`mod` is a term, an atom of odor `@tas`.
183+
184+`txt` is a cord, an atom of odor `@ta`.
185+
174Produces
186Produces
175--------
187--------
176
188
177−`mod` is a term, an atom of odor `@tas`.
189+A `(unit @)`.
178−
179−`txt` is a span, an atom of odor `@ta`.
180
190
181Source
191Source
182------
192------
@@ -214,17 +224,19 @@ Examples
214***
224***
215### `++slay`
225### `++slay`
216
226
217−Parse span to coin
227+Parse cord to coin
218
228
219−Parses a span `txt` to the unit of a `++coin`.
229+Parses a cord `txt` to the unit of a `++coin`.
220
230
221Accepts
231Accepts
222-------
232-------
223
233
234+`txt` is a `@ta`.
235+
224Produces
236Produces
225--------
237--------
226
238
227−`txt` is a `@ta`.
239+A `(unit coin)`.
228
240
229Source
241Source
230------
242------
@@ -282,10 +294,12 @@ pretty-printing.
282Accepts
294Accepts
283-------
295-------
284
296
297+`bon` is a `++path`.
298+
285Produces
299Produces
286--------
300--------
287
301
288−`bon` is a `++path`.
302+A `tank`.
289
303
290Source
304Source
291------
305------
@@ -326,10 +340,12 @@ Renders a path `pax` as cord.
326Accepts
340Accepts
327-------
341-------
328
342
343+`pax` is a `path`.
344+
329Produces
345Produces
330--------
346--------
331
347
332−`pax` is a `path`.
348+A `cord`.
333
349
334Source
350Source
335------
351------
@@ -358,10 +374,12 @@ Renders a path `pax` as tape.
358Accepts
374Accepts
359-------
375-------
360
376
377+`pax` is a `path`.
378+
361Produces
379Produces
362--------
380--------
363
381
364−`pax` is a `path`.
382+A `tape`.
365
383
366Source
384Source
367------
385------
@@ -383,16 +401,21 @@ Examples
383***
401***
384### `++stab`
402### `++stab`
385
403
386−Parse span to path
404+Parse cord to path
387
405
388−Parsing rule. Parses a span `zep` to a static `++path`.
406+Parsing rule. Parses a cord `zep` to a static `++path`.
407+Crashes if it fails to parse.
389
408
390Accepts
409Accepts
391-------
410-------
392
411
412+`zep` is a `@t`.
413+
393Produces
414Produces
394--------
415--------
395
416
417+A `path`, or crash.
418+
396Source
419Source
397------
420------
398
421