content/docs/hoon/reference/stdlib/4k.md · urbit.org

git.iko.soy/urbit.org

on b00decd help sign in

urbit.org/content/docs/hoon/reference/stdlib/4k.md

276 lines 6.4 kB history raw

1+++

2title = "4k: Atom Printing"

3weight = 38

4template = "doc.html"

5+++

7### `++co`

9Literal rendering engine

11A door that contains arms that operate on the sample coin `lot`.

13#### Accepts

15#### Produces

17`lot` is a `++coin`.

19#### Source

21```hoon

22 ++ co !.

23 ~% %co ..co ~

24 =< |_ lot/coin

25```

27#### Examples

29```

30 > < 3.nta

31 { lot/{$many {$~ $ta @t} {$~ $ud @ud} $~}

32 <10.cfg 4.jjn {rep/"" <402.arm 110.jyx 1.ztu $151>}>

33 }

34 >

35```

37------------------------------------------------------------------------

39### `++rear:co`

41Prepend & render as tape

43Renders a coin `lot` as a tape prepended to the sample tape `rom`.

45#### Accepts

47#### Produces

49`rom` is a `pe`

51`lot` is a `++coin`.

53#### Source

55```hoon

56 ++ rear |=(rom/tape =>(.(rex rom) rend))

57```

59#### Examples

61```

62 > (~(rear co %$ %ux 200) "--ha")

63 "0xc8--ha"

64```

66------------------------------------------------------------------------

68### `++rent:co`

70Render as span

72Renders a coin `lot` as a span.

74#### Accepts

76#### Produces

78`lot` is a `++coin`.

80#### Source

82```hoon

83 ++ rent `@ta`(rap 3 rend)

84```

86#### Examples

88```

89 > ~(rent co %$ %ux 200)

90 ~.0xc8

92 > `@t`~(rent co %$ %ux 200)

93 '0xc8'

94```

95------------------------------------------------------------------------

97### `++rend:co`

99Render as tape

100

101Renders a coin `lot` as a tape.

102

103#### Accepts

104

105#### Produces

106

107`lot` is a `++coin`.

108

109#### Source

110

111```hoon

112 ++ rend

113 ^- tape

114 ?: ?=($blob -.lot)

115 ['~' '0' ((v-co 1) (jam p.lot))]

116 ?: ?=($many -.lot)

117 :- '.'

118 |- ^- tape

119 ?~ p.lot

120 ['_' '_' rep]

121 ['_' (weld (trip (wack rent(lot i.p.lot))) $(p.lot t.p.lot))]

122 =+ [yed=(end 3 1 p.p.lot) hay=(cut 3 [1 1] p.p.lot)]

123 |- ^- tape

124 ?+ yed (z-co q.p.lot)

125 $c ['~' '-' (weld (rip 3 (wood (tuft q.p.lot))) rep)]

126 $d

127 ?+ hay (z-co q.p.lot)

128 $a

129 =+ yod=(yore q.p.lot)

130 => ^+(. .(rep ?~(f.t.yod rep ['.' (s-co f.t.yod)])))

131 => ^+ .

132 %= .

133 rep

134 ?: &(=(~ f.t.yod) =(0 h.t.yod) =(0 m.t.yod) =(0 s.t.yod))

135 rep

136 => .(rep ['.' (y-co s.t.yod)])

137 => .(rep ['.' (y-co m.t.yod)])

138 ['.' '.' (y-co h.t.yod)]

139 ==

140 => .(rep ['.' (a-co d.t.yod)])

141 => .(rep ['.' (a-co m.yod)])

142 => .(rep ?:(a.yod rep ['-' rep]))

143 ['~' (a-co y.yod)]

144 ::

145 $r

146 =+ yug=(yell q.p.lot)

147 => ^+(. .(rep ?~(f.yug rep ['.' (s-co f.yug)])))

148 :- '~'

149 ?: &(=(0 d.yug) =(0 m.yug) =(0 h.yug) =(0 s.yug))

150 ['s' '0' rep]

151 => ^+(. ?:(=(0 s.yug) . .(rep ['.' 's' (a-co s.yug)])))

152 => ^+(. ?:(=(0 m.yug) . .(rep ['.' 'm' (a-co m.yug)])))

153 => ^+(. ?:(=(0 h.yug) . .(rep ['.' 'h' (a-co h.yug)])))

154 => ^+(. ?:(=(0 d.yug) . .(rep ['.' 'd' (a-co d.yug)])))

155 +.rep

156 ==

157 ::

158 $f

159 ?: =(& q.p.lot)

160 ['.' 'y' rep]

161 ?:(=(| q.p.lot) ['.' 'n' rep] (z-co q.p.lot))

162 ::

163 $n ['~' rep]

164 $i

165 ?+ hay (z-co q.p.lot)

166 $f ((ro-co [3 10 4] |=(a/@ ~(d ne a))) q.p.lot)

167 $s ((ro-co [4 16 8] |=(a/@ ~(x ne a))) q.p.lot)

168 ==

169 ::

170 $p

171 =+ dyx=(met 3 q.p.lot)

172 :- '~'

173 ?: (lte dyx 1)

174 (weld (trip (tod:po q.p.lot)) rep)

175 ?: =(2 dyx)

176 ;: weld

177 (trip (tos:po (end 3 1 q.p.lot)))

178 (trip (tod:po (rsh 3 1 q.p.lot)))

179 rep

180 ==

181 =+ [dyz=(met 5 q.p.lot) fin=| dub=&]

182 |- ^- tape

183 ?: =(0 dyz)

184 rep

185 %= $

186 fin &

187 dub !dub

188 dyz (dec dyz)

189 q.p.lot (rsh 5 1 q.p.lot)

190 rep

191 =+ syb=(wren:un (end 5 1 q.p.lot))

192 =+ cog=~(zig mu [(rsh 4 1 syb) (end 4 1 syb)])

193 ;: weld

194 (trip (tos:po (end 3 1 p.cog)))

195 (trip (tod:po (rsh 3 1 p.cog)))

196 `tape`['-' ~]

197 (trip (tos:po (end 3 1 q.cog)))

198 (trip (tod:po (rsh 3 1 q.cog)))

199 `tape`?.(fin ~ ['-' ?.(dub ~ ['-' ~])])

200 rep

201 ==

202 ==

203 ::

204 $r

205 ?+ hay (z-co q.p.lot)

206 $d ['.' '~' (r-co (rlyd q.p.lot))]

207 $h ['.' '~' '~' (r-co (rlyh q.p.lot))]

208 $q ['.' '~' '~' '~' (r-co (rlyq q.p.lot))]

209 $s ['.' (r-co (rlys q.p.lot))]

210 ==

211 ::

212 $u

213 ?: ?=($c hay)

214 %+ welp ['0' 'c' (reap (pad:fa q.p.lot) '1')]

215 (c-co (enc:fa q.p.lot))

216 =- (weld p.gam ?:(=(0 q.p.lot) `tape`['0' ~] q.gam))

217 ^= gam ^- {p/tape q/tape}

218 ?+ hay [~ ((ox-co [10 3] |=(a/@ ~(d ne a))) q.p.lot)]

219 $b [['0' 'b' ~] ((ox-co [2 4] |=(a/@ ~(d ne a))) q.p.lot)]

220 $i [['0' 'i' ~] ((d-co 1) q.p.lot)]

221 $x [['0' 'x' ~] ((ox-co [16 4] |=(a/@ ~(x ne a))) q.p.lot)]

222 $v [['0' 'v' ~] ((ox-co [32 5] |=(a/@ ~(x ne a))) q.p.lot)]

223 $w [['0' 'w' ~] ((ox-co [64 5] |=(a/@ ~(w ne a))) q.p.lot)]

224 ==

225 ::

226 $s

227 %+ weld

228 ?:((syn:si q.p.lot) "--" "-")

229 $(yed 'u', q.p.lot (abs:si q.p.lot))

230 ::

231 $t

232 ?: =('a' hay)

233 ?: =('s' (cut 3 [2 1] p.p.lot))

234 (weld (rip 3 q.p.lot) rep)

235 ['~' '.' (weld (rip 3 q.p.lot) rep)]

236 ['~' '~' (weld (rip 3 (wood q.p.lot)) rep)]

237 ==

238 --

239```

240

241#### Examples

242

243```

244 > ~(rend co %$ %ux 200)

245 "0xc8"

246

247 > ~(rend co %many ~[[%$ ux+200] [%$ p+40]])

248 "._0xc8_~~tem__"

249

250 > ~(rend co %$ %p 32.819)

251 "~pillyt"

252

253 > ~(rend co %$ %ux 18)

254 "0x12"

255

256 > ~(rend co [%$ p=[p=%if q=0x7f00.0001]])

257 ".127.0.0.1"

258

259 > `@ux`.127.0.0.1

260 2.130.706.433

261

262 > ~(rend co %many ~[[%$ %ud 20] [%$ %uw 133] [%$ %tas 'sam']])

263 "._20_0w25_sam__"

264

265 > ~(rend co %blob [1 1])

266 "~0ph"

267

268 > ~0ph

269 [1 1]

270

271 > `@uv`(jam [1 1])

272 0vph

273```

274

275

276---