pareto 0.60.0 → 0.62.0

package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_indented_file_2_fountain_pen_indented_file/glossary.data.ts

@@ -0,0 +1,38 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    aInterface,
+    aInterfaceMethod,
+    aInterfaceReference,
+    array, data, dictionary, externalTypeReference, glossaryParameter, group, imp, infInit, member, null_, number, parametrizedType, ref, sfunction, streamconsumer, string, taggedUnion, type, typeParameter, typeReference
+} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+const d = pd.d
+
+import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
+import { $ as d_out } from "../../glossaries/fountain_pen_indented_file.data"
+
+export const $: g_glossary.D.Glossary = {
+    'data glossary': {
+        'glossary parameters': d({}),
+        'imports': d({
+
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
+        }),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+                // "SerializeData": type(group({
+                //     "block": member(ref(externalTypeReference("in", "Block"))),
+                // })),
+                // "String": type(string()),
+            }),
+        },
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "Map Block 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(externalTypeReference("in", "Block"))),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen_2_lines → fountain_pen_lines_2_lines}/api.data.ts

@@ -12,7 +12,7 @@ import { glossary, group, member, number, type } from "pareto-pure/auto.dist/pub
 export const $: g_project.D.API = api(
     glos,
     {
-        "indent": algorithm("Indent", null, {}),
+        "map Lines 2 Lines": algorithm("Map Lines 2 Lines", null, {}),
         "stream": algorithm("Stream", null, {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen_2_lines → fountain_pen_lines_2_lines}/glossary.data.ts

@@ -10,31 +10,33 @@ import {
 import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
 const d = pd.d
 
-import { $ as d_in } from "../../glossaries/fountain_pen.data"
+import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
 import { $ as d_out } from "../../glossaries/lines.data"
 
 export const $: g_glossary.D.Glossary = {
-    'glossary parameters': d({}),
-    'imports': d({
-        "in": imp(d_in, {}),
-        "out": imp(d_out, {}),
-    }),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
-            "IndentData": type(group({
-                "lines": member(ref(externalTypeReference("in", "Lines"))),
-                "indentation": member(string()),
-            })),
-            "String": type(string()),
+    'data glossary': {
+        'glossary parameters': d({}),
+        'imports': d({
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
         }),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+                "IndentData": type(group({
+                    "lines": member(ref(externalTypeReference("in", "Lines"))),
+                    "indentation": member(string()),
+                })),
+                "String": type(string()),
+            }),
+        },
     },
     'interface types': d({
         "Lines": aInterface(aInterfaceMethod(externalTypeReference("in", "Lines"))),
         "Indented Lines": aInterface(streamconsumer(aInterfaceMethod(typeReference("String")), null)),
     }),
     'algorithm types': d({
-        "Indent": sfunction(externalTypeReference("out", "Lines"), data(typeReference("IndentData"))),
+        "Map Lines 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(typeReference("IndentData"))),
         "Stream": infInit(aInterfaceReference("Lines"), {
             "handler": aInterfaceReference("Indented Lines")
         }),

package/auto.pareto/auto.dependencies/pareto-pure/modules/{alan_light_2_string_aware_fountain_pen → graphviz_2_fountain_pen_indented_file_with_escaped_strings}/api.data.ts

@@ -15,6 +15,6 @@ export const $: g_project.D.API = api(
          * Serialization to this format can be done in a pure way.
          * serialization from this format to an array of strings is not pure, specifically for 1 reason so far: apostrophed strings.
          */
-        "map": algorithm("Map", null, {}),
+        "map Graph 2 Block": algorithm("Map Graph 2 Block", null, {}),
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/{graphviz_2_string_aware_fountain_pen → graphviz_2_fountain_pen_indented_file_with_escaped_strings}/glossary.data.ts

@@ -16,25 +16,27 @@ import {
 } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
 import { $ as d_in } from "../../glossaries/auto.graphviz.data"
-import { $ as d_out } from "../../glossaries/string_aware_fountain_pen.data"
+import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
 
 import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
-    'glossary parameters': d({}),
-    'imports': d({
-        "in": imp(d_in, {}),
-        "out": imp(d_out, {}),
-    }),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
+    'data glossary': {
+        'glossary parameters': d({}),
+        'imports': d({
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
         }),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+            }),
+        },
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Graph"))),
+        "Map Graph 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Graph"))),
     }),
 
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/{pareto_2_typescript → pareto_2_typescript_intermediate}/api.data.ts

@@ -11,6 +11,6 @@ export const $: g_project.D.API = api(
     glos,
 
     {
-        "map": algorithm("Map", null, {})
+        "map Compilation Unit 2 Block": algorithm("Map Compilation Unit 2 Block", null, {})
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/{pareto_2_typescript → pareto_2_typescript_intermediate}/glossary.data.ts

@@ -32,22 +32,24 @@ import { $ as d_out } from "../../glossaries/typescript_intermediate.data"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
-    'imports': d({
-        "in": imp(d_in, {}),
-        "out": imp(d_out, {}),
-    }),
-
-    'glossary parameters': d({}),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
-            "Map Data": type(group({
-                "compilation unit": member(ref(externalTypeReference("in", "Compilation Unit", {}))),
-            })),
+    'data glossary': {
+        'imports': d({
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
         }),
+
+        'glossary parameters': d({}),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+                "Map Data": type(group({
+                    "compilation unit": member(ref(externalTypeReference("in", "Compilation Unit", {}))),
+                })),
+            }),
+        },
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map": sfunction(externalTypeReference("out", "Block"), data(typeReference("Map Data"))),
+        "Map Compilation Unit 2 Block": sfunction(externalTypeReference("out", "Block"), data(typeReference("Map Data"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/api.data.ts

@@ -11,7 +11,7 @@ export const $: g_project.D.API = api(
     glos,
 
     {
-        "map": algorithm("Map", null, {})
+        "map Model 2 Root": algorithm("Map Model 2 Root", null, {})
 
     }
 )

package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/glossary.data.ts

@@ -32,18 +32,20 @@ import { $ as d_out } from "../../glossaries/auto.alan_light.data"
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
-    'imports': d({
-        "in": imp(d_in, {}),
-        "out": imp(d_out, {}),
-    }),
-    'glossary parameters': d({}),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
+    'data glossary': {
+        'imports': d({
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
         }),
+        'glossary parameters': d({}),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+            }),
+        },
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Map": sfunction(externalTypeReference("out", "Root"), data(externalTypeReference("in", "Model"))),
+        "Map Model 2 Root": sfunction(externalTypeReference("out", "Root"), data(externalTypeReference("in", "Model"))),
     }),
 }

package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_cosmos_type_system/glossary.data.ts

@@ -14,55 +14,57 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
-    'glossary parameters': d({}),
-    'imports': d({
-        "in": imp(d_in, {}),
-        "out": imp(d_out, {}),
-    }),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
-            "MapData": type(group({
-                "mapped library": member(ref(typeReference("Mapped Library"))),
-                "settings": member(ref(typeReference("Mapping Settings"))),
-            })),
-            "Mapped Library": type(group({
-                "library": member(ref(externalTypeReference("in", "Type Library", {}))),
-                "terminal mapping": member(ref(typeReference("Terminal Mapping"))),
-            })),
+    'data glossary': {
+        'glossary parameters': d({}),
+        'imports': d({
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
+        }),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+                "MapData": type(group({
+                    "mapped library": member(ref(typeReference("Mapped Library"))),
+                    "settings": member(ref(typeReference("Mapping Settings"))),
+                })),
+                "Mapped Library": type(group({
+                    "library": member(ref(externalTypeReference("in", "Type Library", {}))),
+                    "terminal mapping": member(ref(typeReference("Terminal Mapping"))),
+                })),
 
-            "Terminal Mapping": type(dictionary(taggedUnion({
-                "boolean": null_(),
-                "number": null_(),
-                "string": null_(),
-            }))),
-            "Mapping Settings": type(group({
-                "annotations": member(boolean()),
-                "datamodel": member(optional(group({
-                    "constraints mapping": member(group({
-                        "terminal values": member(boolean()),
-                        "constraints": member(optional(taggedUnion({
-                            "optional": group({}),
-                            "required": group({}),
-                        }))),
-                    })),
+                "Terminal Mapping": type(dictionary(taggedUnion({
+                    "boolean": null_(),
+                    "number": null_(),
+                    "string": null_(),
                 }))),
-                // "visitor interface": member(optional(group({
-                //     "datamodel": member(taggedUnion({
-                //         "internal": group({}),
-                //         "exernal": group({
-                //             "location": member(string()),
-                //         }),
-                //     })),
-                // }))),
-                // "algorithms": member(group({
-                //     "serialize": member(optional(group({
-                //         //data location,
-                //     }))),
-                //     //resolve
-                // })),
-            })),
-        }),
+                "Mapping Settings": type(group({
+                    "annotations": member(boolean()),
+                    "datamodel": member(optional(group({
+                        "constraints mapping": member(group({
+                            "terminal values": member(boolean()),
+                            "constraints": member(optional(taggedUnion({
+                                "optional": group({}),
+                                "required": group({}),
+                            }))),
+                        })),
+                    }))),
+                    // "visitor interface": member(optional(group({
+                    //     "datamodel": member(taggedUnion({
+                    //         "internal": group({}),
+                    //         "exernal": group({
+                    //             "location": member(string()),
+                    //         }),
+                    //     })),
+                    // }))),
+                    // "algorithms": member(group({
+                    //     "serialize": member(optional(group({
+                    //         //data location,
+                    //     }))),
+                    //     //resolve
+                    // })),
+                })),
+            }),
+        },
     },
     'interface types': d({
     }),

package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_pareto/glossary.data.ts

@@ -14,16 +14,18 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
-    'glossary parameters': d({}),
-    'imports': d({
-        "in": imp(d_in, {}),
-        "out": imp(d_out, {}),
-    }),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
-
+    'data glossary': {
+        'glossary parameters': d({}),
+        'imports': d({
+            "in": imp(d_in, {}),
+            "out": imp(d_out, {}),
         }),
+        'root': {
+            'namespaces': d({}),
+            'data types': d({
+
+            }),
+        },
     },
     'interface types': d({
     }),

package/auto.pareto/auto.dependencies/pareto-pure/modules/testresult_2_testresult/glossary.data.ts

@@ -9,127 +9,129 @@ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.c
 const d = pd.d
 
 export const $: g_glossary.D.Glossary = {
-    'glossary parameters': d({}),
-    'imports': d({
-    }),
-    'root': {
-        'namespaces': d({
-            "intermediate": {
-                'namespaces': d({
-
-                }),
-                'data types': d({}),
-            },
-            "summary": {
-                'namespaces': d({
-
-                }),
-                'data types': d({}),
-            },
+    'data glossary': {
+        'glossary parameters': d({}),
+        'imports': d({
         }),
-        'data types': d({
-            "Library": type(group({
-                "public": member(ref(typeReference("Module Set"))),
-                "private": member(ref(typeReference("Module Set"))),
-            })),
-            "Module Set": type(dictionary(ref(typeReference("Module")))),
-            "Module": type(dictionary(ref(typeReference("Algorithm")))),
-            "Algorithm": type(group({
-                "location": member(ref(typeReference("Source Location"))),
-                "tests": member(optional(dictionary(ref(typeReference("Test"))))),
-            })),
-            "Source Location": type(group({
-                "file": member(string()),
-                "line": member(number()),
-                "column": member(number()),
-            })),
-            "Test": type(array(ref(typeReference("Error")))),
-            "Error": type(taggedUnion({
-                "content": ref(typeReference("Compare Error"))
-            })),
-            "Compare Error": type(group({
-                "location": member(ref(typeReference("Source Location"))),
-                "path": member(string()),
-                "type": member(taggedUnion({
-                    "wrong number": group({
-                        "found": member(number()),
-                    }),
-                    "wrong text": group({
-                        "found": member(string()),
-                    }),
-                    "wrong boolean": group({
-                        "found": member(boolean())
-                    }),
-                    "optional value expected not to be set": null_(),
-                    "optional value expected to be set": null_(),
-                    "not the right state": group({
-                        "found": member(string())
-                    }),
-                    "not enough elements": null_(),
-                    "too many elements": null_(),
-                    "superfluous entries": group({
-                        "keys": member(dictionary(null_()))
+        'root': {
+            'namespaces': d({
+                "intermediate": {
+                    'namespaces': d({
+
                     }),
-                    "missing dictionary entry": group({
-                        "key": member(string()),
+                    'data types': d({}),
+                },
+                "summary": {
+                    'namespaces': d({
+
                     }),
+                    'data types': d({}),
+                },
+            }),
+            'data types': d({
+                "Library": type(group({
+                    "public": member(ref(typeReference("Module Set"))),
+                    "private": member(ref(typeReference("Module Set"))),
+                })),
+                "Module Set": type(dictionary(ref(typeReference("Module")))),
+                "Module": type(dictionary(ref(typeReference("Algorithm")))),
+                "Algorithm": type(group({
+                    "location": member(ref(typeReference("Source Location"))),
+                    "tests": member(optional(dictionary(ref(typeReference("Test"))))),
+                })),
+                "Source Location": type(group({
+                    "file": member(string()),
+                    "line": member(number()),
+                    "column": member(number()),
+                })),
+                "Test": type(array(ref(typeReference("Error")))),
+                "Error": type(taggedUnion({
+                    "content": ref(typeReference("Compare Error"))
                 })),
+                "Compare Error": type(group({
+                    "location": member(ref(typeReference("Source Location"))),
+                    "path": member(string()),
+                    "type": member(taggedUnion({
+                        "wrong number": group({
+                            "found": member(number()),
+                        }),
+                        "wrong text": group({
+                            "found": member(string()),
+                        }),
+                        "wrong boolean": group({
+                            "found": member(boolean())
+                        }),
+                        "optional value expected not to be set": null_(),
+                        "optional value expected to be set": null_(),
+                        "not the right state": group({
+                            "found": member(string())
+                        }),
+                        "not enough elements": null_(),
+                        "too many elements": null_(),
+                        "superfluous entries": group({
+                            "keys": member(dictionary(null_()))
+                        }),
+                        "missing dictionary entry": group({
+                            "key": member(string()),
+                        }),
+                    })),
 
-            })),
-            "Summary": type(group({
-                "number of tests": member(number()),
-                "number of missing tests": member(number()),
-                "number of errors": member(number()),
-            })),
+                })),
+                "Summary": type(group({
+                    "number of tests": member(number()),
+                    "number of missing tests": member(number()),
+                    "number of errors": member(number()),
+                })),
 
-            "String": type(string()),
+                "String": type(string()),
 
-            "intLibrary": type(group({
-                "public": member(ref(typeReference("intModule Set"))),
-                "private": member(ref(typeReference("intModule Set"))),
-            })),
-            "intModule Set": type(dictionary(ref(typeReference("intModule")))),
-            "intModule": type(dictionary(ref(typeReference("intAlgorithm")))),
-            "intAlgorithm": type(group({
-                "location": member(ref(typeReference("Source Location"))),
-                "status": member(taggedUnion({
-                    "no tests": null_(),
-                    "skipped": null_(),
-                    "has tests": dictionary(ref(typeReference("intTest"))),
+                "intLibrary": type(group({
+                    "public": member(ref(typeReference("intModule Set"))),
+                    "private": member(ref(typeReference("intModule Set"))),
                 })),
-            })),
-            "intTest": type(taggedUnion({
-                "has errors": array(ref(typeReference("Error"))),
-                "has no errors": null_(),
-            })),
-            "annotatedStatus": type(taggedUnion({
-                "has errors": null_(),  // red
-                "missing tests": null_(), // yellow
-                "no tests": null_(), // grey
-                "success": null_(), // green
-            })),
-            "annotatedLibrary": type(group({
-                "public": member(ref(typeReference("annotatedModule Set"))),
-                "private": member(ref(typeReference("annotatedModule Set"))),
-            })),
-            "annotatedModule Set": type(group({
-                "status": member(ref(typeReference("annotatedStatus"))),
-                "modules": member(dictionary(ref(typeReference("annotatedModule")))),
-            })),
-            "annotatedModule": type(group({
-                "status": member(ref(typeReference("annotatedStatus"))),
-                "algorithms": member(dictionary(ref(typeReference("annotatedAlgorithm")))),
-            })),
-            "annotatedAlgorithm": type(group({
-                "location": member(ref(typeReference("Source Location"))),
-                "status": member(ref(typeReference("annotatedStatus"))),
-                "tests": member(dictionary(ref(typeReference("annotatedTest")))),
-            })),
-            "annotatedTest": type(group({
-                "status": member(ref(typeReference("annotatedStatus"))),
-                "errors": member(array(ref(typeReference("Error")))),
-            })),
-        }),
+                "intModule Set": type(dictionary(ref(typeReference("intModule")))),
+                "intModule": type(dictionary(ref(typeReference("intAlgorithm")))),
+                "intAlgorithm": type(group({
+                    "location": member(ref(typeReference("Source Location"))),
+                    "status": member(taggedUnion({
+                        "no tests": null_(),
+                        "skipped": null_(),
+                        "has tests": dictionary(ref(typeReference("intTest"))),
+                    })),
+                })),
+                "intTest": type(taggedUnion({
+                    "has errors": array(ref(typeReference("Error"))),
+                    "has no errors": null_(),
+                })),
+                "annotatedStatus": type(taggedUnion({
+                    "has errors": null_(),  // red
+                    "missing tests": null_(), // yellow
+                    "no tests": null_(), // grey
+                    "success": null_(), // green
+                })),
+                "annotatedLibrary": type(group({
+                    "public": member(ref(typeReference("annotatedModule Set"))),
+                    "private": member(ref(typeReference("annotatedModule Set"))),
+                })),
+                "annotatedModule Set": type(group({
+                    "status": member(ref(typeReference("annotatedStatus"))),
+                    "modules": member(dictionary(ref(typeReference("annotatedModule")))),
+                })),
+                "annotatedModule": type(group({
+                    "status": member(ref(typeReference("annotatedStatus"))),
+                    "algorithms": member(dictionary(ref(typeReference("annotatedAlgorithm")))),
+                })),
+                "annotatedAlgorithm": type(group({
+                    "location": member(ref(typeReference("Source Location"))),
+                    "status": member(ref(typeReference("annotatedStatus"))),
+                    "tests": member(dictionary(ref(typeReference("annotatedTest")))),
+                })),
+                "annotatedTest": type(group({
+                    "status": member(ref(typeReference("annotatedStatus"))),
+                    "errors": member(array(ref(typeReference("Error")))),
+                })),
+            }),
+        },
     },
     'interface types': d({
         "Stringstream": sInterface(sInterfaceMethod(typeReference("String"))),