pareto 0.56.0 → 0.57.0

package/auto.pareto/{modules/fountain_pen → auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/nested}/api.data.ts

@@ -1,5 +1,3 @@
-
-
 import * as pd from 'pareto-core-data'
 
 import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
@@ -12,6 +10,6 @@ import { glossary, group, member, number, type } from 'pareto/auto.dist/public/s
 export const $: g_project.D.API = api(
     glos,
     {
-        "serialize": algorithm("Serialize", null, {})
+        "flatten": algorithm("Flatten", null, {})
     }
 )

package/auto.pareto/{modules/fountain_pen → auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/nested}/glossary.data.ts

@@ -14,19 +14,16 @@ export const $: g_glossary.D.Glossary = {
     'root': {
         'namespaces': d({}),
         'data types': d({
-            "Block": type(array(taggedUnion({
-                "nested line": ref(typeReference("Line")),
-                "line": string(),
-            }))),
-            "Line": type(array(taggedUnion({
-                "snippet": string(),
-                "indent": ref(typeReference("Block"))
-            }))),
-            "Lines": type(array(string())),
+            "Nested": parametrizedType({ "Type": null }, taggedUnion({
+                "single": ref(typeParameter("Type")),
+                "multiple": array(ref(typeReference("Nested", { "Type": typeParameter("Type")}))),
+                "none": null_(),
+            })),
+            "Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type"))))
         }),
     },
     'interface types': d({}),
     'algorithm types': d({
-        "Serialize": sfunction(typeReference("Lines"), data(typeReference("Block")))
+        "Flatten": sfunction(typeReference("Array", { "Type": typeParameter("Type")}), data(typeReference("Nested", { "Type": typeParameter("Type")})), { "Type": null })
     }),
-}
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/api.data.ts

@@ -0,0 +1,18 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "smallerThan": algorithm("SmallerThan", null, {}),
+        "greaterThan": algorithm("GreaterThan", null, {}),
+        "isZero": algorithm("IsZero", null, {}),
+        "equal": algorithm("Equal", null, {}),
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/glossary.data.ts

@@ -0,0 +1,40 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    array, boolean, data, dictionary, externalTypeReference, group, member, number, optional, sfunction,
+    type, typeReference
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "Boolean": type(boolean()),
+            "Number": type(number()),
+            "NumberPair": type(group({
+                "yin": member(number()),
+                "yang": member(number()),
+            })),
+            "CompareData": type(group({
+                "benchmark": member(number()),
+                "focus": member(number()),
+            })),
+
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "IsZero": sfunction(typeReference("Boolean"), data(typeReference("Number"))),
+
+        "GreaterThan": sfunction(typeReference("Boolean"), data(typeReference("CompareData"))),
+        "SmallerThan": sfunction(typeReference("Boolean"), data(typeReference("CompareData"))),
+        "Equal": sfunction(typeReference("Boolean"), data(typeReference("NumberPair"))),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/path/api.data.ts

@@ -0,0 +1,19 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+
+        "convertWindowsPathToPosixPath": algorithm("ConvertWindowsPathToPosixPath", null, {}),
+        "basename": algorithm("Basename", null, {}),
+        "dirname": algorithm("Dirname", null, {}),
+        "parseFilePath": algorithm("ParseFilePath", null, {}),
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/path/glossary.data.ts

@@ -0,0 +1,35 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    array, data, externalTypeReference, group, member, sfunction, string, type, typeReference
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "String": type(string()),
+            "ParseFilePathData": type(group({
+                "filePath": member(string()),
+                "pathSeparator": member(string()),
+            })),
+            "ParsedFilePath": type(group({
+                "directoryPath": member(array(string())),
+                "baseName": member(string()),
+            })),
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "ConvertWindowsPathToPosixPath": sfunction(typeReference("String"), data(typeReference("String"))),
+        "Basename": sfunction(typeReference("String"), data(typeReference("String"))),
+        "Dirname": sfunction(typeReference("String"), data(typeReference("String"))),
+        "ParseFilePath": sfunction(typeReference("ParsedFilePath"), data(typeReference("ParseFilePathData"))),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/resolve/api.data.ts

@@ -0,0 +1,20 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, sInterface, sInterfaceMethod, string, type, typeReference } from 'pareto/auto.dist/public/shorthands/cosmos'
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "sortTopologically": algorithm("SortTopologically", null, {}),
+        // "unsafeResolveDictionary": algorithm("UnsafeResolveDictionary", null, {}),
+        // "safeResolveDictionary": algorithm("SafeResolveDictionary", null, {
+        // }, {
+        //     "onError": sideEffect("OnError", 'sync')
+        // }),
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/resolve/glossary.data.ts

@@ -0,0 +1,84 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    string, member, group,
+    typeReference,
+    data,
+    sfunction,
+    type,
+    externalTypeReference,
+    boolean,
+    parametrizedType,
+    dictionary,
+    ref,
+    typeParameter,
+    array,
+    null_,
+    computed,
+    sInterface,
+    sInterfaceMethod,
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters':d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
+            "Array": parametrizedType({ "Type": null }, array(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
+            "KeyValuePair": parametrizedType({ "Type": null }, group({
+                "key": member(string()),
+                "value": member(ref(typeParameter("Type"))),
+            })),
+            "AnySibling": parametrizedType({ "Type": null }, computed(ref(typeParameter("Type")))),
+
+            "DependencyDictionary": parametrizedType({ "Type": null }, dictionary(group({
+                "value": member(ref(typeParameter("Type"))),
+                "dependencies": member(dictionary(null_())),
+            }))),
+
+
+            "Error": type(string()),
+
+        }),
+    },
+    'interface types': d({
+        "OnError": sInterface(sInterfaceMethod(typeReference("Error"))),
+
+
+    }),
+    'algorithm types': d({
+        "SortTopologically": sfunction(
+            typeReference("Array", { "Type": typeParameter("Type") }),
+            data(typeReference("DependencyDictionary", { "Type": typeParameter("Type") })),
+            { "Type": null }
+        ),
+        // "UnsafeResolveDictionary": scallbackfunction(
+        //     typeReference("Dictionary", { "Type": typeParameter("Out") }),
+        //     data(typeReference("Dictionary", { "Type": typeParameter("In") })),
+        //     {
+        //         "map": scallback(typeParameter("Out"), typeReference("KeyValuePair", { "Type": typeParameter("In") }), {
+        //             "non circular siblings": typeParameter("Out"),
+        //             "all siblings": typeReference("AnySibling", { "Type": typeParameter("Out") }),
+        //         })
+        //     },
+        //     { "In": null, "Out": null }
+        // ),
+        // "SafeResolveDictionary": scallbackfunction(
+        //     typeReference("Dictionary", { "Type": typeParameter("Out") }),
+        //     data(typeReference("Dictionary", { "Type": typeParameter("In") })),
+        //     {
+        //         "map": scallback(typeParameter("Out"), typeReference("KeyValuePair", { "Type": typeParameter("In") }), {
+        //             "non circular siblings": typeParameter("Out"),
+        //             "all siblings": typeReference("AnySibling", { "Type": typeParameter("Out") }),
+        //         })
+        //     },
+        //     { "In": null, "Out": null }
+        // ),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/string/api.data.ts

@@ -0,0 +1,26 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+
+        "escape": algorithm("Escape", null, {}),
+        "fromCharacterArray": algorithm("FromCharacterArray", null, {}),
+        "join": algorithm("Join", null, {}),
+        "length": algorithm("Length", null, {}),
+        "replaceAll": algorithm("ReplaceAll", null, {}),
+        "split": algorithm("Split", null, {}),
+        "splitIn2": algorithm("SplitIn2", null, {}),
+        "startsWith": algorithm("StartsWith", null, {}),
+        "substr": algorithm("Substr", null, {}),
+        "toCharacterArray": algorithm("ToCharacterArray", null, {}),
+        "trimEnd": algorithm("TrimEnd", null, {}),
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/string/glossary.data.ts

@@ -0,0 +1,75 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    aInterface,
+    aInterfaceMethod,
+    aInterfaceReference,
+    array, boolean, data, group, member, number, optional, sfunction, streamconsumer, string, type, typeReference
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "String": type(string()),
+            "Length": type(number()),
+            "Boolean": type(boolean()),
+            "CharacterArray": type(array(number())),
+            "SplitData": type(group({
+                "value": member(string()),
+                "splitter": member(string()),
+            })),
+            "SplitIn2Result": type(group({
+                "head": member(string()),
+                "tail": member(optional(string())),
+            })),
+            "SplitResult": type(array(string())),
+            "StartsWithData": type(group({
+                "contextString": member(string()),
+                "searchString": member(string()),
+            })),
+            "SubstrData": type(group({
+                "value": member(string()),
+                "begin": member(number()),
+                "length": member(number()),
+            })),
+            "ReplaceAllData": type(group({
+                "value": member(string()),
+                "pattern": member(string()),
+                "replacement": member(string()),
+            })),
+            "JoinData": type(group({
+                "first": member(string()),
+                "second": member(string()),
+            })),
+
+            "EscapeParameters": type(group({
+                "string": member(string()),
+                "escape": member(string()),
+                "patterns to escape": member(array(string())),
+            }))
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "Escape": sfunction(typeReference("String"), data(typeReference("EscapeParameters"))),
+
+        "ReplaceAll": sfunction(typeReference("String"), data(typeReference("ReplaceAllData"))),
+        "Substr": sfunction(typeReference("String"), data(typeReference("SubstrData"))),
+        "ToCharacterArray": sfunction(typeReference("CharacterArray"), data(typeReference("String"))),
+        "Join": sfunction(typeReference("String"), data(typeReference("JoinData"))),
+        "FromCharacterArray": sfunction(typeReference("String"), data(typeReference("CharacterArray"))),
+        "Split": sfunction(typeReference("SplitResult"), data(typeReference("SplitData"))),
+        "SplitIn2": sfunction(typeReference("SplitIn2Result"), data(typeReference("SplitData"))),
+        "Length": sfunction(typeReference("Length"), data(typeReference("String"))),
+        "TrimEnd": sfunction(typeReference("String"), data(typeReference("String"))),
+        "StartsWith": sfunction(typeReference("Boolean"), data(typeReference("StartsWithData"))),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/tostring/api.data.ts

@@ -0,0 +1,19 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, member, type, group, string, optional, number } from 'pareto/auto.dist/public/shorthands/cosmos'
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "getArrayAsString": algorithm("GetArrayAsString", "Configuration", {}),
+        "getLengthAsString": algorithm("GetLengthAsString", null, {}),
+        "getKeysAsString": algorithm("GetKeysAsString", "Configuration", {}),
+
+        "getNumberOfKeysAsString": algorithm("GetNumberOfKeysAsString", null, {}),
+
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/tostring/glossary.data.ts

@@ -0,0 +1,42 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    array, data, dictionary, typeReference, group, member, null_, number, optional, sfunction, string, type,
+    parametrizedType,
+    ref,
+    typeParameter
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "String": type(string()),
+            "Array": parametrizedType({ "T": null }, array(ref(typeParameter("T")))),
+            "StringArray": type(array(string())),
+            "Dictionary": parametrizedType({ "T": null }, dictionary(ref(typeParameter("T")))),
+
+
+            "Configuration": type(group({
+                "separator": member(string()),
+                "maximum": member(optional(group({
+                    "maximum": member(number()),
+                    "suffix": member(string()),
+                }))),
+            })),
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "GetLengthAsString": sfunction(typeReference("String"), data(typeReference("Array", { "T": typeParameter("T") })), { "T": null}),
+        "GetArrayAsString": sfunction(typeReference("String"), data(typeReference("StringArray"))),
+        "GetKeysAsString": sfunction(typeReference("String"), data(typeReference("Dictionary", { "T": typeParameter("T") })), { "T": null}),
+        "GetNumberOfKeysAsString": sfunction(typeReference("String"), data(typeReference("Dictionary", { "T": typeParameter("T") })), { "T": null}),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/$.data.ts

@@ -0,0 +1,46 @@
+import * as pd from 'pareto-core-data'
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+const d = pd.d
+import { } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import { $ as d_arithmetic } from "./modules/arithmetic/api.data"
+import { $ as d_array } from "./modules/array/api.data"
+import { $ as d_boolean } from "./modules/boolean/api.data"
+import { $ as d_build } from "./modules/build/api.data"
+import { $ as d_dictionary } from "./modules/dictionary/api.data"
+import { $ as d_json } from "./modules/json/api.data"
+import { $ as d_nested } from "./modules/nested/api.data"
+import { $ as d_resolve } from "./modules/resolve/api.data"
+import { $ as d_string } from "./modules/string/api.data"
+import { $ as d_tostring } from "./modules/tostring/api.data"
+
+export const $: g_project.D.Library = {
+    'author': "Corno",
+    'description': "A library that contains very common functionality that cannot be implemented purely in Pareto",
+    'license': "TBD",
+
+    'type': ['impure', null],
+    'module sets': {
+        'public': {
+            'glossaries': d({}),
+            'modules': d({
+                "arithmetic": d_arithmetic,
+                "array": d_array,
+                "boolean": d_boolean,
+                "build": d_build,
+                "dictionary": d_dictionary,
+                "json": d_json,
+                "nested": d_nested,
+                "resolve": d_resolve,
+                "string": d_string,
+                "tostring": d_tostring,
+            })
+        },
+        'private': {
+            'glossaries': d({}),
+            'modules': d({}),
+        }
+    }
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/arithmetic/api.data.ts

@@ -0,0 +1,19 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "divideWithRemainder": algorithm("DivideWithRemainder", null, {}),
+        "increment": algorithm("Increment", "IncrementConfig", {}),
+        "max": algorithm("Max", null, {}),
+        "negate": algorithm("Negate", null, {}),
+        "subtract": algorithm("Subtract", null, {}),
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/arithmetic/glossary.data.ts

@@ -0,0 +1,76 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    array, boolean, data, dictionary, externalTypeReference, group, member, number, optional, sfunction,
+    type, typeReference
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "Number": type(number()),
+            "OptionalNumber": type(optional(number())),
+            "NumberRange": type(array(number())),
+            "DivisionData": type(group({
+                "numerator": member(number()),
+                "denominator": member(number()),
+            })),
+            "NumberTuple": type(group({
+                "yin": member(number()),
+                "yang": member(number()),
+            })),
+            "DivisionResult": type(optional(group({
+                "quotient": member(number()),
+                "remainder": member(number()),
+
+            }))),
+            "SubtractData": type(group({
+                "minuend": member(number()),
+                "subtrahend": member(number()),
+            })),
+            "NumberDictionary": type(dictionary(number())),
+            "NumberArray": type(array(number())),
+
+            "IncrementConfig": type(group({
+                "stepsize": member(number())
+            }))
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "Increment": sfunction(typeReference("Number"), data(typeReference("Number"))),
+        "Array Multiply": sfunction(typeReference("Number"), data(typeReference("NumberRange"))),
+        "Negate": sfunction(typeReference("Number"), data(typeReference("Number"))),
+        /**
+        * if the denominator is 0, the return value is null
+        * (division by 0),
+        */
+        "DivideWithRemainder": sfunction(typeReference("DivisionResult"), data(typeReference("DivisionData"))),
+        /**
+         * calculates the max of an array of numbers. If there are no entries, the result value is 0
+         */
+        "ArrayMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
+        "ArrayMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
+        "ArraySum": sfunction(typeReference("Number"), data(typeReference("NumberArray"))),
+        /**
+         * calculates the max of a dictionary of number. If there are no entries, the result value is 0
+         */
+        "DictionaryMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
+        "DictionaryMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
+        /**
+        * calculates the max of a tuple of numbers
+        */
+        "DictionarySum": sfunction(typeReference("Number"), data(typeReference("NumberDictionary"))),
+
+        "Max": sfunction(typeReference("Number"), data(typeReference("NumberTuple"))),
+        "Subtract": sfunction(typeReference("Number"), data(typeReference("SubtractData"))),
+    }),
+}

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/api.data.ts

@@ -0,0 +1,19 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "flattenArrayOfArrays": algorithm("FlattenArrayOfArrays", null, {}),
+        "append": algorithm("Append", null, {}),
+        "prepend": algorithm("Prepend", null, {}),
+        "zip": algorithm("Zip", null, {}),
+
+    }
+)

package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts

@@ -0,0 +1,52 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    array, data, dictionary, externalTypeReference, group, member, number, optional, parametrizedType, ref, sfunction,
+    type, typeParameter, typeReference
+} from "pareto/auto.dist/public/shorthands/cosmos"
+
+import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+
+const d = pd.d
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
+            "ArrayOfArrays": parametrizedType({ "Type": null }, array(ref(typeReference("Array", { "Type": typeParameter("Type") })))),
+
+            "AppendParameters": parametrizedType({ "Type": null }, group({
+                "array": member(ref(typeReference("Array", { "Type": typeParameter("Type") }))),
+                "element": member(ref(typeParameter("Type"))),
+            })),
+            "PrependParameters": parametrizedType({ "Type": null }, group({
+                "array": member(ref(typeReference("Array", { "Type": typeParameter("Type") }))),
+                "element": member(ref(typeParameter("Type"))),
+            })),
+            "ArrayTuple": parametrizedType({ "Benchmark": null, "Focus": null }, group({
+                "benchmark": member(ref(typeReference("Array", { "Type": typeParameter("Benchmark") }))),
+                "focus": member(ref(typeReference("Array", { "Type": typeParameter("Focus") }))),
+            })),
+            "ZippedArray": parametrizedType({ "Benchmark": null, "Focus": null }, array(group({
+                "benchmark": member(ref(typeParameter("Benchmark"))),
+                "focus": member(ref(typeParameter("Focus"))),
+            }))),
+
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "Append": sfunction(typeReference("Array", { "Type": typeParameter("Type") }), data(typeReference("AppendParameters", { "Type": typeParameter("Type") })), { "Type": null }),
+        "Prepend": sfunction(typeReference("Array", { "Type": typeParameter("Type") }), data(typeReference("PrependParameters", { "Type": typeParameter("Type") })), { "Type": null }),
+        "FlattenArrayOfArrays": sfunction(typeReference("Array", { "Type": typeParameter("Type") }), data(typeReference("ArrayOfArrays", { "Type": typeParameter("Type") })), { "Type": null }),
+        "Zip": sfunction(
+            typeReference("ZippedArray", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") }),
+            data(typeReference("ArrayTuple", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") })),
+            { "Benchmark": null, "Focus": null }
+        ),
+    }),
+}