pareto 0.58.0 → 0.60.0

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

@@ -1,24 +0,0 @@
-
-
-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"
-
-export const $: g_project.D.API = api(
-    glos,
-    {
-        // "map": algorithm("Map", null, {
-        //     // "resolveDictionary": sfunction("resolve", {}, "SafeResolveDictionary"),
-        //     // // "decorateDictionaryEntriesWithKey": sfunction("foreach", {}, "DecorateDictionaryEntriesWithKey"),
-        //     // // "buildDictionary": sfunction("build", {}, "BuildUnsafeDictionary"),
-        //     // // "filter": sfunction("dictionary", {}, "Filter"),
-        //     // // "isEmpty": sfunction("dictionary", {}, "IsEmpty"),
-        //     // // "merge": sfunction("array", {}, "Merge"),
-        //     // // "push": sfunction("array", {}, "Push"),
-        // }),
-    }
-)

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

@@ -1,48 +0,0 @@
-import * as pd from 'pareto-core-data'
-
-import {
-    array, data, dictionary, externalTypeReference, glossaryParameter, group, member, null_, number, parametrizedType, ref, sfunction, 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"
-
-import { $ as d_liana } from "../../glossaries/auto.liana.data"
-import { $ as d_tendril } from "../../glossaries/auto.tendril.data"
-
-const d = pd.d
-
-export const $: g_glossary.D.Glossary = {
-    'glossary parameters': d({}),
-    'imports': d({
-        "liana": {
-            'glossary': d_liana,
-            'type arguments': d({
-            }),
-        },
-        "tendril": {
-            'glossary': d_tendril,
-            'type arguments': d({
-            }),
-        },
-    }),
-    'root': {
-        'namespaces': d({}),
-        'data types': d({
-            "TypeScript Location": type(group({
-                "file": member(string()),
-                "line": member(number()),
-                "column": member(number()),
-            }))
-        }),
-    },
-    'interface types': d({}),
-    'algorithm types': d({
-        "Map": sfunction(
-            //FIXME this function should reference to the libraries that don't have annotations.
-            //this function is designed not to be able to produce runtime errors, so no error info is needed
-            //However, the functionality to produce a resolved, annotationless library need to be written
-            externalTypeReference("tendril", "Type Library", { "Annotation": typeReference("TypeScript Location") }),
-            data(externalTypeReference("liana", "Type Library", { "Annotation": typeReference("TypeScript Location") }))
-        ),
-    }),
-}

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

@@ -1,133 +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/json/api.data.ts

@@ -1,15 +0,0 @@
-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-standard-library/modules/json/glossary.data.ts

@@ -1,47 +0,0 @@
-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"))),
-    }),
-}