pareto 0.56.0 → 0.58.0

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

@@ -1,189 +0,0 @@
-import * as pd from 'pareto-core-data'
-
-import {
-    infInit,
-    afunction, aInterfaceMethod, aInterfaceReference, boolean, data, dictionary, externalTypeReference, group,
-    member, null_, parametrizedType, ref, streamconsumer, string, taggedUnion, type, typeParameter, typeReference, aInterface,
-    array
-} 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({
-            "Null": type(null_()),
-            "String": type(string()),
-            "Path": type(array(string())),
-            "AnnotatedError": parametrizedType({ "Error": null }, group({
-                "path": member(ref(typeReference("String"))),
-                "error": member(ref(typeParameter("Error"))),
-            })),
-            "Result": parametrizedType({
-                "Error": null,
-                "Success": null,
-            }, taggedUnion({
-                "error": ref(typeParameter("Error")),
-                "success": ref(typeParameter("Success")),
-            })),
-            "AnnotatedReadDirError": type(ref(typeReference("AnnotatedError", {
-                "Error": typeReference("ReadDirError"),
-            }))),
-            "AnnotatedReadFileError": type(ref(typeReference("AnnotatedError", {
-                "Error": typeReference("ReadFileError"),
-            }))),
-            "AnnotatedRmdirError": type(ref(typeReference("AnnotatedError", {
-                "Error": typeReference("RmdirError"),
-            }))),
-            "AnnotatedMkdirError": type(ref(typeReference("AnnotatedError", {
-                "Error": typeReference("MkdirError"),
-            }))),
-            "AnnotatedUnlinkError": type(ref(typeReference("AnnotatedError", {
-                "Error": typeReference("UnlinkError"),
-            }))),
-            "AnnotatedWriteFileError": type(ref(typeReference("AnnotatedError", {
-                "Error": typeReference("WriteFileError"),
-            }))),
-            "WriteFileParameters": type(group({
-                "path": member(ref(typeReference("Path"))),
-                "overwrite if exists": member(boolean()),
-                "create containing directories": member(boolean()),
-            })),
-            // "AnnotatedReadFileError": group({
-            //     "path": member(str()),
-            //     "error": member(taggedUnion({
-            //         "no entity": null_(),
-            //         "is directory": null_(),
-            //         "unknown": type(group({
-            //             "message": member(str()),
-            //         })),
-            //     })),
-            // }),
-            "DirNodeData": type(group({
-                "path": member(string()),
-                "type": member(taggedUnion({
-                    "directory": null_(),
-                    "file": null_(),
-                    "unknown": null_(),
-                })),
-            })),
-            "MkdirError": type(taggedUnion({
-                "no entity": null_(),
-                "exists": null_(),
-                "unknown": group({
-                    "message": member(string()),
-                }),
-            })),
-            "Mkdir_Data": type(group({
-                "path": member(ref(typeReference("Path"))),
-                "createContainingDirectories": member(boolean()),
-            })),
-            "Mkdir_Result": type(ref(typeReference("Result", {
-                "Error": typeReference("AnnotatedMkdirError"),
-                "Success": typeReference("Null"),
-            }))),
-            "ReadDirectory_Data": type(group({
-                "path": member(ref(typeReference("Path"))),
-            })),
-            "ReadDirectory_Success": type(dictionary(ref(typeReference("DirNodeData")))),
-            "ReadDirectory_Result": type(ref(typeReference("Result", {
-                "Error": typeReference("AnnotatedReadDirError"),
-                "Success": typeReference("ReadDirectory_Success"),
-            }))),
-            "ReadDirError": type(taggedUnion({
-                "no entity": null_(),
-                "is not directory": null_(),
-                "unknown": group({
-                    "message": member(string()),
-                }),
-            })),
-            "ReadFile_Result": type(ref(typeReference("Result", {
-                "Error": typeReference("AnnotatedReadFileError"),
-                "Success": typeReference("String"),
-            }))),
-
-            "ReadFile_Data": type(group({
-                "path": member(ref(typeReference("Path"))),
-            })),
-            "ReadFileError": type(taggedUnion({
-                "no entity": null_(),
-                "is directory": null_(),
-                "unknown": group({
-                    "message": member(string()),
-                }),
-            })),
-            "RmdirError": type(taggedUnion({
-                "no entity": null_(),
-                "not empty": null_(),
-                "unknown": group({
-                    "message": member(string()),
-                }),
-            })),
-            "UnlinkError": type(taggedUnion({
-                "no entity": null_(),
-                "is directory": null_(),
-                "unknown": group({
-                    "message": member(string()),
-                }),
-            })),
-            "Unlink_Data": type(group({
-                "path": member(ref(typeReference("Path"))),
-            })),
-            "Unlink_Result": type(ref(typeReference("Result", {
-                "Error": typeReference("AnnotatedUnlinkError"),
-                "Success": typeReference("Null"),
-            }))),
-
-            // "WriteFile_Result": type(ref(typeReference("Result", {
-            //     "Error": typeReference("AnnotatedWriteFileError"),
-            //     "Success": typeReference("common", "Null"),
-            // })),
-
-            "WriteFileError": type(taggedUnion({
-                "no entity": null_(),
-                "is directory": null_(),
-                "unknown": group({
-                    "message": member(string()),
-                }),
-            })),
-        }),
-    },
-    'interface types': d({
-        //these should be defined somewhere but is this the place
-        // "HandleReadDirError": interfaceMethod(typeReference("AnnotatedReadDirFileError"), null, null, null),
-        // "HandleReadFileError": interfaceMethod(typeReference("AnnotatedReadFileError"), null, null, null),
-        // "HandleMkdirError": interfaceMethod(typeReference("AnnotatedMkdirError"), null, null, null),
-        // "HandleUnlinkError": interfaceMethod(typeReference("AnnotatedUnlinkError"), null, null, null),
-
-
-        "OnFileWriteError": aInterface(aInterfaceMethod(typeReference("AnnotatedWriteFileError"))),
-
-
-        // "Reader": ['group', {
-        //     'members': d({
-        //         "init": builderMethod(null, ['reference', builderReference("StreamConsumer")]),
-        //         "onError": builderMethod(typeReference("AnnotatedReadFileError")),
-        //     }),
-        // }]
-        "StringStreamConsumer": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("String")),
-            aInterfaceMethod(null),
-        )),
-        "WriteFile": aInterface(aInterfaceMethod(typeReference("WriteFileParameters"), ['reference', aInterfaceReference("StringStreamConsumer")])),
-    }),
-    'algorithm types': d({
-        "CreateFileWriter": infInit(aInterfaceReference("WriteFile"), {
-            "onWriteFileError": aInterfaceReference("OnFileWriteError"),
-        }),
-        "MakeDirectory": afunction(typeReference("Mkdir_Result"), typeReference("Mkdir_Data")),
-        "ReadDirectory": afunction(typeReference("ReadDirectory_Result"), typeReference("ReadDirectory_Data")),
-        "Unlink": afunction(typeReference("Unlink_Result"), typeReference("Unlink_Data")),
-        //"OpenFIleStream": afunc(typeReference("common", "Path"), null, null, inf(interfaceReference("Reader"))),
-    }),
-}

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

@@ -1,25 +0,0 @@
-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, sibling, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
-
-// import { $ as g_collation } from "../collation/glossary.data"
-
-export const $: g_project.D.API = api(
-    glos,
-    {
-        "arrayForEach": algorithm("ArrayForEach", null, {}),
-        "dictionaryForEach": algorithm("DictionaryForEach", null, {
-            //FIXME "compare": sibling("collation", "IsABeforeB"),
-        }),
-        "enrichedArrayForEach": algorithm("EnrichedArrayForEach", null, {}),
-        "enrichedDictionaryForEach": algorithm("EnrichedDictionaryForEach", null, {
-            //FIXME "compare": sibling("collation", "IsABeforeB"),
-        }),
-        "decorateDictionaryEntriesWithKey": algorithm("DecorateDictionaryEntriesWithKey", null, {}),
-    }
-)

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

@@ -1,78 +0,0 @@
-import * as pd from 'pareto-core-data'
-
-import {
-    string,
-    dictionary, member, group,
-    array,
-    typeReference,
-    boolean,
-    ref,
-    sInterfaceMethod,
-    sfunction,
-    data,
-    procedure,
-    sInterfaceReference,
-    parametrizedType,
-    typeParameter,
-    sInterface,
-    optional,
-
-} 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")))),
-            "Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
-            "KeyValueDictionary": parametrizedType({ "Type": null }, dictionary(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
-            "KeyValuePair": parametrizedType({ "Type": null }, group({
-                "key": member(string()),
-                "value": member(ref(typeParameter("Type"))),
-            })),
-            "AnnotatedEntry": parametrizedType({ "Type": null }, group({
-                "isFirst": member(boolean()),
-                "isLast": member(boolean()),
-                "key": member(string()),
-                "value": member(ref(typeParameter("Type"))),
-            })),
-            "AnnotatedElement": parametrizedType({ "Type": null }, group({
-                "isFirst": member(boolean()),
-                "isLast": member(boolean()),
-                "value": member(ref(typeParameter("Type"))),
-            })),
-
-
-        }),
-    },
-    'interface types': d({
-        "OnElement": sInterface(sInterfaceMethod(typeParameter("Type")), { "Type": null }),
-        "OnEntry": sInterface(sInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })), { "Type": null }),
-        "OnEnrichedDictionary": sInterface(['group', {
-            'members': d({
-                "onEmpty": sInterfaceMethod(null),
-                "onNotEmpty": sInterfaceMethod(null, sInterfaceMethod(typeReference("AnnotatedEntry", { "Type": typeParameter("Type") }))),
-            }),
-        }], { "Type": null }),
-        "OnEnrichedArray": sInterface(['group', {
-            'members': d({
-                "onEmpty": sInterfaceMethod(null),
-                "onNotEmpty": sInterfaceMethod(null, sInterfaceMethod(typeReference("AnnotatedElement", { "Type": typeParameter("Type") }))),
-            }),
-        }], { "Type": null }),
-    }),
-    'algorithm types': d({
-        "ArrayForEach": procedure(data(typeReference("Array", { "Type": typeParameter("Type") })), sInterfaceReference("OnElement", { "Type": typeParameter("Type") }), { "Type": null }),
-        "DictionaryForEach": procedure(data(typeReference("Dictionary", { "Type": typeParameter("Type") })), sInterfaceReference("OnEntry", { "Type": typeParameter("Type") }), { "Type": null }),
-        "EnrichedDictionaryForEach": procedure(data(typeReference("Dictionary", { "Type": typeParameter("Type") })), sInterfaceReference("OnEnrichedDictionary", { "Type": typeParameter("Type") }), { "Type": null }),
-        "EnrichedArrayForEach": procedure(data(typeReference("Array", { "Type": typeParameter("Type") })), sInterfaceReference("OnEnrichedArray", { "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-standard-impure-library/modules/http/api.data.ts

@@ -1,16 +0,0 @@
-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 { array, glossary, group, member, number, ref, string, taggedUnion, type, typeReference } from 'pareto/auto.dist/public/shorthands/cosmos'
-
-export const $: g_project.D.API = api(
-    glos,
-    {
-        "initializeHTTPServerProxy": algorithm("Initialize HTTP Server Proxy", "Configuration", {}),
-        "initializeHTTPSServerProxy": algorithm("Initialize HTTP Server Proxy", "Configuration", {}),
-    }
-)

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

@@ -1,69 +0,0 @@
-import * as pd from 'pareto-core-data'
-
-import {
-    aInterface, aInterfaceMethod, aInterfaceReference, array, boolean,
-    group, member, ref, resource, streamconsumer, string, taggedUnion, 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({
-            "Path": type(array(string())),
-            "EncounteredErrors": type(boolean()),
-            "Data": type(taggedUnion({
-                "error": ref(typeReference("HTTPError")),
-                "data": string()
-            })),
-            "HTTPError": type(taggedUnion({
-                "unknown": string(),
-            })),
-
-
-            "Configuration": type(group({
-                "hostName": member(string()),
-                "contextPath": member(ref(typeReference("Path"))),
-            })),
-        }),
-    },
-    'interface types': d({
-
-        //"HandleError": interfaceMethod(typeReference("HTTPError")),
-        // "ProcessHTTPResource": func(typeReference("common", "Path"), null, builderReference("Init"), null),
-        //"Init": aInterface(aInterfaceMethod(null, ['reference', aInterfaceReference("StreamConsumer")])),
-        // "Init": ['choice', {
-        //     'options': d({
-        //         "success": ['reference', aInterfaceReference("StreamConsumer")],
-        //         "error": ['reference', aInterfaceReference("ErrorStreamConsumer")],
-        //     })
-        // }],
-        // "Init": builderMethod(null, ['reference', {
-        //     'context': ['local', null],
-        //     'interface': "StreamConsumer"
-        // }], false),
-        // "StreamConsumer": aInterface(streamconsumer(
-        //     aInterfaceMethod(externalTypeReference("common", "String")),
-        //     aInterfaceMethod(typeReference("EncounteredErrors")),
-        // )),
-        "Consumer": aInterface(streamconsumer(
-            aInterfaceMethod(typeReference("Data")),
-            aInterfaceMethod(null),
-        )),
-    }),
-    'algorithm types': d({
-        "Initialize HTTP Server Proxy": resource(typeReference("Path"), aInterfaceReference("Consumer")),
-        // "HTTPRequest": a(, {
-        //     "init": aInterfaceReference("Init"),
-        //     "errorConsumer": aInterfaceReference("ErrorStreamConsumer")
-        // })
-
-    }),
-
-}

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

@@ -1,15 +0,0 @@
-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,
-    {
-        "flatten": algorithm("Flatten", null, {})
-    }
-)

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

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

@@ -1,35 +0,0 @@
-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-standard-impure-library/modules/resolve/api.data.ts

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

@@ -1,84 +0,0 @@
-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-standard-impure-library/modules/string/api.data.ts

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

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