pareto 0.59.0 → 0.61.0

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

@@ -1,125 +0,0 @@
-import * as pd from 'pareto-core-data'
-
-import {
-    aInterfaceMethod,
-    aInterfaceReference,
-    array, dictionary, ref, typeParameter, group, sInf, member,
-    sfunction,
-    sInterfaceMethod, sInterfaceReference, streamconsumer, string, taggedUnion, type, typeReference, aInterface, sInterface, parametrizedType,
-    infInit
-} 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({
-            "Simple Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
-
-            "Simple Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
-            "Simple String": type(string()),
-
-            "Array": parametrizedType({ "Type": null, "EndType": null }, group({
-                "array": member(array(ref(typeParameter("Type")))),
-                "end": member(ref(typeParameter("EndType"))),
-            })),
-            "Dictionary": parametrizedType({ "Type": null, "EndType": null }, group({
-                "dictionary": member(dictionary(ref(typeParameter("Type")))),
-                "end": member(ref(typeParameter("EndType"))),
-            })),
-            "String": parametrizedType({ "EndType": null }, group({
-                "string": member(string()),
-                "end": member(ref(typeParameter("EndType"))),
-            })),
-            "KeyValuePair": parametrizedType({ "Type": null }, group({
-                "key": member(string()),
-                "value": member(ref(typeParameter("Type"))),
-            })),
-
-            "DictionaryBuildStrategy": type(taggedUnion({
-                "ignore": group({}),
-                "overwrite": group({}),
-            })),
-            "Startstring": type(string()),
-        }),
-    },
-    'interface types': d({
-        "Array": aInterface(aInterfaceMethod(typeReference("Array", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType")
-        })), { "Type": null, "EndType": null }),
-        "Dictionary": aInterface(aInterfaceMethod(typeReference("Dictionary", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType")
-        })), { "Type": null, "EndType": null }),
-        "Elements": aInterface(streamconsumer(
-            aInterfaceMethod(typeParameter("Type")),
-            aInterfaceMethod(typeParameter("EndType")),
-        ), { "Type": null, "EndType": null }),
-        "Entries": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })),
-            aInterfaceMethod(typeParameter("EndType")),
-        ), { "Type": null, "EndType": null }),
-        "DuplicatesHandler": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("Simple String")),
-            aInterfaceMethod(null),
-        )),
-        "StringConsumer": aInterface(aInterfaceMethod(typeReference("String", { "EndType": typeParameter("EndType") })), { "EndType": null }),
-        "StringStreamConsumer": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("Simple String")),
-            aInterfaceMethod(typeParameter("EndType")),
-        ), { "EndType": null }),
-        "Add": sInterface(sInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })), { "Type": null }),
-        "Push": sInterface(sInterfaceMethod(typeParameter("Type")), { "Type": null }),
-    }),
-    'algorithm types': d({
-        "CreateArrayBuilder": infInit(aInterfaceReference("Elements", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType"),
-        }), {
-            "handler": aInterfaceReference("Array", {
-                "Type": typeParameter("Type"),
-                "EndType": typeParameter("EndType"),
-            }),
-        }, { "Type": null, "EndType": null }),
-        "CreateUnsafeDictionaryBuilder": infInit(aInterfaceReference("Entries", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType"),
-        }), {
-            "handler": aInterfaceReference("Dictionary", {
-                "Type": typeParameter("Type"),
-                "EndType": typeParameter("EndType")
-            }),
-        }, { "Type": null, "EndType": null }),
-        "CreateSafeDictionaryBuilder": infInit(aInterfaceReference("Entries", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType"),
-        }), {
-            "handler": aInterfaceReference("Dictionary", {
-                "Type": typeParameter("Type"),
-                "EndType": typeParameter("EndType")
-            }),
-            "duplicatesHandler": aInterfaceReference("DuplicatesHandler"),
-
-        }, { "Type": null, "EndType": null }),
-        "CreateStringBuilder": infInit(aInterfaceReference("StringStreamConsumer", { "EndType": typeParameter("EndType") }), {
-            "handler": aInterfaceReference("StringConsumer", { "EndType": typeParameter("EndType") }),
-        }, { "EndType": null }),
-        // "BuildArray": sfunction(typeReference("Simple Array", {
-        //     "Type": typeParameter("Type"),
-        // }), sInf(sInterfaceReference("Push", { "Type": typeParameter("Type") })), { "Type": null }),
-        // "BuildUnsafeDictionary": sfunction(typeReference("Simple Dictionary", {
-        //     "Type": typeParameter("Type"),
-        // }), sInf(sInterfaceReference("Add", { "Type": typeParameter("Type") })), { "Type": null }),
-        // "BuildSafeDictionary": sfunction(typeReference("Simple Dictionary", {
-        //     "Type": typeParameter("Type"),
-        // }), sInf(sInterfaceReference("Add", { "Type": typeParameter("Type") })), { "Type": null }),
-
-    }),
-
-}

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

@@ -1,125 +0,0 @@
-import * as pd from 'pareto-core-data'
-
-import {
-    aInterfaceMethod,
-    aInterfaceReference,
-    array, dictionary, ref, typeParameter, group, sInf, member,
-    sfunction,
-    sInterfaceMethod, sInterfaceReference, streamconsumer, string, taggedUnion, type, typeReference, aInterface, sInterface, parametrizedType,
-    infInit
-} 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({
-            "Simple Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
-
-            "Simple Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
-            "Simple String": type(string()),
-
-            "Array": parametrizedType({ "Type": null, "EndType": null }, group({
-                "array": member(array(ref(typeParameter("Type")))),
-                "end": member(ref(typeParameter("EndType"))),
-            })),
-            "Dictionary": parametrizedType({ "Type": null, "EndType": null }, group({
-                "dictionary": member(dictionary(ref(typeParameter("Type")))),
-                "end": member(ref(typeParameter("EndType"))),
-            })),
-            "String": parametrizedType({ "EndType": null }, group({
-                "string": member(string()),
-                "end": member(ref(typeParameter("EndType"))),
-            })),
-            "KeyValuePair": parametrizedType({ "Type": null }, group({
-                "key": member(string()),
-                "value": member(ref(typeParameter("Type"))),
-            })),
-
-            "DictionaryBuildStrategy": type(taggedUnion({
-                "ignore": group({}),
-                "overwrite": group({}),
-            })),
-            "Startstring": type(string()),
-        }),
-    },
-    'interface types': d({
-        "Array": aInterface(aInterfaceMethod(typeReference("Array", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType")
-        })), { "Type": null, "EndType": null }),
-        "Dictionary": aInterface(aInterfaceMethod(typeReference("Dictionary", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType")
-        })), { "Type": null, "EndType": null }),
-        "Elements": aInterface(streamconsumer(
-            aInterfaceMethod(typeParameter("Type")),
-            aInterfaceMethod(typeParameter("EndType")),
-        ), { "Type": null, "EndType": null }),
-        "Entries": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })),
-            aInterfaceMethod(typeParameter("EndType")),
-        ), { "Type": null, "EndType": null }),
-        "DuplicatesHandler": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("Simple String")),
-            aInterfaceMethod(null),
-        )),
-        "StringConsumer": aInterface(aInterfaceMethod(typeReference("String", { "EndType": typeParameter("EndType") })), { "EndType": null }),
-        "StringStreamConsumer": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("Simple String")),
-            aInterfaceMethod(typeParameter("EndType")),
-        ), { "EndType": null }),
-        "Add": sInterface(sInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })), { "Type": null }),
-        "Push": sInterface(sInterfaceMethod(typeParameter("Type")), { "Type": null }),
-    }),
-    'algorithm types': d({
-        "CreateArrayBuilder": infInit(aInterfaceReference("Elements", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType"),
-        }), {
-            "handler": aInterfaceReference("Array", {
-                "Type": typeParameter("Type"),
-                "EndType": typeParameter("EndType"),
-            }),
-        }, { "Type": null, "EndType": null }),
-        "CreateUnsafeDictionaryBuilder": infInit(aInterfaceReference("Entries", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType"),
-        }), {
-            "handler": aInterfaceReference("Dictionary", {
-                "Type": typeParameter("Type"),
-                "EndType": typeParameter("EndType")
-            }),
-        }, { "Type": null, "EndType": null }),
-        "CreateSafeDictionaryBuilder": infInit(aInterfaceReference("Entries", {
-            "Type": typeParameter("Type"),
-            "EndType": typeParameter("EndType"),
-        }), {
-            "handler": aInterfaceReference("Dictionary", {
-                "Type": typeParameter("Type"),
-                "EndType": typeParameter("EndType")
-            }),
-            "duplicatesHandler": aInterfaceReference("DuplicatesHandler"),
-
-        }, { "Type": null, "EndType": null }),
-        "CreateStringBuilder": infInit(aInterfaceReference("StringStreamConsumer", { "EndType": typeParameter("EndType") }), {
-            "handler": aInterfaceReference("StringConsumer", { "EndType": typeParameter("EndType") }),
-        }, { "EndType": null }),
-        // "BuildArray": sfunction(typeReference("Simple Array", {
-        //     "Type": typeParameter("Type"),
-        // }), sInf(sInterfaceReference("Push", { "Type": typeParameter("Type") })), { "Type": null }),
-        // "BuildUnsafeDictionary": sfunction(typeReference("Simple Dictionary", {
-        //     "Type": typeParameter("Type"),
-        // }), sInf(sInterfaceReference("Add", { "Type": typeParameter("Type") })), { "Type": null }),
-        // "BuildSafeDictionary": sfunction(typeReference("Simple Dictionary", {
-        //     "Type": typeParameter("Type"),
-        // }), sInf(sInterfaceReference("Add", { "Type": typeParameter("Type") })), { "Type": null }),
-
-    }),
-
-}