pareto 0.56.0 → 0.58.0

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

@@ -1,27 +1,15 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
 
 import { $ as glos } from "./glossary.data"
-import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterface, sInterfaceMethod, streamconsumer, string, type, typeReference } from 'pareto/auto.dist/public/shorthands/cosmos'
+import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterface, sInterfaceMethod, streamconsumer, string, type, typeReference } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
 export const $: g_project.D.API = api(
     glos,
     {
-        /**
-         * does the dictionary contain the specified key
-         */
-        "contains": algorithm("Contains", null, {}),
-        /**
-         * is the dictionary empty (no entries)
-         */
-        "isEmpty": algorithm("IsEmpty", null, {}),
-        /**
-         * a dictionary where every entry contains optional data is transformed
-         * into a dictionary with only the entries that contained data
-         */
         "filter": algorithm("Filter", null, {}),
         /**
          * a dictionary with containing entries with values and a key candidate is transformed
@@ -43,7 +31,7 @@ export const $: g_project.D.API = api(
          * this last dictionary contains all entries found in the benchmark dictionary.
          * each entry value is optionally supplemented with the value of the focus entry, if found.
          */
-        "matchDictionaries": algorithm("MatchDictionaries", null, {}),
+        "zip": algorithm("Zip", null, {}),
         /**
          * 2 dictionaries are combined into 1 dictionary. is a key exists in both directories, only the entry of the last dictionary will be used.
          */
@@ -56,5 +44,6 @@ export const $: g_project.D.API = api(
          * 2 dictionaries are combined into 1 dictionary. is a key exists in both directories, only the entry of the first dictionary will be used.
          */
         "mergeAndIgnore": algorithm("MergeAndIgnore", null, {}),
+        "decorateDictionaryEntriesWithKey": algorithm("DecorateDictionaryEntriesWithKey", null, {}),
     }
 )

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

@@ -20,9 +20,9 @@ import {
     boolean,
     sInterface,
     sInterfaceMethod,
-} from "pareto/auto.dist/public/shorthands/cosmos"
+} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+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 = {
@@ -39,16 +39,12 @@ export const $: g_glossary.D.Glossary = {
                 "value": member(ref(typeParameter("Type"))),
             })),
             "Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
-            "DictionaryAndKey": parametrizedType({ "Type": null }, group({
-                "dictionary": member(dictionary(ref(typeParameter("Type")))),
-                "key": member(string()),
-            })),
             "FilterableDictionary": parametrizedType({ "Type": null }, dictionary(optional(ref(typeParameter("Type"))))),
             "MergeParameters": parametrizedType({ "Type": null }, group({
                 "primary": member(ref(typeReference("Dictionary", { "Type": typeParameter("Type") }))),
                 "secondary": member(ref(typeReference("Dictionary", { "Type": typeParameter("Type") }))),
             })),
-            "MatchedDictionary": parametrizedType({ "Benchmark": null, "Focus": null }, dictionary(group({
+            "ZippedDictionary": parametrizedType({ "Benchmark": null, "Focus": null }, dictionary(group({
                 "benchmark": member(ref(typeParameter("Benchmark"))),
                 "focus": member(optional(ref(typeParameter("Focus")))),
             }))),
@@ -66,6 +62,7 @@ export const $: g_glossary.D.Glossary = {
                 "dictionary": member(ref(typeReference("Dictionary", { "Type": typeParameter("Type") }))),
                 "keyValuePair": member(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))
             })),
+            "KeyValueDictionary": parametrizedType({ "Type": null }, dictionary(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
 
 
             "RekeyDictionary": parametrizedType({ "Type": null }, dictionary(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
@@ -75,16 +72,6 @@ export const $: g_glossary.D.Glossary = {
     'interface types': d({
     }),
     'algorithm types': d({
-        "Contains": sfunction(
-            typeReference("Boolean"),
-            data(typeReference("DictionaryAndKey", { "Type": typeParameter("Type") })),
-            { "Type": null }
-        ),
-        "IsEmpty": sfunction(
-            typeReference("Boolean"),
-            data(typeReference("Dictionary", { "Type": typeParameter("Type") })),
-            { "Type": null }
-        ),
         "Filter": sfunction(
             typeReference("Dictionary", { "Type": typeParameter("Type") }),
             data(typeReference("FilterableDictionary", { "Type": typeParameter("Type") })),
@@ -110,8 +97,8 @@ export const $: g_glossary.D.Glossary = {
             data(typeReference("MergeParameters", { "Type": typeParameter("Type") })),
             { "Type": null }
         ),
-        "MatchDictionaries": sfunction(
-            typeReference("MatchedDictionary", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") }),
+        "Zip": sfunction(
+            typeReference("ZippedDictionary", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") }),
             data(typeReference("DictionaryTuple", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") })),
             { "Benchmark": null, "Focus": null }
         ),
@@ -124,7 +111,9 @@ export const $: g_glossary.D.Glossary = {
             typeReference("Dictionary", { "Type": typeParameter("Type") }),
             data(typeReference("MergeParameters", { "Type": typeParameter("Type") })),
             { "Type": null }
-        ),
+        ),       
+         "DecorateDictionaryEntriesWithKey": sfunction(typeReference("KeyValueDictionary", { "Type": typeParameter("Type") }), data(typeReference("Dictionary", { "Type": typeParameter("Type") })), { "Type": null }),
+
     }),
 
 }

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

@@ -0,0 +1,15 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, sInterface, sInterfaceMethod, string, type, typeReference } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "serialize": algorithm("Serialize", null, {}),
+    }
+)

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

@@ -0,0 +1,47 @@
+import * as pd from 'pareto-core-data'
+
+import {
+    array, afunction, boolean, computed, data, dictionary,
+    glossaryParameter, group, member, number, optional, ref, sfunction, string, type, typeReference,
+    taggedUnion,
+    null_,
+    sInterface,
+    sInterfaceMethod
+} 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
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({
+    }),
+    'imports': d({}),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "String": type(string()),
+            "Result": type(taggedUnion({
+                "success": ref(typeReference("Value")),
+                "error": string(),
+            })),
+            //"Result": type(ref(glossaryParameter("Type"))),
+            "Value": type(taggedUnion({
+                "object": dictionary(ref(typeReference("Value"))),
+                "array": array(ref(typeReference("Value"))),
+                "string": string(),
+                "number": number(),
+                "boolean": boolean(),
+                "null": null_(),
+            })),
+
+
+        }),
+    },
+    'interface types': d({
+
+    }),
+    'algorithm types': d({
+        "Serialize": sfunction(typeReference("String"), data(typeReference("Value"))),
+    }),
+}

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

@@ -0,0 +1,15 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "flatten": algorithm("Flatten", null, {})
+    }
+)

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

@@ -2,9 +2,9 @@ import * as pd from 'pareto-core-data'
 
 import {
     array, data, dictionary, externalTypeReference, glossaryParameter, group, member, null_, parametrizedType, ref, sfunction, string, taggedUnion, type, typeParameter, typeReference
-} from "pareto/auto.dist/public/shorthands/cosmos"
+} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+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 = {

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

@@ -0,0 +1,15 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, sInterface, sInterfaceMethod, string, type, typeReference } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "unsafeSortTopologically": algorithm("SortTopologically", null, {}),
+    }
+)

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

@@ -0,0 +1,52 @@
+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-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
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "Array": parametrizedType({ "Type": null }, array(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
+            "KeyValuePair": parametrizedType({ "Type": null }, group({
+                "key": member(string()),
+                "value": member(ref(typeParameter("Type"))),
+            })),
+
+            "DependencyDictionary": parametrizedType({ "Type": null }, dictionary(group({
+                "value": member(ref(typeParameter("Type"))),
+                "dependencies": member(dictionary(null_())),
+            }))),
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+        "SortTopologically": sfunction(
+            typeReference("Array", { "Type": typeParameter("Type") }),
+            data(typeReference("DependencyDictionary", { "Type": typeParameter("Type") })),
+            { "Type": null }
+        ),
+    }),
+}

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

@@ -0,0 +1,17 @@
+import * as pd from 'pareto-core-data'
+
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
+
+import { $ as glos } from "./glossary.data"
+import { glossary, group, member, number, type } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
+
+export const $: g_project.D.API = api(
+    glos,
+    {
+        "join": algorithm("Join", null, {}),
+        "repeat": algorithm("Repeat", null, {}),
+        "foo": algorithm("Foo", null, {}),
+    }
+)

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

@@ -0,0 +1,39 @@
+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-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
+
+export const $: g_glossary.D.Glossary = {
+    'glossary parameters': d({}),
+    'imports': d({
+    }),
+    'root': {
+        'namespaces': d({}),
+        'data types': d({
+            "String": type(string()),
+            "JoinData": type(group({
+                "first": member(string()),
+                "second": member(string()),
+            })),
+            "RepeatData": type(group({
+                "contextString": member(string()),
+                "times": member(number()),
+            })),
+        }),
+    },
+    'interface types': d({}),
+    'algorithm types': d({
+
+        "Join": sfunction(typeReference("String"), data(typeReference("JoinData"))),
+        "Repeat": sfunction(typeReference("String"), data(typeReference("RepeatData"))),
+        "Foo": sfunction(typeReference("String"), data(typeReference("String"))),
+    }),
+}

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

@@ -1,11 +1,11 @@
 import * as pd from 'pareto-core-data'
 
-import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
+import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
 
 import { $ as glos } from "./glossary.data"
-import { glossary, member, type, group, string, optional, number } from 'pareto/auto.dist/public/shorthands/cosmos'
+import { glossary, member, type, group, string, optional, number } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 export const $: g_project.D.API = api(
     glos,
     {

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

@@ -5,9 +5,9 @@ import {
     parametrizedType,
     ref,
     typeParameter
-} from "pareto/auto.dist/public/shorthands/cosmos"
+} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
 
-import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
+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 = {