+$coin
Noun-literal syntax cases
Syntax cases for nouns-literal: atoms, jammed nouns, and nestable tuples. Parsed
and printed using ++so and ++co cores.
Source
+$ coin $~ [%$ %ud 0]
$% [%$ p=dime]
[%blob p=*]
[%many p=(list coin)]
Examples
> `coin`(need (slay '~s1'))
[%$ p=[p=~.dr q=18.446.744.073.709.551.616]]
> `coin`(need (slay '0x2b59'))
[%$ p=[p=~.ux q=11.097]]
> ~(rend co [%many ~[[%$ %ud 1] [%$ %tas 'a'] [%$ %s -2]]])
"._1_a_-2__"
> ._1_a_-2__
[1 %a -2]
> `@uv`(jam [3 4])
0v2cd1
> (slay '~02cd1')
[~ u=[%blob p=[3 4]]]
> ~02cd1
[3 4]+$dime
Aura-atom pair
Used in ++coin. Convenience methods
++scot and
++scow print dimes as ++cord and
++tape, respectively. ++slat,
++slav, and
++slaw are used to parse atoms of
specific auras.
Source
+$ dime [p=@ta q=@]
Examples
> +>:(slay '0x123')
p=[p=~.ux q=291]+$edge
Parsing location metadata. Parsing location input p and optional result p.q and parsing continuation q.q.
Source
+$ edge [p=hair q=(unit [p=* q=nail])]
Examples
> *edge
[p=[p=0 q=0] q=~]
> (tall:vast [1 1] "a b")
[p=[p=1 q=3] q=[~ u=[p=[%wing p=~[%a]] q=[p=[p=1 q=2] q=" b"]]]]Discussion
See also: $rule.
+$hair
Parsing line and column
A pair of two @ud used in parsing indicating line and column number.
Source
+$ hair [p=@ud q=@ud]
Examples
> *hair
[p=0 q=0]
> `hair`[1 1] :: parsing starts at [1 1] as a convention.
[p=1 q=1]
> ((plus ace) [1 1] " --")
[p=[p=1 q=4] q=[~ u=[p=[~~. " "] q=[p=[p=1 q=4] q="--"]]]]
> `hair`p:((plus ace) [1 1] " --")
[p=1 q=4]++like
Generic edge
Generates an $edge with a parsed result set to a specific type.
Source
++ like |* a=$-(* *)
|: b=`*`[(hair) ~]
:- p=(hair -.b)
^= q
?@ +.b ~
:- ~
u=[p=(a +>-.b) q=[p=(hair -.b) q=(tape +.b)]]
Examples
> *(like char)
[p=[p=0 q=0] q=~]
> (ace [1 1] " a")
[p=[p=1 q=2] q=[~ u=[p=' ' q=[p=[p=1 q=2] q="a"]]]]
> `(like char)`(ace [1 1] " a")
[p=[p=1 q=2] q=[~ [p=~~. q=[p=[p=1 q=2] q="a"]]]]
> `(like ,@)`(ace [1 1] " a")
[p=[p=1 q=2] q=[~ u=[p=32 q=[p=[p=1 q=2] q="a"]]]]+$nail
Location, remainder of parsed text
Indicates parsing position p, and remaining text to be parsed q.
Source
+$ nail [p=hair q=tape]
Examples
> +<:;~(plug cab cab)
c=[p=[p=0 q=0] q=""]+$pint
Parsing range
A $pint is a pair of $hair, indicating from p to q. Mostly used for
stack traces.
Source
+$ pint [p=[p=@ q=@] q=[p=@ q=@]]
Examples
> !:(!!) :: !! always produces a crash
/~zod/base/~2014.9.20..01.22.04..52e3/:<[1 4].[1 6]>
> `pint`[[1 4] [1 6]]
[p=[p=1 q=4] q=[p=1 q=6]]+$rule
Parsing rule
An empty parsing rule, but used to check that parsing rules match this with _.
Source
+$ rule _|:($:nail $:edge)
Examples
> ([|=(a=nail [p.a ~ u=['a' a]])]:|6 [1 1] "hi")
[[p=1 q=1] ~ u=['a' p=[p=1 q=1] q="hi"]]+$spot
Stack trace line
The stack trace that is printed after crashing.
Source
++ spot [p=path q=pint]
Examples
> !: !! :: !! always produces a crash
/~zod/base/~2018.8.8..21.42.40..7852:<[1 5].[1 7]>
! exit+$tone
Nock result, error report
Produces either success (%0), a block with list of requests blocked on (%1),
or failure with an error report (%2).
Source
+$ tone $% [%0 product=*]
[%1 block=*]
[%2 trace=(list [@ta *])]
==
Examples
> (mink [[20 21] 0 3] $~)
[%0 product=21]> (mink [[1 2] !=(!:(+(.)))] ,~)
[%2 trace=~[[~.spot [[1.685.027.454 1.702.060.386 20.241.306.789.072.368.304.935.424.358.627.395.315.601.229.215.400.789.787.861.332.606 0] [1 20] 1 24]]]]+$toon
Nock result, stack trace
Produces either success (%0), a block with list of requests blocked on (%1),
or failure with a stack trace (%2).
Source
+$ toon $% [%0 p=*] :: success
[%1 p=*] :: block
[%2 p=(list tank)] :: stack trace
== ::
Examples
> (mock [[20 21] 0 3] $~)
[%0 p=21]> (mock [[1 2] !=(!:(+(.)))] ,~)
[ %2
p
~[
[ %rose
p=[p=":" q="" r=""]
q=[i=[%rose p=[p="/" q="/" r=""] q=[i=[%leaf p="~zod"] t=[i=[%leaf p="base"] t=[i=[%leaf p="~2021.10.16..10.03.16..59ee"] t=~]]]] t=[i=[%leaf p="<[1 20].[1 24]>"] t=~]]
]
]
]++wonk
Product from edge
Pull result out of a $edge, or crash if there's no result.
Source
++ wonk =+ veq=$:edge
|@ ++ $ ?~(q.veq !! p.u.q.veq)
--
Examples
> (wide:vast [1 1] "(add 2 2)")
[p=[p=1 q=10] q=[~ [p=[%cncl p=[%wing p=~[%add]] q=~[[%sand p=%ud q=2] [%sand p=%ud q=2]]] q=[p=[p=1 q=10] q=""]]]]> (wonk (wide:vast [1 1] "(add 2 2)"))
[%cncl p=[%wing p=~[%add]] q=~[[%sand p=%ud q=2] [%sand p=%ud q=2]]]Discussion
See also: $edge