reference/library/4l.md · urbit.org

git.iko.soy/urbit.org

on b93c19b help sign in

urbit.org/reference/library/4l.md

607 lines 13 kB history raw

1+++

2title = "4l: Atom Parsing"

3weight = 39

4template = "doc.html"

5+++

6### `++so`

8Coin parser engine

10Core containing arms that parse `++coin`.

12#### Accepts

14#### Produces

16#### Source

18```

19 ++ so

20 |%

21```

23#### Examples

25```

26 > so

27 <10.mkn 414.hhh 100.xkc 1.ypj %164>

28```

30------------------------------------------------------------------------

32### `++bisk:so`

34Parse odor-atom pair

36Parsing rule. Parses an unsigned integer of any permitted base,

37producing a `++dime`.

39#### Accepts

41#### Produces

43#### Source

45```

46 ++ bisk

47 ;~ pose

48 ;~ pfix (just '0')

49 ;~ pose

50 (stag %ub ;~(pfix (just 'b') bay:ag))

51 (stag %ui ;~(pfix (just 'i') dim:ag))

52 (stag %ux ;~(pfix (just 'x') hex:ag))

53 (stag %uv ;~(pfix (just 'v') viz:ag))

54 (stag %uw ;~(pfix (just 'w') wiz:ag))

55 ==

56 ==

57 (stag %ud dem:ag)

58 ==

59```

61#### Examples

63```

64 > (scan "25" bisk:so)

65 [%ud q=25]

66 > (scan "0x12.6401" bisk:so)

67 [%ux q=1.205.249]

68```

70------------------------------------------------------------------------

72### `++crub:so`

74Parse `@da`, `@dr`, `@p`, `@t`

76Parsing rule. Parses any atom of any of the following odors after a

77leading sig, `~` into a `++dime`: `@da`, `@dr`, `@p`,

78and `@t`, producing a `++dime`.

80#### Accepts

82#### Produces

84#### Source

86```

87 ++ crub

88 ~+

89 ;~ pose

90 %+ cook

91 |=(det/date `dime`[%da (year det)])

92 ;~ plug

93 %+ cook

94 |=({a/@ b/?} [b a])

95 ;~(plug dim:ag ;~(pose (cold | hep) (easy &)))

96 ;~(pfix dot dim:ag) :: month

97 ;~(pfix dot dim:ag) :: day

98 ;~ pose

99 ;~ pfix

100 ;~(plug dot dot)

101 ;~ plug

102 dum:ag

103 ;~(pfix dot dum:ag)

104 ;~(pfix dot dum:ag)

105 ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))

106 ==

107 ==

108 (easy [0 0 0 ~])

109 ==

110 ==

111 ::

112 %+ cook

113 |= {a/(list {p/?($d $h $m $s) q/@}) b/(list @)}

114 =+ rop=`tarp`[0 0 0 0 b]

115 |- ^- dime

116 ?~ a

117 [%dr (yule rop)]

118 ?- p.i.a

119 $d $(a t.a, d.rop (add q.i.a d.rop))

120 $h $(a t.a, h.rop (add q.i.a h.rop))

121 $m $(a t.a, m.rop (add q.i.a m.rop))

122 $s $(a t.a, s.rop (add q.i.a s.rop))

123 ==

124 ;~ plug

125 %+ most

126 dot

127 ;~ pose

128 ;~(pfix (just 'd') (stag %d dim:ag))

129 ;~(pfix (just 'h') (stag %h dim:ag))

130 ;~(pfix (just 'm') (stag %m dim:ag))

131 ;~(pfix (just 's') (stag %s dim:ag))

132 ==

133 ;~(pose ;~(pfix ;~(plug dot dot) (most dot qix:ab)) (easy ~))

134 ==

135 ::

136 (stag %p fed:ag)

137 ;~(pfix dot (stag %ta urs:ab))

138 ;~(pfix sig (stag %t urx:ab))

139 ;~(pfix hep (stag %c (cook turf urx:ab)))

140 ==

141 ++ nuck

142 ~/ %nuck |= a/nail %. a

143 %+ knee *coin |. ~+

144 %- stew

145 ^. stet ^. limo

146 :~ :- ['a' 'z'] (cook |=(a/@ta [%$ %tas a]) sym)

147 :- ['0' '9'] (stag %$ bisk)

148 :- '-' (stag %$ tash)

149 :- '.' ;~(pfix dot perd)

150 :- '~' ;~(pfix sig ;~(pose twid (easy [%$ %n 0])))

151 ==

152 ++ nusk

153 ~+

154 :(sear |=(a/@ta (rush a nuck)) wick urt:ab)

155 ++ perd

156 ~+

157 ;~ pose

158 (stag %$ zust)

159 (stag %many (ifix [cab ;~(plug cab cab)] (more cab nusk)))

160 ==

161 ++ royl

162 ~+

163 =+ ^= moo

164 |= a/tape

165 :- (lent a)

166 (scan a (bass 10 (plus sid:ab)))

167 =+ ^= voy

168 %+ cook royl-cell

169 ;~ pose

170 ;~ plug

171 (easy %d)

172 ;~ pose (cold | hep) (easy &) ==

173 ;~ plug dim:ag

174 ;~ pose

175 ;~(pfix dot (cook moo (plus (shim '0' '9'))))

176 (easy [0 0])

177 ==

178 ;~ pose

179 ;~ pfix

180 (just 'e')

181 ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)

182 ==

183 (easy [& 0])

184 ==

185 ==

186 ==

187 ;~ plug

188 (easy %i)

189 ;~ sfix

190 ;~ pose (cold | hep) (easy &) ==

191 (jest 'inf')

192 ==

193 ==

194 ;~ plug

195 (easy %n)

196 (cold ~ (jest 'nan'))

197 ==

198 ==

199 ;~ pose

200 (stag %rh (cook rylh ;~(pfix ;~(plug sig sig) voy)))

201 (stag %rq (cook rylq ;~(pfix ;~(plug sig sig sig) voy)))

202 (stag %rd (cook ryld ;~(pfix sig voy)))

203 (stag %rs (cook ryls voy))

204 ==

205 ::

206 ++ royl-cell

207 |= rn

208 ^- dn

209 ?. ?=({$d *} +<) +<

210 =+ ^= h

211 (dif:si (new:si f.b i.b) (sun:si d.b))

212 [%d a h (add (mul c.b (pow 10 d.b)) e.b)]

213 ::

214 ++ tash

215 ~+

216 =+ ^= neg

217 |= {syn/? mol/dime} ^- dime

218 ?> =('u' (end 3 1 p.mol))

219 [(cat 3 's' (rsh 3 1 p.mol)) (new:si syn q.mol)]

220 ;~ pfix hep

221 ;~ pose

222 (cook |=(a/dime (neg | a)) bisk)

223 ;~(pfix hep (cook |=(a/dime (neg & a)) bisk))

224 ==

225 ==

226 ::

227 ++ twid

228 ~+

229 ;~ pose

230 (cook |=(a/@ [%blob (cue a)]) ;~(pfix (just '0') vum:ag))

231 (stag %$ crub)

232 ==

233 ::

234 ++ zust

235 ~+

236 ;~ pose

237 (stag %is bip:ag)

238 (stag %if lip:ag)

239 (stag %f ;~(pose (cold & (just 'y')) (cold | (just 'n'))))

240 royl

241 ==

242 --

243```

244

245#### Examples

246

247```

248 > (scan "1926.5.12" crub:so)

249 [p=~.da q=170.141.184.449.747.016.871.285.095.307.149.312.000]

250 > ([%da @da] (scan "1926.5.12" crub:so))

251 [%da ~1926.5.12]

252 > (scan "s10" crub:so)

253 [p=~.dr q=184.467.440.737.095.516.160]

254 > ([%dr @dr] (scan "s10" crub:so))

255 [%dr ~s10]

256 > (scan "doznec" crub:so)

257 [%p 256]

258 > (scan ".mas" crub:so)

259 [%ta 7.561.581]

260```

261

262------------------------------------------------------------------------

263

264### `++nuck:so`

265

266Top-level coin parser

267

268Parsing rule. Switches on the first character and applies the

269corresponding `++coin` parser.

271#### Accepts

273#### Produces

275#### Source

277```

278 ++ nuck

279 ~/ %nuck |= a/nail %. a

280 %+ knee *coin |. ~+

281 %- stew

282 ^. stet ^. limo

283 :~ :- ['a' 'z'] (cook |=(a/@ta [%$ %tas a]) sym)

284 :- ['0' '9'] (stag %$ bisk)

285 :- '-' (stag %$ tash)

286 :- '.' ;~(pfix dot perd)

287 :- '~' ;~(pfix sig ;~(pose twid (easy [%$ %n 0])))

288 ==

289```

290

291

292#### Examples

293

294```

295 > (scan "~pillyt" nuck:so)

296 [% p=[p=~.p q=32.819]]

297 > (scan "0x12" nuck:so)

298 [% p=[p=~.ux q=18]]

299 > (scan ".127.0.0.1" nuck:so)

300 [% p=[p=~.if q=2.130.706.433]]

301 > `@ud`.127.0.0.1

302 2.130.706.433

303 > (scan "._20_0w25_sam__" nuck:so)

304 [ %many

305 p

306 ~[[% p=[p=~.ud q=20]] [% p=[p=~.uw q=133]] [% p=[p=~.tas q=7.168.371]]]

307 ]

308 > `@`%sam

309 7.168.371

310 > (scan "~0ph" nuck:so)

311 [%blob p=[1 1]]

312 > ~0ph

313 [1 1]

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

315 0vph

316```

317

318------------------------------------------------------------------------

319

320### `++nusk:so`

321

322Parse coin literal with escapes

323

324Parsing rule. Parses a coin literal with escapes. (See also: xx tuple

325formatting).

327#### Accepts

329#### Produces

331#### Source

333```

334 ++ nusk

335 (sear |=(a/@ta (rush (wick a) nuck)) urt:ab)

336```

337

338#### Examples

339

340```

341 > ~.asd_a

342 ~.asd_a

343 > ._1_~~.asd~-a__

344 [1 ~.asd_a]

345 > (scan "~~.asd~-a" nusk:so)

346 [% p=[p=~.ta q=418.212.246.369]]

347 > ([~ %ta @ta] (scan "~~.asd~-a" nusk:so))

348 [~ %ta ~.asd_a]

349```

350

351------------------------------------------------------------------------

352

353### `++perd:so`

354

355Parsing rule.

356

357Parsing rule. Parses a dime or tuple without their respective standard

358prefixes.

360#### Accepts

362#### Produces

364#### Source

366```

367 ++ perd

368 ;~ pose

369 (stag ~ zust)

370 (stag %many (ifix [cab ;~(plug cab cab)] (more cab nusk)))

371 ==

372```

373

374#### Examples

375

376```

377 > (scan "y" perd:so)

378 [~ [%f %.y]]

379 > (scan "n" perd:so)

380 [~ [%f %.n]]

381 > |

382 %.n

383 > (scan "_20_x__" perd:so)

384 [%many [[% p=[p=~.ud q=20]] ~[[% p=[p=~.tas q=120]]]]]

385```

386

387------------------------------------------------------------------------

388

389### `++royl:so`

390

391Parse dime float

392

393Parsing rule. Parses a number into a `++dime` float.

395#### Accepts

397#### Produces

399#### Source

401```

402 ++ royl

403 ~+

404 =+ ^= moo

405 |= a/tape

406 :- (lent a)

407 (scan a (bass 10 (plus sid:ab)))

408 =+ ^= voy

409 %+ cook royl-cell

410 ;~ pose

411 ;~ plug

412 (easy %d)

413 ;~ pose (cold | hep) (easy &) ==

414 ;~ plug dim:ag

415 ;~ pose

416 ;~(pfix dot (cook moo (plus (shim '0' '9'))))

417 (easy [0 0])

418 ==

419 ;~ pose

420 ;~ pfix

421 (just 'e')

422 ;~(plug ;~(pose (cold | hep) (easy &)) dim:ag)

423 ==

424 (easy [& 0])

425 ==

426 ==

427 ==

428 ;~ plug

429 (easy %i)

430 ;~ sfix

431 ;~ pose (cold | hep) (easy &) ==

432 (jest 'inf')

433 ==

434 ==

435 ;~ plug

436 (easy %n)

437 (cold ~ (jest 'nan'))

438 ==

439 ==

440 ;~ pose

441 (stag %rh (cook rylh ;~(pfix ;~(plug sig sig) voy)))

442 (stag %rq (cook rylq ;~(pfix ;~(plug sig sig sig) voy)))

443 (stag %rd (cook ryld ;~(pfix sig voy)))

444 (stag %rs (cook ryls voy))

445 ==

446 ::

447```

448

449#### Examples

450

451```

452 > (scan "~3.14" royl:so)

453 [%rd .~3.13999999999999]

454 > .~3.14

455 .~3.13999999999999

456```

457

458------------------------------------------------------------------------

459

460### `++royl-cell:so`

461

462XX still not fully functional

463

464Intermediate parsed float convereter

465

466```

467 ++ royl-cell

468 |= rn

469 ^- dn

470 ?. ?=({$d *} +<) +<

471 =+ ^= h

472 (dif:si (new:si f.b i.b) (sun:si d.b))

473 [%d a h (add (mul c.b (pow 10 d.b)) e.b)]

474 ::

475```

476

477------------------------------------------------------------------------

479### `++tash:so`

481Parse signed dime

483#### Accepts

485#### Produces

487Parsing rule. Parses a signed number into a `++dime`.

488

489#### Source

490

491```

492 ++ tash

493 ~+

494 =+ ^= neg

495 |= {syn/? mol/dime} ^- dime

496 ?> =('u' (end 3 1 p.mol))

497 [(cat 3 's' (rsh 3 1 p.mol)) (new:si syn q.mol)]

498 ;~ pfix hep

499 ;~ pose

500 (cook |=(a/dime (neg | a)) bisk)

501 ;~(pfix hep (cook |=(a/dime (neg & a)) bisk))

502 ==

503 ==

504 ::

505```

506

507#### Examples

508

509```

510 > (scan "-20" tash:so)

511 [p=~.sd q=39]

512 > (,[%sd @sd] (scan "-20" tash:so))

513 [%sd -20]

514 > (,[%sd @sd] (scan "--20" tash:so))

515 [%sd --20]

516 > (,[%sx @sx] (scan "--0x2e" tash:so))

517 [%sx --0x2e]

518```

519

520------------------------------------------------------------------------

521

522### `++twid:so`

523

524Parse coins without `~` prefix

525

526Parsing rule. Parses coins after a leading sig, `~`.

528#### Accepts

530#### Produces

532#### Source

534```

535 ++ twid

536 ;~ pose

537 (cook |=(a/@ [%blob (cue a)]) ;~(pfix (just '0') vum:ag))

538 (stag ~ crub)

539 ==

540 ::

541```

542

543#### Examples

544

545```

546 > (scan "zod" twid:so)

547 [~ [%p 0]]

548 > (scan ".sam" twid:so)

549 [~ [%ta 7.168.371]]

550 > `@ud`~.sam

551 7.168.371

552 > `@t`~.sam

553 'sam'

554 > (scan "0ph" twid:so)

555 [%blob [1 1]]

556```

557

558------------------------------------------------------------------------

559

560### `++zust:so`

561

562Parse prefixed dimes from `@if`, `@f`, `@rd`

563

564Parsing rule. Parses an atom of either `@if` (IP address), `@f`

565(loobean), or `rf`(floating point) into a `++dime`.

567#### Accepts

569#### Produces

571#### Source

573```

574 ++ zust

575 ;~ pose

576 (stag %is bip:ag)

577 (stag %if lip:ag)

578 (stag %f ;~(pose (cold & (just 'y')) (cold | (just 'n'))))

579 royl

580 ==

581 --

582```

583

584#### Examples

585

586```

587 > (scan "127.0.0.1" zust:so)

588 [%if q=2.130.706.433]

589

590 > (scan "af.0.0.0.0.e7a5.30d2.7" zust:so)

591 [%is q=908.651.950.243.594.834.993.091.554.288.205.831]

592

593 > (,[%is @is] (scan "af.0.0.0.0.e7a5.30d2.7" zust:so))

594 [%is .af.0.0.0.0.e7a5.30d2.7]

595

596 > (,[%is @ux] (scan "af.0.0.0.0.e7a5.30d2.7" zust:so))

597 [%is 0xaf.0000.0000.0000.0000.e7a5.30d2.0007]

598

599 > (scan "y" zust:so)

600 [%f %.y]

601

602 > (scan "12.09" zust:so)

603 [%rd .~12.00999999999999]

604```

605

606

607---