Merge pull request #113 from Dyalog/110-better-support-for-generics

Add documentation for 43⌶ and generics.

Closes #110

Author: pmikkelsen

language-reference-guide/docs/the-i-beam-operator/i-beam.md

@@ -29,6 +29,7 @@ The column labelled *O/S* indicates if a function applies only on Windows (W), o
 |A      |Derived Function                                                                      |O/S   |
 |-------|--------------------------------------------------------------------------------------|------|
 |`8`    |[Inverted Table Index-of](./inverted-table-index-of.md)                               | |
+|`43`   |[Monadic Operator Generator](./monadic-operator-generator.md)                         | |
 |`85`   |[Execute Expression](./execute-expression.md)                                         | |
 |`127`  |[Overwrite Free Pockets](./overwrite-free-pockets.md)                                 | |
 |`180`  |[Canonical Representation](./canonical-representation.md)                             | |

language-reference-guide/docs/the-i-beam-operator/monadic-operator-generator.md

@@ -0,0 +1,33 @@
+<h1 class="heading"><span class="name">Monadic Operator Generator</span> <span class="command">R←43⌶Y</span></h1>
+
+Returns a monadic operator, with functionality determined by the value of `Y`.
+
+`Y` is a scalar integer. Possible values for `Y` are shown in the table below. If an undefined value is specified, a `DOMAIN ERROR` is generated.
+
+`R` is a monadic operator with functionality determined by the value of `Y`.
+As `R`is a monadic operator, Dyalog Ltd recommends that the evaluation of this I-Beam is either parenthesised or named.
+
+| `Y` | Returned Operator | Notes |
+|---|---                |---|
+|632|[Generics Operator](#632-generics-operator)| Requires .NET. |
+
+
+!!! warning
+	The set of supported values for `Y` might change, with existing values being withdrawn as well as new ones being added. This means that saving the resulting operator in a workspace and attempting to run it in a later release might result in a `DOMAIN ERROR` if support has been withdrawn.
+
+
+### 632 - Generics Operator
+The generics operator can create concrete versions of generic classes and execute generic methods. For more information, see the *.NET Interface Guide*.
+
+<h3 class="example">Example</h3>
+
+```apl
+      ⎕USING←''
+
+      ⍝ I-Beam call is parenthesised
+      IntList←System.Collections.Generic.List (43⌶632) System.Int32
+
+      ⍝ Result of I-Beam call is named
+      GenOp←43⌶632
+      CharList←System.Collections.Generic.List GenOp System.Char
+```

language-reference-guide/mkdocs.yml

@@ -309,6 +309,7 @@ nav:
   - The I-Beam Operator:
       - Introduction: the-i-beam-operator/i-beam.md
       - Inverted Table Index Of: the-i-beam-operator/inverted-table-index-of.md
+      - Monadic Opeator Generator: the-i-beam-operator/monadic-operator-generator.md
       - Execute Expression: the-i-beam-operator/execute-expression.md
       - Overwrite Free Pockets: the-i-beam-operator/overwrite-free-pockets.md
       - Canonical Representation: the-i-beam-operator/canonical-representation.md

language-reference-guide/print_mkdocs.yml

@@ -201,6 +201,7 @@ nav:
       - I-Beam: primitive-operators/i-beam.md
       - The I-Beam Operator:
           - Inverted Table Index Of: the-i-beam-operator/inverted-table-index-of.md
+          - Monadic Opeator Generator: the-i-beam-operator/monadic-operator-generator.md
           - Execute Expression: the-i-beam-operator/execute-expression.md
           - Overwrite Free Pockets: the-i-beam-operator/overwrite-free-pockets.md
           - Canonical Representation: the-i-beam-operator/canonical-representation.md