ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-15 18:12:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://github.com/urbit/urbit

Browse Source
This commit is contained in:
ault011 2014-08-08 16:15:43 -07:00 committed by ault011
commit c0e47e8bf8
1 changed files with 503 additions and 277 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

780
main/pub/src/doc/ref/vol2.md
View File

@ -3119,7 +3119,7 @@ section 2dA, sets
section 2dB, maps section 2dB, maps
++ ept ##++ ept
Is the given tree of cell pairs a map? Is the given tree of cell pairs a map?
@ -3152,188 +3152,199 @@ Is the given tree of cell pairs a map?
~tadbyl-hilbel/try=> (ept b) ~tadbyl-hilbel/try=> (ept b)
! type-fail ! type-fail
! exit ! exit
++ ja ##++ ja
The jar engine: A container arm for jar operation arms. Jars are maps of lists. The jar engine: A container arm for jar operation arms. Jars are maps of lists.
The contained arms inherit the sample jar. 'a'. The contained arms inherit the sample jar. 'a'.
Build a wet %gold tray with a sample jar `a`... Build a wet %gold tray with a sample jar `a`...
+- get ##+- get
Retrieve a list from the map by its key. Retrieve a list from the map by its key.
####Summary ####Summary
Build wet %gold gate with sample noun `b` Build wet %gold gate with sample noun `b`
Push `d` is the slug of by to get with `a` slammed with `b`. Push `d` is the slug of by to get with `a` slammed with `b`.
If: `c` is null, If: `c` is null,
Then: Produce null, Then: Produce null,
Else: Produce `u.c`, the unit value of `c` Else: Produce `u.c`, the unit value of `c`
####Examples ####Examples
~zod/try=> =l (mo `(list ,[@t (list ,@)])`[['a' `(list ,@)`[1 2 3 ~]] ['b' `(list ,@)`[4 5 6 ~]] ~]) ~zod/try=> =l (mo `(list ,[@t (list ,@)])`[['a' `(list ,@)`[1 2 3 ~]] ['b' `(list ,@)`[4 5 6 ~]] ~])
~zod/try=> l ~zod/try=> l
{[p='a' q=~[1 2 3]] [p='b' q=~[4 5 6]]} {[p='a' q=~[1 2 3]] [p='b' q=~[4 5 6]]}
~zod/try=> (~(get ja l) 'a') ~zod/try=> (~(get ja l) 'a')
~[1 2 3] ~[1 2 3]
~zod/try=> (~(get ja l) 'b') ~zod/try=> (~(get ja l) 'b')
~[4 5 6] ~[4 5 6]
~zod/try=> (~(get ja l) 'c') ~zod/try=> (~(get ja l) 'c')
~ ~
+- add
Add a key-list value to the jar.
####Summary ##+- add
Build wet %gold gate with sample noun `b`, noun `c` Add a key-list value to the jar.
Push `d` is the call of get with the subject replaced by `a`, slammed with `b`
Produce the slam of by to put with `a` slammed with `b` and [c d].
####Examples ####Summary
~zod/try=> =l (mo `(list ,[@t (list ,@)])`[['a' `(list ,@)`[1 2 3 ~]] ['b' `(list ,@)`[4 5 6 ~]] ~]) Build wet %gold gate with sample noun `b`, noun `c`
~zod/try=> l Push `d` is the call of get with the subject replaced by `a`, slammed with `b`
{[p='a' q=~[1 2 3]] [p='b' q=~[4 5 6]]} Produce the slam of by to put with `a` slammed with `b` and [c d].
~zod/try=> (~(add ja l) 'b' 7)
{[p='a' q=~[1 2 3]] [p='b' q=~[7 4 5 6]]}
~zod/try=> (~(add ja l) 'a' 100)
{[p='a' q=~[100 1 2 3]] [p='b' q=~[4 5 6]]}
~zod/try=> (~(add ja l) 'c' 7)
{[p='a' q=~[1 2 3]] [p='c' q=~[7]] [p='b' q=~[4 5 6]]}
~zod/try=> (~(add ja l) 'c' `(list ,@)`[7 8 9 ~])
! type-fail
! exit
Terminate the core. ####Examples
++ ju ~zod/try=> =l (mo `(list ,[@t (list ,@)])`[['a' `(list ,@)`[1 2 3 ~]] ['b' `(list ,@)`[4 5 6 ~]] ~])
~zod/try=> l
{[p='a' q=~[1 2 3]] [p='b' q=~[4 5 6]]}
~zod/try=> (~(add ja l) 'b' 7)
{[p='a' q=~[1 2 3]] [p='b' q=~[7 4 5 6]]}
~zod/try=> (~(add ja l) 'a' 100)
{[p='a' q=~[100 1 2 3]] [p='b' q=~[4 5 6]]}
~zod/try=> (~(add ja l) 'c' 7)
{[p='a' q=~[1 2 3]] [p='c' q=~[7]] [p='b' q=~[4 5 6]]}
~zod/try=> (~(add ja l) 'c' `(list ,@)`[7 8 9 ~])
! type-fail
! exit
Terminate the core.
##++ ju
The jug engine: container arm for jug operation arms. Jugs are maps of sets. The jug engine: container arm for jug operation arms. Jugs are maps of sets.
The contained arms inherit it's sample jug, 'a'. The contained arms inherit it's sample jug, 'a'.
Build a wet %gold tray with a sample jug `a`. Build a wet %gold tray with a sample jug `a`.
+- del ##+- del
Delete a value in a set and produce the resulting jug. Delete a value in a set and produce the resulting jug.
####Summary ####Summary
Build wet %gold gate with sample noun `b`, noun `c` Build wet %gold gate with sample noun `b`, noun `c`
Cast the following to the type of `a` Cast the following to the type of `a`
Push `d` is the call of get with the subject replaced by `a`, slammed with `b` Push `d` is the call of get with the subject replaced by `a`, slammed with `b`
Push `e` is slug del to in by `d` slammed with `c` Push `e` is slug del to in by `d` slammed with `c`
If: `e` is null, If: `e` is null,
Then: Slug tray by to del with `a` slammed with `b` Then: Slug tray by to del with `a` slammed with `b`
Else: Produce the slug tray by to put with `a` slammedw ith `b`, `e`. Else: Produce the slug tray by to put with `a` slammedw ith `b`, `e`.
####Examples ####Examples
~zod/try=> s ~zod/try=> s
{[p='a' q={1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(del ju s) 'a' 1) ~zod/try=> (~(del ju s) 'a' 1)
{[p='a' q={3 2}] [p='b' q={5 4 6}]} {[p='a' q={3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(del ju s) 'c' 7) ~zod/try=> (~(del ju s) 'c' 7)
{[p='a' q={1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='b' q={5 4 6}]}
+- get +- get
Retrieve a set from the map by its key. Retrieve a set from the map by its key.
####Summary ####Summary
Build wet %gold gate with sample noun `b` Build wet %gold gate with sample noun `b`
Push `c` is the slug of by to get with `a` slammed with `b` Push `c` is the slug of by to get with `a` slammed with `b`
If: `c` is null, If: `c` is null,
Then: Produce null, Then: Produce null,
Else: Produce `u.c`, the unit value of `c` Else: Produce `u.c`, the unit value of `c`
####Examples ####Examples
~zod/try=> s ~zod/try=> s
{[p='a' q={1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(get ju s) 'a') ~zod/try=> (~(get ju s) 'a')
{1 3 2} {1 3 2}
~zod/try=> (~(get ju s) 'b') ~zod/try=> (~(get ju s) 'b')
{5 4 6} {5 4 6}
~zod/try=> (~(get ju s) 'c') ~zod/try=> (~(get ju s) 'c')
~ ~
+- has ##+- has
Is the element `c` in the set `b`? Is the element `c` in the set `b`?
####Summary ####Summary
Build wet %gold gate with sample noun `b`, noun `c` Build wet %gold gate with sample noun `b`, noun `c`
Yield bean. Yield bean.
Produce the slug of in to has with the call of get with the subject replaced by `a` slammed with: Produce the slug of in to has with the call of get with the subject replaced by `a` slammed with:
`b`, a set, slammed with: `b`, a set, slammed with:
`c`. `c`.
I.e.: Check if `c` is in the set which is the value of the map key `b`. I.e.: Check if `c` is in the set which is the value of the map key `b`.
####Examples ####Examples
~zod/try=> s ~zod/try=> s
{[p='a' q={1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(has ju s) 'a' 3) ~zod/try=> (~(has ju s) 'a' 3)
%.y %.y
~zod/try=> (~(has ju s) 'b' 6) ~zod/try=> (~(has ju s) 'b' 6)
%.y %.y
~zod/try=> (~(has ju s) 'a' 7) ~zod/try=> (~(has ju s) 'a' 7)
%.n %.n
~zod/try=> (~(has jus s) 'c' 7) ~zod/try=> (~(has jus s) 'c' 7)
! -find-limb.jus ! -find-limb.jus
! find-none ! find-none
! exit ! exit
~zod/try=> (~(has ju s) 'c' 7) ~zod/try=> (~(has ju s) 'c' 7)
%.n %.n
+- put ##+- put
Add a value to a specific set in the jug. Add a value to a specific set in the jug.
####Summary ####Summary
Build wet %gold gate with sample noun b. noun c. Build wet %gold gate with sample noun b. noun c.
Cast the following to the type of `a`. Cast the following to the type of `a`.
Push `d` is the call of get with the subject replaced by `a`, slammed with `b`. Push `d` is the call of get with the subject replaced by `a`, slammed with `b`.
Produce the slug of by to put with `a` slammed with: Produce the slug of by to put with `a` slammed with:
`b`, `b`,
The slug of in to put by `d` slammed with `c`. The slug of in to put by `d` slammed with `c`.
####Examples ####Examples
~zod/try=> s ~zod/try=> s
{[p='a' q={1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(put ju s) 'a' 7) ~zod/try=> (~(put ju s) 'a' 7)
{[p='a' q={7 1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={7 1 3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(put ju s) 'a' 1) ~zod/try=> (~(put ju s) 'a' 1)
{[p='a' q={1 3 2}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='b' q={5 4 6}]}
~zod/try=> (~(put ju s) 'c' 7) ~zod/try=> (~(put ju s) 'c' 7)
{[p='a' q={1 3 2}] [p='c' q={7}] [p='b' q={5 4 6}]} {[p='a' q={1 3 2}] [p='c' q={7}] [p='b' q={5 4 6}]}
##++ by
Container arm for map operation arms. The contained arms inherit it's sample map, 'a'.
####Summary
++ by
Container arm for map operation arms. The contained arms inherit it's sample map, 'a'.
---
Activate jet. Activate jet.
Builds a %gold tray with a sample which accepts a map. Build a %gold tray with a sample which accepts a map.
+- all
Accepts a gate which accepts any noun and produces a loobean. Slams the gate with each member ##+- all
of map 'a', produce the logical AND of the transformed map.
--- Accept a gate which accepts any noun and produces a loobean. Slams the gate with each member
of map 'a', produce the logical AND of the transformed map.
####Summary
Activate jet. Activate jet.
Builds a wet %gold gate which accepts the tile of a gate accepts any noun and produces a loobean. Build wet %gold gate with sample gate accepting any noun and producing a loobean, `b`.
Creates and kicks a dry %gold gate. Casts the result to loobean. Kick dry %gold trap. Yield bean.
Builds an if-then-else statement on "a is an atom." If: `a` is null,
If so, produce true. Then: Produce true,
Else, produce the logical AND of (b q.n.a), the recursive call of the trap with 'a' replaced by Else: Produce the logical AND of:
'l.a', and the recursive call of the trap with 'a' replaced by 'r.a'. `b` slammed with `q.n.a`
Examples: The toss of `a` for `l.a`
The toss of `a` for `r.a`
####Examples
~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~]) ~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
~talsur-todres/try=> (~(all by b) |=(a=* ?@(a & |))) ~talsur-todres/try=> (~(all by b) |=(a=* ?@(a & |)))
%.n %.n
@ -3343,18 +3354,25 @@ The contained arms inherit it's sample jug, 'a'.
%.y %.y
~tadbyl-hilbel/try=> (~(all by a) |=(a=@ (lte a 4))) ~tadbyl-hilbel/try=> (~(all by a) |=(a=@ (lte a 4)))
%.n %.n
+- any
Accepts a gate which accepts any noun and produces a loobean. Slams the gate with each member ##+- any
of map 'a', produce the logical OR of the transformed map.
--- Accept a gate which accepts any noun and produces a loobean. Slam the gate with each member
of map 'a' and produce the logical OR of the transformed map.
####Summary
Activate jet. Activate jet.
Builds a wet %gold gate which accepts the tile of a gate accepts any noun and produces a loobean. Kick dry %gold trap. Yield bean.
Creates and kicks a dry %gold gate. Casts the result to loobean. If: `a` is null,
Builds an if-then-else statement on "a is an atom." Then: Produce false,
If so, produce false. Else: Produce the logical OR of:
Else, produce the logical OR of (b q.n.a), the recursive call of the trap with 'a' replaced by `b` slammed with `q.n.a`
'l.a', and the recursive call of the trap with 'a' replaced by 'r.a'. The toss of `a` for `l.a`
Examples: The toss of `a` for `r.a`
####Examples
~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~]) ~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
~talsur-todres/try=> (~(all by b) |=(a=* ?@(a & |))) ~talsur-todres/try=> (~(all by b) |=(a=* ?@(a & |)))
%.y %.y
@ -3362,170 +3380,378 @@ The contained arms inherit it's sample jug, 'a'.
~tadbyl-hilbel/try=> =a (mo `(list ,[@t @u])`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~]) ~tadbyl-hilbel/try=> =a (mo `(list ,[@t @u])`[['a' 1] ['b' 2] ['c' 3] ['d' 4] ['e' 5] ~])
~tadbyl-hilbel/try=> (~(any by a) |=(a=@ (lte a 4))) ~tadbyl-hilbel/try=> (~(any by a) |=(a=@ (lte a 4)))
%.y %.y
+- del
delete at key b ##+- del
Description:
Accepts a noun 'b', producing the map with the key-value pair of key 'b' removed. Accept a noun 'b', producing the map with the key-value pair of key 'b' removed.
---
####Summary
Activate jet. Activate jet.
Creates a wet %gold gate which accepts a noun. Build wet %gold gate with sample noun `b`.
Creates and kicks a dry %gold trap. Casts the result to the type of map 'a'. Kick dry %gold trap. Cast the following to the type of `a`.
Builds an if-then-else statement on "a is null." If: `a` is null,
If so, produce null. Then: Produce null,
Else, build an unless-then-else statement on (b=(p.n.a)). Else: Unless: `b` is `p.n.a`
If so, build the if-then-else statement on the g-order of 'b' and 'p.n.a'. Then: If: gor slammed with `b`, `p.n.a`
If so, produce the the tuple [n.a $(a l.a) r.a] where $(a l.a) is the recursive call of the Then: Produce the tuple [n.a $(a l.a) r.a]
trap with 'a' replaced by 'l.a'. Else: Produce the tuple [n.a l.a $(a r.a)]
Else (g-order of 'b' and 'p.n.a' is not true.), produce [n.a l.a $(a r.a)]. Else: Kick dry %gold trap. Yield either null or the type of `a`.
Else (!(b=(p.n.a))), create and kick a dry %gold trap. If: `l.a` is null, Then: Produce `r.a`,
Cast the result to a fork between null and the tile of the map 'a'. Else: If: `r.a` is null, Then: Produce `l.a`,
Builds an if-then-else statement on "l.a is null." If so, produce 'r.a'. ELse: If: vor slammed with `p.n.l.a` and `p.n.r.a`,
Else, build an if-then-else statement on "r.a is null." If so, produce 'l.a'. Then: Produce the tuple [n.l.a l.l.a $(l.a r.l.a)]
Else, build an if-then-else statement on the v-order of 'p.n.l.a' and 'p.n.r.a'. Else: [n.r.a $(r.a l.r.a) r.r.a]
If so, produce [n.l.a l.l.a $(l.a r.l.a)],where $(l.a r.l.a) is the recursive call of the
trap with 'l.a' replaced by 'r.l.a'. ####Examples
Else, produce [n.r.a $(r.a l.r.a) r.r.a], ,where $(r.a l.r.a) is the recursive call of the
trap with 'r.a' replaced by 'l.r.a'. ~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
Examples:
~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
~talsur-todres/try=> (~(del by b) `a`) ~talsur-todres/try=> (~(del by b) `a`)
{[p=`b` q=[2 3]]} {[p=`b` q=[2 3]]}
+- dig ##+- dig
axis of 'b' key
Description: Accept any noun 'b' and produce the axis of 'b' in within the values of 'p.a' in map 'a'.
Accepts any noun 'b' and produces the axis of 'b' in within the values of 'p.a' in map 'a'.
--- ####Summary
Creates a wet %gold gate which accepts a noun. Creates a wet %gold gate which accepts a noun.
Let 'c' be 1. Push `c` is 1.
Creates and kicks a dry %gold gate. Casts the result to an atomic unit. Kick dry %gold gate. Yield atomic unit.
Builds an if-then-else statement on "a is null." If so, produce null. If: `a` is null, Then: Produce null.
Else, build an if-then-else statement on (b=(p.n.a.)). If so, produce the unit [~ u=(peg c 2)]. Else: If: `b` is `p.n.a`, Then: Produce the unit with value: peg slammed with `c`, 2.
Else, build an if-then-else statement on the g-order of 'b' and 'p.n.a'. Else: If: gor slammed with `b`, `p.n.a`.
If so, recursively call the trap with 'a' replaced by 'l.a' and 'c' by (peg c 6). Then: Produce the toss of `a` for `l.a`, `c` for peg slammed with `c`, 6.
Else, recursively call the trap with 'a' replaced by 'r.a' and 'c' by (peg c 7). Else: Produce the toss of `a` for `r.a`, `c` for peg slammed with `b, 7.
Examples:
####Examples
~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~]) ~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
~talsur-todres/try=> (~(dig by b) `b`) ~talsur-todres/try=> (~(dig by b) `b`)
[~ 2] [~ 2]
+- gas ##+- gas
concatenate
Description: Accept any list 'b' of key-value pair cells and produce the map 'a'
Accepts any list 'b' of key-value pair cells and produces the map 'a' with the members of 'b' added. with the members of 'b' added.
---
####Summary
Activate jet. Activate jet.
Creates a wet %gold gate which accepts a list of cells. Build wet %gold gate with sample list of noun cells [p=* q=*], `b`.
Replaces 'b' in the subject with the cast of 'b' to a list whose members have the Use `b` replaced by the cast of `b` to the type of the map as subject.
same type as the members of 'a'. Kick dry %gold trap. Cast the following to the type of the map `a`.
Creates and kicks a dry %gold trap. Casts the result to the type of map 'a'. If: `b` is null,
Builds an if-then-else statement on "b is an atom." Then: Produce `a`,
If so, produce 'a'. Else: Produce the toss of `b` for the tail of `b`, `a` for the cell at the head of `b`
Else, recursively call the trap iwth 'b' replaced by the tail of 'b' and 'a' replaced by inserted into the map as a `p`, `q` key, value pair.
'a' with the key and value of the head of 'b' added to it.
Examples: ####Examples
~talsur-todres/try=> =a (mo `(list ,[@t *])`[[`a` 1] [`b` 2] ~]) ~talsur-todres/try=> =a (mo `(list ,[@t *])`[[`a` 1] [`b` 2] ~])
~talsur-todres/try=> =b `(list ,[@t *])`[[`c` 3] [`d` 4] ~] ~talsur-todres/try=> =b `(list ,[@t *])`[[`c` 3] [`d` 4] ~]
~talsur-todres/try=> (~(gas by a) b) ~talsur-todres/try=> (~(gas by a) b)
{[p=`d` q=4] [p=`a` q=1] [p=`c` q=3] [p=`b` q=2]} {[p=`d` q=4] [p=`a` q=1] [p=`c` q=3] [p=`b` q=2]}
+- get
grab value by key ##+- get
Description:
Produces the value in the map at key 'b'. Produce the value in the map at key 'b'.
---
Creates a wet %gold gate which accepts a noun. ####Summary
Creates and kicks a dry %gold trap. Casts its result to the type of the map's values.
Builds an if-then-else statement on "a is an atom." Activate jet.
If so, produces null. Build wet %gold gate with sample noun `b`.
Else, build an if-then-else statement on (b=(p.n.a)). Kick dry %gold gate. Yield a unit of the type of the map's values.
If so, produce the unit [~ u=p.n.a]. If: `a` is null,
Else, build an if-then-else statement on the g-order of 'b' and 'p.n.a'. Then: Produce null,
If so, produce the recursive call to the trap with 'a' replaced by 'l.a'. Else: If: Is `b` equal to `p.n.a`?
Else, produce the recursive call to the trap with 'a' replaced by 'r.a'. Then: Produce the unit of the value of the tree node, `q.n.a`
Examples: Else: If: gor slammed with `b`, `p.n.a`
Then: Produce the toss of `a` for `l.a`,
Else: Produce the toss of `a` for `r.a`.
####Examples
~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~]) ~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
~talsur-todres/try=> (~(get by b) `b`) ~talsur-todres/try=> (~(get by b) `b`)
[~ [2 3]] [~ [2 3]]
+- has
key existence check ##+- got
Description:
Accepts any noun 'b' and produces the loobean indicating whether the noun exists in map 'a'. ####Summary
---
Build wet %gold gate with sample noun `b`.
Produce the slam of need with:
The slam get with its sample replaced by `a` with `b`.
####Examples
~zod/try=> =m (mo `(list ,[@t *])`[['a' 1] ['b' 2] ~])
~zod/try=> m
{[p='a' q=1] [p='b' q=2]}
~zod/try=> (~(get by m) 'a')
[~ 1]
~zod/try=> (~(got by m) 'a')
1
~zod/try=> (~(got by m) 'c')
! exit
##+- has
Accept any noun 'b' and produces the loobean indicating whether the noun exists in map 'a'.
####Summary
Activate jet. Activate jet.
Creates a wet %gold gate which accepts a noun. Build wet %gold gate with smaple noun `b`.
Attempts to get 'b' from 'a', then produces the logical NOT of the loobean "get 'b' in 'a' is null" Build dry %gold gate with null sample.
Examples: Produce the slam of get with its sample replaced by `a` with `b`.
####Examples
~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~]) ~talsur-todres/try=> =b (mo `(list ,[@t *])`[['a' 1] ['b' [2 3]] ~])
~talsur-todres/try=> (~(has by b) `b`) ~talsur-todres/try=> (~(has by b) `b`)
%.y %.y
~talsur-todres/try=> (~(has by b) `c`) ~talsur-todres/try=> (~(has by b) `c`)
%.n %.n
+- mar
add with validation ##+- int
Description:
Accepts two nouns of the types of the map's keys and values, respectively. Produce the intersection of two maps of the same type.
Validates that the value is not null and puts the pair in the map. If the value is null,
it deletes the key. ####Summary
---
Creates a wet %gold gate which accepts a cell of two nouns: one of the type of the map's keys Activate jet.
and one a unit of the map's value type. Build wet %gold gate with sample map of the type of `a`, `b`.
If "c is null", produce the map with 'b' deleted. Kick dry %gold trap. Cast the following to the type of `a`.
Else, produce the map with the 'b' and 'u.c' key-value pair added. If: `b` is null,
Examples: Then: Produce null,
Else: If: vor slammed with `p.n.a` and `p.n.b`,
Then: If: `p.n.b` is `p.n.a`
Then: Produce the tuple [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
Else: If: hor slammed with `p.n.b` and `p.n.a`,
Then: Slam uni(+< $(a l.a, b [n.b l.b ~])) with $(b r.b)
Else: Slam uni(+< $(a r.a, b [n.b ~ r.b])) with $(b l.b)
Else: If: `p.n.a` is `p.n.b`
Then: Produce [n.b $(b l.b, a l.a) $(b r.b, a r.b)]A
Else: If: hor slammed with `p.n.a` p.n.b`
Then: Slam uni(+< $(b l.b, b [n.b l.b ~])) with $(a r.a)
Else: Slam uni(+< $(b r.b, b [n.b ~ r.b])) with $(a l.a)
Where uni(+< $(b r.b, b [n.b ~ r.b])) is the call of uni with the map
replaced by the toss of `b` for `r.b` and `b` for [n.b ~ r.b].
####Examples
~zod/try=> =n (mo `(list ,[@t *])`[['a' 1] ['c' 3] ~])
~zod/try=> n
{[p='a' q=1] [p='c' q=3]}
~zod/try=> m
{[p='a' q=1] [p='b' q=2]}
~zod/try=> (~(int by m) n)
{[p='a' q=1]}
~zod/try=> =o (mo `(list ,[@t *])`[['c' 3] ['d' 4] ~])
~zod/try=> (~(int by m) o)
{}
+- put ##+- mar
Accept a noun and a unit of a noun of the type of the map's keys and values, respectively.
Validate that the value is not null and put the pair in the map. If the value is null,
delete the key.
####Summary
Build wet %gold gate with sample noun of the type of the map's keys, `b`,
the unit of the type of the map's values `c`.
If: `c`,
Then: Delete `b` from the map.
Else: Put key `b` in the map with the value of the unit `c`, `u.c`.
####Examples
---
##+- put
Add a key-value pair to the map.
####Summary
Activate jet. Activate jet.
Build a wet %gold gate with sample noun `b`, noun `c` Build a wet %gold gate with sample noun `b`, noun `c`
Creates and kicks a dry %gold trap. Casts the result to the type of the map 'a'. Creates and kicks a dry %gold trap. Casts the result to the type of the map 'a'.
If "a is an atom", produce the cell [[b c] ~ ~]. If "a is an atom", produce the cell [[b c] ~ ~].
Else, build the if-then-else statement if Else, build the if-then-else statement if
---
+- rep
replace by product
Description:
Walks through the map, replacing 'b' with the product of (c n.a b). Produces the resulting
map.
---
Creates a wet %gold gate which accepts a noun and a gate.
Creates and kicks a dry %gold trap.
If "a is null", produce 'b'.
Else, produce the recursive call to the trap with 'a' replaced by 'r.a' and 'b' replaced by
the recursive call to the trap with 'a' replaced by 'l.a' and b replaced by
the product (c n.a b).
Examples:
+- rib
transform + product
Description:
---
Examples: ####Examples
~zod/try=> m
{[p='a' q=1] [p='b' q=2]}
~zod/try=> (~(put by m) 'c' 3)
{[p='a' q=1] [p='c' q=3] [p='b' q=2]}
~zod/try=> (~(put by m) "zod" 26)
! type-fail
! exit
~zod/try=> (~(put by m) 'a' 2)
{[p='a' q=2] [p='b' q=2]}
##+- rep
Walk through the map, replacing 'b' with the product of (c n.a b). Produce the resulting
map.
####Summary
Build wet %gold gate with sample noun `b`, gate `c`
Kick dry %gold trap.
If: `a` is null, Then: Produce `b`,
Else: Produce the toss of `a` for `r.a`, `b` for the toss of `a` for `l.a` and `b`
for the slam of `c` with `n.a` and `b`.
####Examples
##+- rib
Walk throught the map, replacing the values n.a with the product of (c n.a b) and produce
the transformed map with the accumulated. `b`.
####Summary
Build wet %gold gate with sample noun `b`, gate `c`.
Kick dry %gold trap. Cast the following to the type of the tuple [b a].
If: `a` is null, Then: Produce the tuple [b ~],
Else: Push `d` is the slam of `c` with `n.a` and `b`.
Set `n.a` to `+.d`, the tail of `d`, in the subject.
Push `e` is the toss of `a` for `l.a`, `b` for `-.d`, the head of `d`.
Push `f` is the toss of `a` for `r.a`, `b` for `-.e`, the head of `e`.
Produce the tuple [-.f [n.a +.e +.f]], that is, the cell of
the head of accumulator `f` and the head of tree [n.a +.e +.f], with
left and right sides of the tails of `e` nad `f`, respectively.
####Examples
+- run +- run
turns to tuples
Description: ####Summary
---
Examples: ####Examples
+- tap +- tap
listify pairs
Description: ####Summary
---
Examples: ####Examples
+- uni
union, merge ##+- uni
Description:
--- Produce the union between two maps.
Examples:
+- wyt ####Summary
depth of map
Description: Acitvate jet.
--- Build wey %gold gate with sample map of the type of `a`, `b`.
Examples: Kick dry %gold gate. Cast the following to the type of `a`.
If: `b` is null,
Then: Produce `a`,
Else: If: `a` is null,
Then: Produce `b`,
Else: If: vor slammed with `p.n.a` and `p.n.b`
Then: If: `p.n.b` is `p.n.a`
Then: Produce the tuple [n.b $(a l.a, b l.b) $(a r.a, b r.b)]
Else: If: hor slammed with `p.n.b` and `p.n.b`
Then: Produce the toss of `a` for the tree map root:
[n.a $(a l.a, b [n.b l.b ~]) r.a],
`b` for `r.b`.
Else: Produce the toss of `a` for the tree map root:
[n.a l.a $(a r.a, b [n.b ~ r.b])],
`b` for `l.b`.
Else: If: `p.n.a` is `p.n.b`,
Then: Produce the tree map root:
[n.b $(b l.b, a l.a) $(b r.b, a r.a)]
Else: If: hor slammed `p.n.a` and `p.n.b`,
Then: Produce the toss of `b` for:
The tree map root of [n.b $(b l.b, a [n.a l.a ~]) r.b],
`a` for `r.a`
Else: Produce the toss of `b` for:
The tree map root of [n.b l.b $(b r.b, a [n.a ~ r.a])],
`a` for `l.a`
####Examples
~zod/try=> m
{[p='a' q=1] [p='b' q=2]}
~zod/try=> o
{[p='d' q=4] [p='c' q=3]}
~zod/try=> (~(uni by m) o)
{[p='d' q=4] [p='a' q=1] [p='c' q=3] [p='b' q=2]}
~zod/try=> (~(uni by m) ~)
{[p='a' q=1] [p='b' q=2]}
~zod/try=> n
{[p='a' q=1] [p='c' q=3]}
~zod/try=> (~(uni by o) n)
{[p='d' q=4] [p='a' q=1] [p='c' q=3]}
##+- urn
Turn over the values of the map and produce the tranformed map.
####Summary
Build wet %gold gate with sample gate accepting two nouns and producing a noun, `b`.
Kick dry %gold trap.
If: `a` is null,
Then: Produce null,
Else: Produce the tuple [n=[p=p.n.a q=(b p.n.a q.n.a)] l=$(a l.a) r=$(a r.a)]
The root of the tree map with the value:A
The slam of `b` of with `p.n.a` and `q.n.a`
The left and right trees are the toss of `a` for their respective maps.
####Examples
~zod/try=> m
{[p='a' q=1] [p='b' q=2]}
~zod/try=> (~(urn by m) |=(a=[p=* q=*] q.a))
{[p='a' q=1] [p='b' q=2]}
~zod/try=> (~(urn by m) |=(a=[p=* q=*] 7))
{[p='a' q=7] [p='b' q=7]}
~zod/try=> (~(urn by m) |=(a=[p=* q=*] p.a))
{[p='a' q=97] [p='b' q=98]}
##+- wyt
Produce the depth of the tree map.
####Summary
Increment the following.
Kick dry %gold trap. Yield an atom.
If: `a` is null,
Then: Produce 0,
Else: Produce the increment of the sum of:
The toss of `a` for `l.a`,
the toss of `a` for `r.a`.
####Examples
~zod/try=> m
{[p='a' q=1] [p='b' q=2]}
~zod/try=> o
{[p='d' q=4] [p='c' q=3]}
~zod/try=> ~(wyt by m)
3
~zod/try=> ~(wyt by o)
3
~zod/try=> ~(wyt by (~(uni by m) o))
5
section 2dC, queues section 2dC, queues