add :help

Author: dzaima

AndroidIDE/AndroidManifest.xml

@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<manifest xmlns:android="http://schemas.android.com/apk/res/android" android:versionCode="5" android:versionName="0.1.7" package="dzaima.aplide">
+<manifest xmlns:android="http://schemas.android.com/apk/res/android" android:versionCode="5" android:versionName="0.1.8" package="dzaima.aplide">
     <uses-sdk android:minSdkVersion="17" android:targetSdkVersion="28"/>
     <application android:icon="@mipmap/ic_launcher" android:label="">
         <activity android:name=".MainActivity" android:theme="@style/Theme.AppCompat.Light.NoActionBar.FullScreen">

AndroidIDE/Highlight.pde

@@ -192,5 +192,7 @@ static class Theme {
 
   int caret = def;
   int[] dfn = {#AA77BB, #EEBB44, #CC7799, #CCDD00, #B63CDA};
-  
+}
+static class NoErrTheme extends Theme {
+  { err = #AA77BB; }
 }

AndroidIDE/Tab.pde

@@ -45,7 +45,7 @@ static class REPL extends Tab {
         inputs.add(line);
         iptr = inputs.size();
         textln("  "+line+"\n");
-        if (line.startsWith(":")) {
+        if (line.startsWith(":") || line.equals(")help")) {
           String cmd = line.substring(1);
           int i = cmd.indexOf(" "); 
           String nm = i==-1? cmd : cmd.substring(0, i);
@@ -102,6 +102,28 @@ static class REPL extends Tab {
             if (o instanceof Ddop) {
               topbar.toNew(new Ed(nm, ((Ddop) o).code.source()));
             }
+          } else if (nm.equals("h") || nm.equals("help")) {
+            if (arg.length()==0) {
+              textln("commands:");
+              textln(":h/:help  view this help page");
+              textln(":h kb     view help for keyboard layout");
+              textln(":h c      view character docs");
+              textln(":isz sz   change input box font size");
+              textln(":hsz sz   change REPL history font size");
+              textln(":tsz sz   change top bar size");
+              textln(":g expr   graph the expression (editable in the window)");
+              textln(":clear    clear REPL history");
+              textln(":f  path  edit file at the path");
+              textln(":fx path  edit file at the path, executing on save");
+              textln(":ex path  execute file at the path");
+              textln(":ed fn    edit the function by name in another window (= - save, ⏎ - newline, X - save (!) & close)");
+            } else {
+              if (arg.equals("kb")) {
+                topbar.toNew(new HelpEd(":help kb", join(a.loadStrings("help_kb.txt"), '\n')));
+              } else if (arg.equals("c")) {
+                topbar.toNew(new HelpEd(":help c", join(a.loadStrings("help_c.txt"), '\n')));
+              } else textln("unknown help page \""+arg+"\"");
+            }
           } else textln("Command "+nm+" not found");
           //else if (nm.equals(""))
           return;
@@ -222,6 +244,14 @@ abstract static class Editor extends Tab {
   }
 }
 
+static class HelpEd extends Editor {
+  HelpEd(String name, String val) {
+    super(name, val);
+    ta.th = new NoErrTheme();
+  }
+  void save(String val) {
+  }
+}
 
 static class Grapher extends Tab {
   Graph g;

AndroidIDE/data/help_c.txt

@@ -0,0 +1,105 @@
+fns:
+ dyadic  monadic
++   add; identity (no complex numbers)
+-   sub; negate / swap case
+×   mul; sign / case (i.e. ×'Hi ' → 1 ¯1 0) / ×|map
+÷   div; 1÷⍵
+*   pow; e*⍵
+⍟   log; e⍟⍵
+√  root; 2√⍵
+⌈   max; ceil / uppercase
+⌊   min; floor / lowercase
+|   mod; abs / map size
+∧   lcm; lcm (aka every; all 1)
+∨   gcd; gcd (aka some; contains 1)
+⍲  nand; not all / contains 0
+⍱   nor; none / all 0
+⊥  from; 2⊥⍵; aka decode, pack
+⊤    to; 2⊤⍵; aka encode, unpack
+○  trig; pi×⍵
+!   nCk; factorial
+
+  monadic  dyadic
+∊      in; enlist
+⍷     NYI; find
+⌷ map k&v; select cell
+⍳ indexes; where
+~ without; negate
+⍸   where; NYI; where can contain >1; also ⍸⍣¯1 is useful
+⍴   shape; reshape
+,   ravel; concat
+⍮      ,⊂; {⍺⍵}
+≢   tally; not equal
+≡   depth; equal
+⊢       ⍵; ⍵
+⊣       ⍵; ⍺
+↑   merge; take; merge as in merge dimensions
+↓   split; drop; split off last dimension as arrays
+?    rand; deal
+⍪   table; vertical concat
+⊖    flip; vertical rotate
+⌽ reverse; horizontal rotate
+…     NYI; range
+⍕  format; NYI
+⍎    eval; eval arrayified (`-⍎4)
+⌿     NYI; replicate
+⍀     NYI; expand
+∪  unique; union
+∩     NYI; intersection
+⊂ enclose; split
+⊃   first; get single item ('ab'≡1 1⊃2 2⍴⊂'ab')
+⊇     NYI; multi-select (subject to ⎕VI)
+%     NYI; merge - 1 2 2 3%4↑¨⎕a⎕l⎕d → 'Abc3'
+⍋    grade up; NYI
+⍒  grade down; NYI
+⍉   transpose; NYI
+⍧ unique mask; count
+          
+
+< lt; sort asc
+≤ le; NYI
+= eq; NYI
+≥ ge; NYI
+> gt; sort desc
+≠ ne; NYI (⍧ is unique mask)
+  
+monadic ops:
+
+/  reduce
+\  left scan
+¨  for each
+⍨  selfie; commute
+⌾  table (aka ∘.⍺⍺)
+⌸  key; also get/set map keys (e.g. 'x'(map⌸)5; map⌸'x')
+ᐵ  each-left (A fᐵ B ≡ A f¨ ⊂B)
+ᑈ  each-right (A fᑈ B ≡ (⊂A) f¨ B)
+
+dyadic ops
+
+∘  compose (←→ {⍶ ⍹ ⍵} or {⍺ ⍶ ⍹ ⍵})
+⍛  left-compose (←→ {(⍶ ⍺) ⍹ ⍵})
+.  NYI (well, ←→ {⍶/ ⍺ ⍹ ⍵})
+⍣  repeat
+⍡  cumulative repeat
+⍥  over (←→ {(⍹⍺) ⍶ ⍹⍵} )
+⍤  atop (←→ {⍺⍺ ⍺ ⍵⍵ ⍵} )
+⍢  under (←→ {⍺←{⍺⍺⋄⍵}⋄(⍹⍣¯1) (⍹⍺) ⍶ ⍹⍵}; also is structural under; ⍺⍺ can be an array)
+⍫  obverse - define inverse: ⍶ - regular function, ⍹ - inverse
+@  at; right op = indices or function giving boolean array, left op = replacement array or function
+⍁  for each diagonal
+
+nilads:
+
+⍬  0⍴0
+⎕  console (println; exec input line)
+⍞  console (print  ; input as string)
+⍺  left arg
+⍵  right arg
+⍶  left operand
+⍹  right operand
+∇  this function
+
+dfns:
+{A ⋄ B} → B (also executing A)
+{C:A ⋄ B} → B (also executing A if C was true)
+{C:←A ⋄ B} → A if C, else B

AndroidIDE/data/help_kb.txt

@@ -0,0 +1,25 @@
+swipe on characters to enter ones around it
+M - go to matching bracket
+F - switch layout to one with extra functions
+N - switch layout to numbers at top-level
+A - switch to text layout
+# - switch to default layout
+⇧ - shift (caps letters, select with «»)
+X - close tab (where applicable - grapher & editor)
+K - open virtual keyboard
+= - evaluate
+
+↶↷ - undo/redo
+▲▼ - move trough REPL history
+^C/^V - copy/paste
+
+
+:isz sz     change input box font size
+:hsz sz     change REPL history font size
+:tsz sz     change top bar size
+:g expr     graph the expression (editable in the window)
+:clear      clear REPL history
+:f  path    edit file at the path
+:fx path    edit file at the path, executing on save
+:ex path    execute file at the path
+:ed fn      edit the function by name in another window (= - save, ⏎ - newline, X - save (!) & close)