docs/reference/library/4c.udon · urbit.org

git.iko.soy/urbit.org

on c19bc7a help sign in

urbit.org/docs/reference/library/4c.udon

367 lines 7.5 kB history raw

1:- :~ navhome/'/docs/'

2 sort/'30'

3 title/'4c: Tank Printer'

4 ==

6;>

8# 4c: tank printer

10### `++re`

12Pretty-printing engine

14Pretty-printing engine that accepts a `++tank` sample and contains arms that perform computation on it.

16#### Accepts

18`tac` is a `++tank`.

20#### Produces

22```

23 ++ re

24 |_ tac/tank

25```

27#### Examples

29```

30 > ~(. re leaf+"ham")

31 <2.gdc {tac/{$leaf ""} <402.arm 110.jyx 1.ztu $151>}>

32```

34---

35### `++ram`

37Flatten to tape

39Flatten `++tank` out into a `++tape`.

41#### Accepts

43`tac` is a `++tank`, taken from sample of `++re` core.

45#### Produces

47A `++tape`.

49#### Source

51```

52 ++ ram

53 ^- tape

54 ?- -.tac

55 $leaf p.tac

56 $palm ram(tac [%rose [p.p.tac (weld q.p.tac r.p.tac) s.p.tac] q.tac])

57 $rose

58 %+ weld

59 q.p.tac

60 |- ^- tape

61 ?~ q.tac

62 r.p.tac

63 =+ voz=$(q.tac t.q.tac)

64 (weld ram(tac i.q.tac) ?~(t.q.tac voz (weld p.p.tac voz)))

65 ==

66 ::

67```

69#### Examples

71```

72 > ~(ram re leaf+"foo")

73 "foo"

74 > ~(ram re rose+["." "(" ")"]^~[leaf+"bar" leaf+"baz" leaf+"bam"])

75 "(bar.baz.bam)"

76```

77---

78### `++win`

80Render at indent

82Render at indent level `tab` and width `edg`.

84#### Accepts

86`tac` is a `++tank`, taken from sample of `++re` core.

88`tab` and `edg` are atoms.

90#### Produces

92A `++wall` (`++list` of `++tapes`).

94#### Source

96```

97 ++ win

98 |= {tab/@ edg/@}

99 =+ lug=`wall`~

100 |^ |- ^- wall

101 ?- -.tac

102 $leaf (rig p.tac)

103 $palm

104 ?: fit

105 (rig ram)

106 ?~ q.tac

107 (rig q.p.tac)

108 ?~ t.q.tac

109 (rig(tab (add 2 tab), lug $(tac i.q.tac)) q.p.tac)

110 => .(q.tac `(list tank)`q.tac)

111 =+ lyn=(mul 2 (lent q.tac))

112 =+ ^= qyr

113 |- ^- wall

114 ?~ q.tac

115 lug

116 %= ^$

117 tac i.q.tac

118 tab (add tab (sub lyn 2))

119 lug $(q.tac t.q.tac, lyn (sub lyn 2))

120 ==

121 (wig(lug qyr) q.p.tac)

122 ::

123```

124

125#### Examples

126

127```

128 > (~(win re leaf+"samoltekon-lapdok") 0 20)

129 <<"samoltekon-lapdok">>

130

131 > (~(win re leaf+"samoltekon-lapdok") 0 10)

132 <<"\/samolt\/" " ekon-l" " apdok" "\/ \/">>

133

134 > (~(win re rose+["--" "[" "]"]^~[leaf+"1423" leaf+"2316"]) 0 20)

135 <<"[1423--2316]">>

136

137 > (~(win re rose+["--" "[" "]"]^~[leaf+"1423" leaf+"2316"]) 0 10)

138 <<"[ 1423" " 2316" "]">>

139```

140

141---

142### `++din`

144XX document

146#### Accepts

148#### Produces

150#### Source

152 ++ din (mod (add 2 tab) (mul 2 (div edg 3)))

155---

157### `++fit`

159Fit on one line test

160

161Determine whether `tac` fits on one line. Internal to `++win`

163#### Accepts

165#### Produces

167#### Source

169++ fit (lte (lent ram) (sub edg tab))

172#### Examples

177---

179### `++rig`

181Wrap in `\/`

183Wrap `++tape` in `\/` if it doesn't fit at current indentation. Internal to

184`++win`

185

186#### Accepts

187

188`tac` is a `++tank`, taken from sample of `++re` core.

189

190`hom` is a `++tape`.

191

192#### Produces

193

194A `++wall` (list of `++tape`s).

195

196#### Source

197

198```

199 ++ rig

200 |= hom/tape

201 ^- wall

202 ?: & ::(lte (lent hom) (sub edg tab))

203 [(runt [tab ' '] hom) lug]

204 => .(tab (add tab 2), edg (sub edg 2))

205 =+ mut=(trim (sub edg tab) hom)

206 :- (runt [(sub tab 2) ' '] ['\\' '/' (weld p.mut `_hom`['\\' '/' ~])])

207 => .(hom q.mut)

208 |-

209 ?~ hom

210 :- %+ runt

211 [(sub tab 2) ' ']

212 ['\\' '/' (runt [(sub edg tab) ' '] ['\\' '/' ~])]

213 lug

214 => .(mut (trim (sub edg tab) hom))

215 [(runt [tab ' '] p.mut) $(hom q.mut)]

216 ::

217```

218

219#### Examples

220

221---

222### `++wig`

223

224`++win` render tape

225

226Render `++tape`. Internal to `++win`.

227

228#### Accepts

229

230`tac` is a `++tank`, taken from sample of `++re` core.

231

232`hom` is a `++tape`.

233

234#### Produces

235

236```

237 ++ wig

238 |= hom/tape

239 ^- wall

240 ?~ lug

241 (rig hom)

242 =+ lin=(lent hom)

243 =+ wug=:(add 1 tab lin)

244 ?. =+ mir=i.lug

245 |- ?~ mir

246 |

247 ?|(=(0 wug) ?&(=(' ' i.mir) $(mir t.mir, wug (dec wug))))

248 (rig hom) :: ^ XX regular form?

249 [(runt [tab ' '] (weld hom `tape`[' ' (slag wug i.lug)])) t.lug]

250 --

251 --

252```

253

254

255

256---

257### `++show`

258

259```

260 ++ show :: XX deprecated, use span

261 |= vem/*

262 |^ ^- tank

263 ?: ?=(@ vem)

264 [%leaf (mesc (trip vem))]

265 ?- vem

266 {s/$~ c/*}

267 [%leaf '\'' (weld (mesc (tape +.vem)) `tape`['\'' ~])]

268 ::

269 {s/$a c/@} [%leaf (mesc (trip c.vem))]

270 {s/$b c/*} (shop c.vem |=(a/@ ~(rub at a)))

271 {s/{$c p/@} c/*}

272 :+ %palm

273 [['.' ~] ['-' ~] ~ ~]

274 [[%leaf (mesc (trip p.s.vem))] $(vem c.vem) ~]

275 ::

276 {s/$d c/*} (shop c.vem |=(a/@ ~(rud at a)))

277 {s/$k c/*} (tank c.vem)

278 {s/$h c/*}

279 :+ %rose

280 [['/' ~] ['/' ~] ~]

281 =+ yol=((list @ta) c.vem)

282 (turn yol |=(a/@ta [%leaf (trip a)]))

283 ::

284 {s/$l c/*} (shol c.vem)

285 {s/$o c/*}

286 %= $

287 vem

288 :- [%m '%h:<[%d %d].[%d %d]>']

289 [-.c.vem +<-.c.vem +<+.c.vem +>-.c.vem +>+.c.vem ~]

290 ==

291 ::

292 {s/$p c/*} (shop c.vem |=(a/@ ~(rup at a)))

293 {s/$q c/*} (shop c.vem |=(a/@ ~(r at a)))

294 {s/$r c/*} $(vem [[%r ' ' '{' '}'] c.vem])

295 {s/$t c/*} (shop c.vem |=(a/@ ~(rt at a)))

296 {s/$v c/*} (shop c.vem |=(a/@ ~(ruv at a)))

297 {s/$x c/*} (shop c.vem |=(a/@ ~(rux at a)))

298 {s/{$m p/@} c/*} (shep p.s.vem c.vem)

299 {s/{$r p/@} c/*}

300 $(vem [[%r ' ' (cut 3 [0 1] p.s.vem) (cut 3 [1 1] p.s.vem)] c.vem])

301 ::

302 {s/{$r p/@ q/@ r/@} c/*}

303 :+ %rose

304 :* p=(mesc (trip p.s.vem))

305 q=(mesc (trip q.s.vem))

306 r=(mesc (trip r.s.vem))

307 ==

308 |- ^- (list tank)

309 ?@ c.vem

310 ~

311 [^$(vem -.c.vem) $(c.vem +.c.vem)]

312 ::

313 {s/$z c/*} $(vem [[%r %$ %$ %$] c.vem])

314 * !!

315 ==

316```

317

318XX document

319

320### `++shep`

321

322```

323 ++ shep

324 |= {fom/@ gar/*}

325 ^- tank

326 =+ l=(met 3 fom)

327 =+ i=0

328 :- %leaf

329 |- ^- tape

330 ?: (gte i l)

331 ~

332 =+ c=(cut 3 [i 1] fom)

333 ?. =(37 c)

334 (weld (mesc [c ~]) $(i +(i)))

335 =+ d=(cut 3 [+(i) 1] fom)

336 ?. .?(gar)

337 ['\\' '#' $(i (add 2 i))]

338 (weld ~(ram re (show d -.gar)) $(i (add 2 i), gar +.gar))

339 ::

340```

341

342XX document

343

344### `++shop`

345

346```

347 ++ shop

348 |= {aug/* vel/$-(a/@ tape)}

349 ^- tank

350 ?: ?=(@ aug)

351 [%leaf (vel aug)]

352 :+ %rose

353 [[' ' ~] ['[' ~] [']' ~]]

354 => .(aug `*`aug)

355 |- ^- (list tank)

356 ?: ?=(@ aug)

357 [^$ ~]

358 [^$(aug -.aug) $(aug +.aug)]

359 ::

360```

363XX document

367***