572a0cc · urbit.org · git.iko.soy

18

19`a` is a map.

20

21− > ~(. by (mo (limo [%a 1] [%b 2] ~)))

21+ > ~(. by (my [%a 1] [%b 2] ~))

22− <19.irb [nlr([p={%a %b} q=@ud]) <414.rvm 101.jzo 1.ypj %164>]>

22+ <22.znh {a/nlr({p/?($a $b) q/@ud}) <409.ofg 110.xht 1.ztu $151>}>

23

24------------------------------------------------------------------------

25

44

45`b` is a wet gate.

46

47− > =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])

47+ > =b (my [['a' 1] ['b' [2 3]] ~])

48 > (~(all by b) |=(a/* ?@(a & |)))

49 %.n

50− > =a (mo `(list {@t @u})`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])

50+ > =a (my [['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])

51 > (~(all by a) |=(a/@ (lte a 6)))

52 %.y

53 > (~(all by a) |=(a/@ (lte a 4)))

74

75`b` is a wet gate.

76

77− > =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])

77+ > =b (my [['a' 1] ['b' [2 3]] ~])

78− > (~(all by b) |=(a/* ?@(a & |)))

78+ > (~(any by b) |=(a/* ?@(a & |)))

79 %.y

80− > =a (mo `(list {@t @u})`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])

80+ > =a (my [['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])

81− > (~(any by a) |=(a=@ (lte a 4)))

81+ > (~(any by a) |=(a/@ (lte a 4)))

82 %.y

83

84------------------------------------------------------------------------

111

112`b` is a key as a noun.

113

114− > =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])

114+ > =b (my [['a' 1] ['b' [2 3]] ~])

115− > (~(del by b) `a`)

115+ > (~(del by b) 'a')

116− {[p=`b` q=[2 3]]}

116+ {[p='b' q=[2 3]]}

117

118------------------------------------------------------------------------

119

139

140`b` is a key as a noun.

141

142− > =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])

142+ > =b (my [['a' 1] ['b' [2 3]] ~])

143− > (~(dig by b) `b`)

143+ > (~(dig by b) 'b')

144 [~ 2]

145

146------------------------------------------------------------------------

165

166`b` is a list of cells of key-value nouns `p` and `q`.

167

168− > =a (mo `(list {@t *})`[[`a` 1] [`b` 2] ~])

168+ > =a (my [['a' 1] ['b' 2] ~])

169− > =b `(list {@t *})`[[`c` 3] [`d` 4] ~]

169+ > =b [['c' 3] ['d' 4] ~]

170 > (~(gas by a) b)

171− {[p=`d` q=4] [p=`a` q=1] [p=`c` q=3] [p=`b` q=2]}

171+ {[p='d' q=4] [p='a' q=1] [p='c' q=3] [p='b' q=2]}

172

173------------------------------------------------------------------------

174

194

195`b` is a key as a noun

196

197− > =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])

197+ > =b (my [['a' 1] ['b' [2 3]] ~])

198− > (~(get by b) `b`)

198+ > (~(get by b) 'b')

199 [~ [2 3]]

200

201------------------------------------------------------------------------

215

216`b` is a key.

217

218− > =m (mo `(list {@t *})`[['a' 1] ['b' 2] ~])

218+ > =m (my [['a' 1] ['b' 2] ~])

219 > m

220 {[p='a' q=1] [p='b' q=2]}

221 > (~(get by m) 'a')

244

245`b` is a key as a noun.

246

247− > =b (mo `(list {@t *})`[['a' 1] ['b' [2 3]] ~])

247+ > =b (my [['a' 1] ['b' [2 3]] ~])

248− > (~(has by b) `b`)

248+ > (~(has by b) 'b')

249 %.y

250− > (~(has by b) `c`)

250+ > (~(has by b) 'c')

251 %.n

252

253------------------------------------------------------------------------

285

286`b` is a map.

287

288− > =n (mo `(list {@t *})`[['a' 1] ['c' 3] ~])

288+ > =n (my [['a' 1] ['c' 3] ~])

289 > n

290 {[p='a' q=1] [p='c' q=3]}

291 > m

292 {[p='a' q=1] [p='b' q=2]}

293 > (~(int by m) n)

294 {[p='a' q=1]}

295− ~ravpel-holber/try=> =p (mo `(list {@t *})`[['a' 2] ['b' 2] ~])

295+ > =p (my [['a' 2] ['b' 2] ~])

296 > p

297 {[p='a' q=2] [p='b' q=2]}

298 > (~(int by p) n)

299− {[p='a' q=2]}

299+ {[p='a' q=1]}

300− > =q (mo `(list {@t *})`[['a' 2] ['c' 2] ~])

300+ > =q (my [['a' 2] ['c' 2] ~])

301 > q

302− {[p='a' q=2] [p='b' q=2]}

302+ {[p='a' q=2] [p='c' q=2]}

303 > (~(int by p) q)

304− {[p='a' q=2] [p='b' q=2]}

304+ {[p='a' q=2]}

305− > =o (mo `(list {@t *})`[['c' 3] ['d' 4] ~])

305+ > =o (my [['c' 3] ['d' 4] ~])

306 > (~(int by m) o)

307 {}

308−

308+

309

310------------------------------------------------------------------------

311

471

472`b` is a list.

473

474+ > m

474 {[p='a' q=1] [p='b' q=2]}

475 {[p='a' q=1] [p='b' q=2]}

475 > `*`m

476 > `*`m

476 [[98 2] [[97 1] 0 0] 0]

477 [[98 2] [[97 1] 0 0] 0]

521 > (~(uni by m) ~)

522 > (~(uni by m) ~)

522 {[p='a' q=1] [p='b' q=2]}

523 {[p='a' q=1] [p='b' q=2]}

523 > n

524 > n

524− {[p='a' q=1] [p='c' q=9]}

525+ {[p='a' q=1] [p='c' q=3]}

525 > (~(uni by o) n)

526 > (~(uni by o) n)

526− {[p='d' q=4] [p='a' q=1] [p='c' q=9]}

527+ {[p='d' q=4] [p='a' q=1] [p='c' q=3]}

527

528

528------------------------------------------------------------------------

529------------------------------------------------------------------------

529

530

547

548

548 > m

549 > m

549 {[p='a' q=1] [p='b' q=2]}

550 {[p='a' q=1] [p='b' q=2]}

551+

550− > (~(urn by m) |=(a=[p=* q=*] q.a))

552+ > (~(urn by m) |=(a/(pair * *) q.a))

551 {[p='a' q=1] [p='b' q=2]}

553 {[p='a' q=1] [p='b' q=2]}

554+

552− > (~(urn by m) |=(a=[p=* q=*] 7))

555+ > (~(urn by m) |=(a/(pair * *) 7))

553 {[p='a' q=7] [p='b' q=7]}

556 {[p='a' q=7] [p='b' q=7]}

557+

554− > (~(urn by m) |=(a=[p=* q=*] p.a))

558+ > (~(urn by m) |=(a/(pair * *) p.a))

555 {[p='a' q=97] [p='b' q=98]}

559 {[p='a' q=97] [p='b' q=98]}

556

560

557------------------------------------------------------------------------

561------------------------------------------------------------------------