From b2806d7af02e46069c5604baab70592f3e6096bc Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 24 Sep 2020 14:08:54 -0400 Subject: Support table column alignment in md.bqn --- docs/implementation/vm.html | 296 ++++++++++++++++++++++---------------------- 1 file changed, 148 insertions(+), 148 deletions(-) (limited to 'docs/implementation') diff --git a/docs/implementation/vm.html b/docs/implementation/vm.html index c0608644..4805d6b1 100644 --- a/docs/implementation/vm.html +++ b/docs/implementation/vm.html @@ -36,221 +36,221 @@ - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + - + - - - + + + @@ -259,7 +259,7 @@
BB NameUsedLikeArgsUsedLikeArgs Description
00 PUSHXIXI Push object I
11 VAROII Push named variable I
22 VARMII Push named variable I reference
33 ARROXNXN Create length-N list
44 ARRMX3NX3N Create length-N reference list
55 FN1C Monadic function call
66 FN2C Dyadic function call
77 OP1DXX 1-modifier call
88 OP2DXX 2-modifier call
99 TR2DXX Create 2-train
1010 TR3D Create 3-train
1111 SETNXX Define variable
1212 SETUXX Change variable
1313 SETMXX Modify variable
1414 POPSXX Pop and discard top of stack
1515 DFNDXIXI Localize and push block I
1616 FN1OX5X5 Monadic call, checking for ·
1717 FN2OX6X6 Dyadic call, checking for ·
1818 CHKV Error if top of stack is ·
1919 TR3OX10X10 Create 3-train, checking for ·
2020 OP2H Bind right operand to 2-modifier
2121 LOCOXD, IXD, I Push local variable I from D frames up
2222 LOCMXD, IXD, I Push local variable reference I from D frames up
2323 VFYM Convert to matcher (for header tests)
2424 SETH Test header
2525 RETNXX Returns top of stack
- + @@ -267,103 +267,103 @@ - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -389,114 +389,114 @@
BB Name Stack effect Comments
00 PUSH → (i⊑consts)
33 ARRO x0 … xm → ⟨x0 … xm⟩ N total variables (m=n-1)
55 FN1C 𝕩 𝕤 → (𝕊 𝕩) 16: 𝕩 may be ·
66 FN2C 𝕩 𝕤 𝕨 → (𝕨 𝕊 𝕩) 17: 𝕨 or 𝕩 may be ·
77 OP1D 𝕣 𝕗 → (𝔽 _𝕣)
88 OP2D 𝕘 𝕣 𝕗 → (𝔽 _𝕣_ 𝔾)
99 TR2D g f → (F G)
1010 TR3D h g f → (F G H) 19: F may be ·
1111 SETN x r → (r←x) r is a reference
1212 SETU x r → (r↩x) r is a reference
1313 SETM x f r → (r F↩ x) r is a reference
1414 POPS x →
1515 DFND → (i⊑blocks) Also sets block's parent scope
2020 OP2H 𝕘 𝕣 → (_𝕣_ 𝕘)
2121 LOCO → x Local variable value
2222 LOCM → r Local variable reference
2525 RETN x → x Returns from current block
- + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + -- cgit v1.2.3
IndInd Name Description / restrictions
00 IsArray 1 if the right argument is an array, 0 otherwise
11 Type The fill value for array 𝕩
22 Log ⋆⁼ (natural or base-𝕨 logarithm) for atomic arguments
33 GroupLen ≠¨⊔𝕩 for a valid list 𝕩
44 GroupOrd ∾⊔𝕩 provided 𝕨 is GroupLen 𝕩
55 !
66 + On two atoms
77 - On one or two atoms
88 × On two atoms
99 ÷ On one or two atoms
1010 ⋆ On one or two atoms
1111 ⌊ On one atom
1212 = On one value or two atoms
1313 ≤ On two atoms
1414 ≢ For array 𝕩
1515 ⥊ For array 𝕩 with no 𝕨 or 𝕨=○(×´)≢𝕩
1616 ⊑ For atom 𝕨 and list 𝕩
1717 ↕ For natural number 𝕩
1818 ⌜ On arrays
1919 `
2020 ⊘