pareto 0.57.0 → 0.58.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/auto.dist/index.d.ts +2 -0
- package/auto.dist/index.js +4 -2
- package/auto.dist/public/modules/alan__light__serialize/auto.api.d.ts +6 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.api.js +3 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.implementation.d.ts +2 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.implementation.js +6 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.provided_interface_glossary.d.ts +705 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.provided_interface_glossary.js +3 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.provided_interface_glossary.shadow.d.ts +34 -0
- package/auto.dist/public/modules/alan__light__serialize/auto.provided_interface_glossary.shadow.js +3 -0
- package/auto.dist/public/modules/alan__light__serialize/implementations/serialize.alg.d.ts +2 -0
- package/auto.dist/public/modules/alan__light__serialize/implementations/serialize.alg.js +115 -0
- package/auto.dist/public/modules/alan__light__serialize/index.d.ts +2 -0
- package/auto.dist/public/modules/alan__light__serialize/index.js +19 -0
- package/auto.dist/public/modules/pareto2typescript/implementations/serializeCompilationUnit.alg.js +213 -247
- package/auto.dist/public/modules/tendril2alan__light/auto.api.d.ts +6 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.api.js +3 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.implementation.d.ts +2 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.implementation.js +6 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.provided_interface_glossary.d.ts +1583 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.provided_interface_glossary.js +3 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.provided_interface_glossary.shadow.d.ts +29 -0
- package/auto.dist/public/modules/tendril2alan__light/auto.provided_interface_glossary.shadow.js +3 -0
- package/auto.dist/public/modules/tendril2alan__light/implementations/map.alg.d.ts +2 -0
- package/auto.dist/public/modules/tendril2alan__light/implementations/map.alg.js +141 -0
- package/auto.dist/public/modules/tendril2alan__light/index.d.ts +2 -0
- package/auto.dist/public/modules/tendril2alan__light/index.js +19 -0
- package/auto.pareto/$.data.ts +8 -3
- package/auto.pareto/auto.dependencies/index.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/$.data.ts +8 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/index.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/$.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/arithmetic/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/arithmetic/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/boolean/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/boolean/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/build/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/build/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/json/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/json/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.alan.data.ts +441 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.alan_light.data.ts +441 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_type_system.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_typescript.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.grammar.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.liana.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.pareto.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril.data.ts +18 -181
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril_resolved.data.ts +18 -181
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos2pareto/api.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos2pareto/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/liana2tendril/api.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/liana2tendril/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril2cosmos_type_system/api.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril2cosmos_type_system/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril2pareto/api.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril2pareto/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/testresult/api.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/testresult/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/$.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/arithmetic/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/arithmetic/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/boolean/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/boolean/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/build/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/build/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/json/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/json/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/$.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/array/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/array/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/dictionary/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/dictionary/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/numerical_predicates/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/numerical_predicates/glossary.data.ts +2 -2
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/api.data.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/glossary.data.ts +2 -2
- package/auto.pareto/modules/alan_light_serialize/api.data.ts +15 -0
- package/auto.pareto/modules/alan_light_serialize/glossary.data.ts +41 -0
- package/auto.pareto/modules/pareto2typescript/api.data.ts +3 -3
- package/auto.pareto/modules/pareto2typescript/glossary.data.ts +2 -2
- package/auto.pareto/modules/tendril2alan_light/api.data.ts +17 -0
- package/auto.pareto/modules/tendril2alan_light/glossary.data.ts +51 -0
- package/auto.pareto/modules/typescript_naming/api.data.ts +3 -3
- package/auto.pareto/modules/typescript_naming/glossary.data.ts +2 -2
- package/auto.pareto/modules/typescript_serialize/api.data.ts +3 -3
- package/auto.pareto/modules/typescript_serialize/glossary.data.ts +2 -2
- package/package.json +5 -5
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/$.data.ts +0 -58
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/arithmetic/api.data.ts +0 -26
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/arithmetic/glossary.data.ts +0 -76
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/array/api.data.ts +0 -21
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/array/glossary.data.ts +0 -60
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/boolean/api.data.ts +0 -21
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/boolean/glossary.data.ts +0 -45
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/build/api.data.ts +0 -25
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/build/glossary.data.ts +0 -133
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/collation/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/collation/glossary.data.ts +0 -34
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/dictionary/api.data.ts +0 -60
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/dictionary/glossary.data.ts +0 -130
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/filesystem/api.data.ts +0 -19
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/filesystem/glossary.data.ts +0 -189
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/foreach/api.data.ts +0 -25
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/foreach/glossary.data.ts +0 -78
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/http/api.data.ts +0 -16
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/http/glossary.data.ts +0 -69
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/json/api.data.ts +0 -16
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/json/glossary.data.ts +0 -51
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/nested/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/nested/glossary.data.ts +0 -29
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/api.data.ts +0 -18
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/glossary.data.ts +0 -40
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/path/api.data.ts +0 -19
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/path/glossary.data.ts +0 -35
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/resolve/api.data.ts +0 -20
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/resolve/glossary.data.ts +0 -84
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/string/api.data.ts +0 -26
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/string/glossary.data.ts +0 -75
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/tostring/api.data.ts +0 -19
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-impure-library/modules/tostring/glossary.data.ts +0 -42
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/res-typescript/$.data.ts +0 -35
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/res-typescript/modules/naming/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/res-typescript/modules/naming/glossary.data.ts +0 -34
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/res-typescript/modules/serialize/api.data.ts +0 -18
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/res-typescript/modules/serialize/glossary.data.ts +0 -42
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/$.data.ts +0 -58
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/arithmetic/api.data.ts +0 -26
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/arithmetic/glossary.data.ts +0 -76
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/array/api.data.ts +0 -21
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/array/glossary.data.ts +0 -60
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/boolean/api.data.ts +0 -21
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/boolean/glossary.data.ts +0 -45
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/build/api.data.ts +0 -25
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/build/glossary.data.ts +0 -133
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/collation/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/collation/glossary.data.ts +0 -34
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/dictionary/api.data.ts +0 -60
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/dictionary/glossary.data.ts +0 -130
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/filesystem/api.data.ts +0 -19
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/filesystem/glossary.data.ts +0 -189
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/foreach/api.data.ts +0 -25
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/foreach/glossary.data.ts +0 -78
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/http/api.data.ts +0 -16
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/http/glossary.data.ts +0 -69
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/json/api.data.ts +0 -16
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/json/glossary.data.ts +0 -51
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/nested/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/nested/glossary.data.ts +0 -29
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/api.data.ts +0 -18
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/numerical_predicates/glossary.data.ts +0 -40
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/path/api.data.ts +0 -19
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/path/glossary.data.ts +0 -35
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/resolve/api.data.ts +0 -20
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/resolve/glossary.data.ts +0 -84
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/string/api.data.ts +0 -26
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/string/glossary.data.ts +0 -75
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/tostring/api.data.ts +0 -19
- package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/tostring/glossary.data.ts +0 -42
- package/auto.pareto/auto.dependencies/res-typescript/$.data.ts +0 -35
- package/auto.pareto/auto.dependencies/res-typescript/modules/naming/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/res-typescript/modules/naming/glossary.data.ts +0 -34
- package/auto.pareto/auto.dependencies/res-typescript/modules/serialize/api.data.ts +0 -18
- package/auto.pareto/auto.dependencies/res-typescript/modules/serialize/glossary.data.ts +0 -42
package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/build/glossary.data.ts
DELETED
|
@@ -1,133 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
aInterfaceMethod,
|
|
5
|
-
aInterfaceReference,
|
|
6
|
-
array, dictionary, ref, typeParameter, group, sInf, member,
|
|
7
|
-
sfunction,
|
|
8
|
-
sInterfaceMethod, sInterfaceReference, streamconsumer, string, taggedUnion, type, typeReference, aInterface, sInterface, parametrizedType,
|
|
9
|
-
infInit
|
|
10
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
11
|
-
|
|
12
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
13
|
-
const d = pd.d
|
|
14
|
-
|
|
15
|
-
export const $: g_glossary.D.Glossary = {
|
|
16
|
-
'glossary parameters': d({}),
|
|
17
|
-
'imports': d({
|
|
18
|
-
}),
|
|
19
|
-
'root': {
|
|
20
|
-
'namespaces': d({}),
|
|
21
|
-
'data types': d({
|
|
22
|
-
"Simple Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
|
|
23
|
-
|
|
24
|
-
"Simple Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
|
|
25
|
-
"Simple String": type(string()),
|
|
26
|
-
|
|
27
|
-
"Array": parametrizedType({ "Type": null, "EndType": null }, group({
|
|
28
|
-
"array": member(array(ref(typeParameter("Type")))),
|
|
29
|
-
"end": member(ref(typeParameter("EndType"))),
|
|
30
|
-
})),
|
|
31
|
-
"Dictionary": parametrizedType({ "Type": null, "EndType": null }, group({
|
|
32
|
-
"dictionary": member(dictionary(ref(typeParameter("Type")))),
|
|
33
|
-
"end": member(ref(typeParameter("EndType"))),
|
|
34
|
-
})),
|
|
35
|
-
"String": parametrizedType({ "EndType": null }, group({
|
|
36
|
-
"string": member(string()),
|
|
37
|
-
"end": member(ref(typeParameter("EndType"))),
|
|
38
|
-
})),
|
|
39
|
-
"KeyValuePair": parametrizedType({ "Type": null }, group({
|
|
40
|
-
"key": member(string()),
|
|
41
|
-
"value": member(ref(typeParameter("Type"))),
|
|
42
|
-
})),
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
48
|
-
"DictionaryBuildStrategy": type(taggedUnion({
|
|
49
|
-
"ignore": group({}),
|
|
50
|
-
"overwrite": group({}),
|
|
51
|
-
})),
|
|
52
|
-
"Startstring": type(string()),
|
|
53
|
-
}),
|
|
54
|
-
},
|
|
55
|
-
'interface types': d({
|
|
56
|
-
"Array": aInterface(aInterfaceMethod(typeReference("Array", {
|
|
57
|
-
"Type": typeParameter("Type"),
|
|
58
|
-
"EndType": typeParameter("EndType")
|
|
59
|
-
})), { "Type": null, "EndType": null }),
|
|
60
|
-
"Dictionary": aInterface(aInterfaceMethod(typeReference("Dictionary", {
|
|
61
|
-
"Type": typeParameter("Type"),
|
|
62
|
-
"EndType": typeParameter("EndType")
|
|
63
|
-
})), { "Type": null, "EndType": null }),
|
|
64
|
-
"Elements": aInterface(streamconsumer(
|
|
65
|
-
aInterfaceMethod(typeParameter("Type")),
|
|
66
|
-
aInterfaceMethod(typeParameter("EndType")),
|
|
67
|
-
), { "Type": null, "EndType": null }),
|
|
68
|
-
"Entries": aInterface(streamconsumer(
|
|
69
|
-
aInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })),
|
|
70
|
-
aInterfaceMethod(typeParameter("EndType")),
|
|
71
|
-
), { "Type": null, "EndType": null }),
|
|
72
|
-
"DuplicatesHandler": aInterface(streamconsumer(
|
|
73
|
-
aInterfaceMethod(typeReference("Simple String")),
|
|
74
|
-
aInterfaceMethod(null),
|
|
75
|
-
)),
|
|
76
|
-
"StringConsumer": aInterface(aInterfaceMethod(typeReference("String", { "EndType": typeParameter("EndType") })), { "EndType": null }),
|
|
77
|
-
"StringStreamConsumer": aInterface(streamconsumer(
|
|
78
|
-
aInterfaceMethod(typeReference("Simple String")),
|
|
79
|
-
aInterfaceMethod(typeParameter("EndType")),
|
|
80
|
-
), { "EndType": null }),
|
|
81
|
-
"Add": sInterface(sInterfaceMethod(typeReference("KeyValuePair", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
82
|
-
"Push": sInterface(sInterfaceMethod(typeParameter("Type")), { "Type": null }),
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
}),
|
|
88
|
-
'algorithm types': d({
|
|
89
|
-
"CreateArrayBuilder": infInit(aInterfaceReference("Elements", {
|
|
90
|
-
"Type": typeParameter("Type"),
|
|
91
|
-
"EndType": typeParameter("EndType"),
|
|
92
|
-
}), {
|
|
93
|
-
"handler": aInterfaceReference("Array", {
|
|
94
|
-
"Type": typeParameter("Type"),
|
|
95
|
-
"EndType": typeParameter("EndType"),
|
|
96
|
-
}),
|
|
97
|
-
}, { "Type": null, "EndType": null }),
|
|
98
|
-
"CreateUnsafeDictionaryBuilder": infInit(aInterfaceReference("Entries", {
|
|
99
|
-
"Type": typeParameter("Type"),
|
|
100
|
-
"EndType": typeParameter("EndType"),
|
|
101
|
-
}), {
|
|
102
|
-
"handler": aInterfaceReference("Dictionary", {
|
|
103
|
-
"Type": typeParameter("Type"),
|
|
104
|
-
"EndType": typeParameter("EndType")
|
|
105
|
-
}),
|
|
106
|
-
}, { "Type": null, "EndType": null }),
|
|
107
|
-
"CreateSafeDictionaryBuilder": infInit(aInterfaceReference("Entries", {
|
|
108
|
-
"Type": typeParameter("Type"),
|
|
109
|
-
"EndType": typeParameter("EndType"),
|
|
110
|
-
}), {
|
|
111
|
-
"handler": aInterfaceReference("Dictionary", {
|
|
112
|
-
"Type": typeParameter("Type"),
|
|
113
|
-
"EndType": typeParameter("EndType")
|
|
114
|
-
}),
|
|
115
|
-
"duplicatesHandler": aInterfaceReference("DuplicatesHandler"),
|
|
116
|
-
|
|
117
|
-
}, { "Type": null, "EndType": null }),
|
|
118
|
-
"CreateStringBuilder": infInit(aInterfaceReference("StringStreamConsumer", { "EndType": typeParameter("EndType") }), {
|
|
119
|
-
"handler": aInterfaceReference("StringConsumer", { "EndType": typeParameter("EndType") }),
|
|
120
|
-
}, { "EndType": null }),
|
|
121
|
-
// "BuildArray": sfunction(typeReference("Simple Array", {
|
|
122
|
-
// "Type": typeParameter("Type"),
|
|
123
|
-
// }), sInf(sInterfaceReference("Push", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
124
|
-
// "BuildUnsafeDictionary": sfunction(typeReference("Simple Dictionary", {
|
|
125
|
-
// "Type": typeParameter("Type"),
|
|
126
|
-
// }), sInf(sInterfaceReference("Add", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
127
|
-
// "BuildSafeDictionary": sfunction(typeReference("Simple Dictionary", {
|
|
128
|
-
// "Type": typeParameter("Type"),
|
|
129
|
-
// }), sInf(sInterfaceReference("Add", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
130
|
-
|
|
131
|
-
}),
|
|
132
|
-
|
|
133
|
-
}
|
package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/collation/api.data.ts
DELETED
|
@@ -1,15 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
|
|
4
|
-
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
6
|
-
|
|
7
|
-
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
|
|
9
|
-
|
|
10
|
-
export const $: g_project.D.API = api(
|
|
11
|
-
glos,
|
|
12
|
-
{
|
|
13
|
-
"localeIsBefore": algorithm("IsBefore", null, {}),
|
|
14
|
-
}
|
|
15
|
-
)
|
|
@@ -1,34 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
string, member, group,
|
|
5
|
-
typeReference,
|
|
6
|
-
data,
|
|
7
|
-
sfunction,
|
|
8
|
-
type,
|
|
9
|
-
externalTypeReference,
|
|
10
|
-
boolean,
|
|
11
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
12
|
-
|
|
13
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
14
|
-
const d = pd.d
|
|
15
|
-
|
|
16
|
-
export const $: g_glossary.D.Glossary = {
|
|
17
|
-
'glossary parameters':d({}),
|
|
18
|
-
'imports': d({
|
|
19
|
-
}),
|
|
20
|
-
'root': {
|
|
21
|
-
'namespaces': d({}),
|
|
22
|
-
'data types': d({
|
|
23
|
-
"Boolean": type(boolean()),
|
|
24
|
-
"CompareData": type(group({
|
|
25
|
-
"benchmark": member(string()),
|
|
26
|
-
"focus": member(string()),
|
|
27
|
-
})),
|
|
28
|
-
}),
|
|
29
|
-
},
|
|
30
|
-
'interface types': d({}),
|
|
31
|
-
'algorithm types': d({
|
|
32
|
-
"IsBefore": sfunction(typeReference("Boolean"), data(typeReference("CompareData"))),
|
|
33
|
-
}),
|
|
34
|
-
}
|
package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/dictionary/api.data.ts
DELETED
|
@@ -1,60 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
|
|
4
|
-
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
6
|
-
|
|
7
|
-
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterface, sInterfaceMethod, streamconsumer, string, type, typeReference } from 'pareto/auto.dist/public/shorthands/cosmos'
|
|
9
|
-
|
|
10
|
-
export const $: g_project.D.API = api(
|
|
11
|
-
glos,
|
|
12
|
-
{
|
|
13
|
-
/**
|
|
14
|
-
* does the dictionary contain the specified key
|
|
15
|
-
*/
|
|
16
|
-
"contains": algorithm("Contains", null, {}),
|
|
17
|
-
/**
|
|
18
|
-
* is the dictionary empty (no entries)
|
|
19
|
-
*/
|
|
20
|
-
"isEmpty": algorithm("IsEmpty", null, {}),
|
|
21
|
-
/**
|
|
22
|
-
* a dictionary where every entry contains optional data is transformed
|
|
23
|
-
* into a dictionary with only the entries that contained data
|
|
24
|
-
*/
|
|
25
|
-
"filter": algorithm("Filter", null, {}),
|
|
26
|
-
/**
|
|
27
|
-
* a dictionary with containing entries with values and a key candidate is transformed
|
|
28
|
-
* into a dictionary where the new key of the entry is the candidate. If candidates are not unique
|
|
29
|
-
* the function panics
|
|
30
|
-
*/
|
|
31
|
-
"unsafeRekey": algorithm("UnsafeRekey", null, {}),
|
|
32
|
-
/**
|
|
33
|
-
* 2 dictionaries are combined into 1 dictionary. If keys are not unique this function panics.
|
|
34
|
-
*/
|
|
35
|
-
"unsafeMerge": algorithm("UnsafeMerge", null, {}),
|
|
36
|
-
/**
|
|
37
|
-
* a key/value pair is added to a dictionary resulting in a new dictionary.
|
|
38
|
-
* if the key is not unique the function panics
|
|
39
|
-
*/
|
|
40
|
-
"unsafeAddEntry": algorithm("UnsafeAddEntry", null, {}),
|
|
41
|
-
/**
|
|
42
|
-
* a focus dictionary is matched to a benchmark dictionary resulting in a result dictionary
|
|
43
|
-
* this last dictionary contains all entries found in the benchmark dictionary.
|
|
44
|
-
* each entry value is optionally supplemented with the value of the focus entry, if found.
|
|
45
|
-
*/
|
|
46
|
-
"matchDictionaries": algorithm("MatchDictionaries", null, {}),
|
|
47
|
-
/**
|
|
48
|
-
* 2 dictionaries are combined into 1 dictionary. is a key exists in both directories, only the entry of the last dictionary will be used.
|
|
49
|
-
*/
|
|
50
|
-
"mergeAndOverwrite": algorithm("MergeAndOverwrite", null, {}),
|
|
51
|
-
/**
|
|
52
|
-
* the keys of the outermost dictionary is combined with the key of the innermost dictionary
|
|
53
|
-
*/
|
|
54
|
-
"flattenDictionaryOfDictionaries": algorithm("FlattenDictionaryOfDictionaries", null, {}),
|
|
55
|
-
/**
|
|
56
|
-
* 2 dictionaries are combined into 1 dictionary. is a key exists in both directories, only the entry of the first dictionary will be used.
|
|
57
|
-
*/
|
|
58
|
-
"mergeAndIgnore": algorithm("MergeAndIgnore", null, {}),
|
|
59
|
-
}
|
|
60
|
-
)
|
|
@@ -1,130 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
dictionary,
|
|
5
|
-
typeReference,
|
|
6
|
-
data,
|
|
7
|
-
sfunction,
|
|
8
|
-
ref,
|
|
9
|
-
typeParameter,
|
|
10
|
-
externalTypeReference,
|
|
11
|
-
parametrizedType,
|
|
12
|
-
optional,
|
|
13
|
-
group,
|
|
14
|
-
member,
|
|
15
|
-
aInterface,
|
|
16
|
-
streamconsumer,
|
|
17
|
-
aInterfaceMethod,
|
|
18
|
-
type,
|
|
19
|
-
string,
|
|
20
|
-
boolean,
|
|
21
|
-
sInterface,
|
|
22
|
-
sInterfaceMethod,
|
|
23
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
24
|
-
|
|
25
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
26
|
-
const d = pd.d
|
|
27
|
-
|
|
28
|
-
export const $: g_glossary.D.Glossary = {
|
|
29
|
-
'glossary parameters': d({}),
|
|
30
|
-
'imports': d({
|
|
31
|
-
}),
|
|
32
|
-
'root': {
|
|
33
|
-
'namespaces': d({}),
|
|
34
|
-
'data types': d({
|
|
35
|
-
"Boolean": type(boolean()),
|
|
36
|
-
"String": type(string()),
|
|
37
|
-
"KeyValuePair": parametrizedType({ "Type": null }, group({
|
|
38
|
-
"key": member(string()),
|
|
39
|
-
"value": member(ref(typeParameter("Type"))),
|
|
40
|
-
})),
|
|
41
|
-
"Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
|
|
42
|
-
"DictionaryAndKey": parametrizedType({ "Type": null }, group({
|
|
43
|
-
"dictionary": member(dictionary(ref(typeParameter("Type")))),
|
|
44
|
-
"key": member(string()),
|
|
45
|
-
})),
|
|
46
|
-
"FilterableDictionary": parametrizedType({ "Type": null }, dictionary(optional(ref(typeParameter("Type"))))),
|
|
47
|
-
"MergeParameters": parametrizedType({ "Type": null }, group({
|
|
48
|
-
"primary": member(ref(typeReference("Dictionary", { "Type": typeParameter("Type") }))),
|
|
49
|
-
"secondary": member(ref(typeReference("Dictionary", { "Type": typeParameter("Type") }))),
|
|
50
|
-
})),
|
|
51
|
-
"MatchedDictionary": parametrizedType({ "Benchmark": null, "Focus": null }, dictionary(group({
|
|
52
|
-
"benchmark": member(ref(typeParameter("Benchmark"))),
|
|
53
|
-
"focus": member(optional(ref(typeParameter("Focus")))),
|
|
54
|
-
}))),
|
|
55
|
-
|
|
56
|
-
"DictionaryTuple": parametrizedType({ "Benchmark": null, "Focus": null }, group({
|
|
57
|
-
"benchmark": member(ref(typeReference("Dictionary", { "Type": typeParameter("Benchmark") }))),
|
|
58
|
-
"focus": member(ref(typeReference("Dictionary", { "Type": typeParameter("Focus") }))),
|
|
59
|
-
})),
|
|
60
|
-
"FlattenDictionaryOfDictionariesParameters": parametrizedType({ "Type": null }, group({
|
|
61
|
-
"dictionaries": member(dictionary(ref(typeReference("Dictionary", { "Type": typeParameter("Type") })))),
|
|
62
|
-
"separator": member(string()),
|
|
63
|
-
"escape": member(string()),// to escape if the separator appears in the key of the top level dictionary
|
|
64
|
-
})),
|
|
65
|
-
"UnsafeAddEntryParameters": parametrizedType({ "Type": null }, group({
|
|
66
|
-
"dictionary": member(ref(typeReference("Dictionary", { "Type": typeParameter("Type") }))),
|
|
67
|
-
"keyValuePair": member(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))
|
|
68
|
-
})),
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
"RekeyDictionary": parametrizedType({ "Type": null }, dictionary(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
|
|
72
|
-
|
|
73
|
-
}),
|
|
74
|
-
},
|
|
75
|
-
'interface types': d({
|
|
76
|
-
}),
|
|
77
|
-
'algorithm types': d({
|
|
78
|
-
"Contains": sfunction(
|
|
79
|
-
typeReference("Boolean"),
|
|
80
|
-
data(typeReference("DictionaryAndKey", { "Type": typeParameter("Type") })),
|
|
81
|
-
{ "Type": null }
|
|
82
|
-
),
|
|
83
|
-
"IsEmpty": sfunction(
|
|
84
|
-
typeReference("Boolean"),
|
|
85
|
-
data(typeReference("Dictionary", { "Type": typeParameter("Type") })),
|
|
86
|
-
{ "Type": null }
|
|
87
|
-
),
|
|
88
|
-
"Filter": sfunction(
|
|
89
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
90
|
-
data(typeReference("FilterableDictionary", { "Type": typeParameter("Type") })),
|
|
91
|
-
{ "Type": null }
|
|
92
|
-
),
|
|
93
|
-
"UnsafeRekey": sfunction(
|
|
94
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
95
|
-
data(typeReference("RekeyDictionary", { "Type": typeParameter("Type") })),
|
|
96
|
-
{ "Type": null }
|
|
97
|
-
),
|
|
98
|
-
"UnsafeMerge": sfunction(
|
|
99
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
100
|
-
data(typeReference("MergeParameters", { "Type": typeParameter("Type") })),
|
|
101
|
-
{ "Type": null }
|
|
102
|
-
),
|
|
103
|
-
"UnsafeAddEntry": sfunction(
|
|
104
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
105
|
-
data(typeReference("UnsafeAddEntryParameters", { "Type": typeParameter("Type") })),
|
|
106
|
-
{ "Type": null }
|
|
107
|
-
),
|
|
108
|
-
"MergeAndIgnore": sfunction(
|
|
109
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
110
|
-
data(typeReference("MergeParameters", { "Type": typeParameter("Type") })),
|
|
111
|
-
{ "Type": null }
|
|
112
|
-
),
|
|
113
|
-
"MatchDictionaries": sfunction(
|
|
114
|
-
typeReference("MatchedDictionary", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") }),
|
|
115
|
-
data(typeReference("DictionaryTuple", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") })),
|
|
116
|
-
{ "Benchmark": null, "Focus": null }
|
|
117
|
-
),
|
|
118
|
-
"FlattenDictionaryOfDictionaries": sfunction(
|
|
119
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
120
|
-
data(typeReference("FlattenDictionaryOfDictionariesParameters", { "Type": typeParameter("Type") })),
|
|
121
|
-
{ "Type": null }
|
|
122
|
-
),
|
|
123
|
-
"MergeAndOverwrite": sfunction(
|
|
124
|
-
typeReference("Dictionary", { "Type": typeParameter("Type") }),
|
|
125
|
-
data(typeReference("MergeParameters", { "Type": typeParameter("Type") })),
|
|
126
|
-
{ "Type": null }
|
|
127
|
-
),
|
|
128
|
-
}),
|
|
129
|
-
|
|
130
|
-
}
|
package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/filesystem/api.data.ts
DELETED
|
@@ -1,19 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
|
|
4
|
-
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
6
|
-
|
|
7
|
-
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { glossary, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
|
|
9
|
-
|
|
10
|
-
export const $: g_project.D.API = api(
|
|
11
|
-
glos,
|
|
12
|
-
{
|
|
13
|
-
"createFileWriter": algorithm("CreateFileWriter", null, {}),
|
|
14
|
-
//"openFileStream": algorithm(functionReference("this", {}, "GetFile"), null, {}),
|
|
15
|
-
"makeDirectory": algorithm("MakeDirectory", null, {}),
|
|
16
|
-
"readDirectory": algorithm("ReadDirectory", null, {}),
|
|
17
|
-
"unlink": algorithm("Unlink", null, {}),
|
|
18
|
-
}
|
|
19
|
-
)
|
|
@@ -1,189 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
infInit,
|
|
5
|
-
afunction, aInterfaceMethod, aInterfaceReference, boolean, data, dictionary, externalTypeReference, group,
|
|
6
|
-
member, null_, parametrizedType, ref, streamconsumer, string, taggedUnion, type, typeParameter, typeReference, aInterface,
|
|
7
|
-
array
|
|
8
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
9
|
-
|
|
10
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
11
|
-
|
|
12
|
-
const d = pd.d
|
|
13
|
-
|
|
14
|
-
export const $: g_glossary.D.Glossary = {
|
|
15
|
-
'glossary parameters': d({}),
|
|
16
|
-
'imports': d({
|
|
17
|
-
}),
|
|
18
|
-
'root': {
|
|
19
|
-
'namespaces': d({}),
|
|
20
|
-
'data types': d({
|
|
21
|
-
"Null": type(null_()),
|
|
22
|
-
"String": type(string()),
|
|
23
|
-
"Path": type(array(string())),
|
|
24
|
-
"AnnotatedError": parametrizedType({ "Error": null }, group({
|
|
25
|
-
"path": member(ref(typeReference("String"))),
|
|
26
|
-
"error": member(ref(typeParameter("Error"))),
|
|
27
|
-
})),
|
|
28
|
-
"Result": parametrizedType({
|
|
29
|
-
"Error": null,
|
|
30
|
-
"Success": null,
|
|
31
|
-
}, taggedUnion({
|
|
32
|
-
"error": ref(typeParameter("Error")),
|
|
33
|
-
"success": ref(typeParameter("Success")),
|
|
34
|
-
})),
|
|
35
|
-
"AnnotatedReadDirError": type(ref(typeReference("AnnotatedError", {
|
|
36
|
-
"Error": typeReference("ReadDirError"),
|
|
37
|
-
}))),
|
|
38
|
-
"AnnotatedReadFileError": type(ref(typeReference("AnnotatedError", {
|
|
39
|
-
"Error": typeReference("ReadFileError"),
|
|
40
|
-
}))),
|
|
41
|
-
"AnnotatedRmdirError": type(ref(typeReference("AnnotatedError", {
|
|
42
|
-
"Error": typeReference("RmdirError"),
|
|
43
|
-
}))),
|
|
44
|
-
"AnnotatedMkdirError": type(ref(typeReference("AnnotatedError", {
|
|
45
|
-
"Error": typeReference("MkdirError"),
|
|
46
|
-
}))),
|
|
47
|
-
"AnnotatedUnlinkError": type(ref(typeReference("AnnotatedError", {
|
|
48
|
-
"Error": typeReference("UnlinkError"),
|
|
49
|
-
}))),
|
|
50
|
-
"AnnotatedWriteFileError": type(ref(typeReference("AnnotatedError", {
|
|
51
|
-
"Error": typeReference("WriteFileError"),
|
|
52
|
-
}))),
|
|
53
|
-
"WriteFileParameters": type(group({
|
|
54
|
-
"path": member(ref(typeReference("Path"))),
|
|
55
|
-
"overwrite if exists": member(boolean()),
|
|
56
|
-
"create containing directories": member(boolean()),
|
|
57
|
-
})),
|
|
58
|
-
// "AnnotatedReadFileError": group({
|
|
59
|
-
// "path": member(str()),
|
|
60
|
-
// "error": member(taggedUnion({
|
|
61
|
-
// "no entity": null_(),
|
|
62
|
-
// "is directory": null_(),
|
|
63
|
-
// "unknown": type(group({
|
|
64
|
-
// "message": member(str()),
|
|
65
|
-
// })),
|
|
66
|
-
// })),
|
|
67
|
-
// }),
|
|
68
|
-
"DirNodeData": type(group({
|
|
69
|
-
"path": member(string()),
|
|
70
|
-
"type": member(taggedUnion({
|
|
71
|
-
"directory": null_(),
|
|
72
|
-
"file": null_(),
|
|
73
|
-
"unknown": null_(),
|
|
74
|
-
})),
|
|
75
|
-
})),
|
|
76
|
-
"MkdirError": type(taggedUnion({
|
|
77
|
-
"no entity": null_(),
|
|
78
|
-
"exists": null_(),
|
|
79
|
-
"unknown": group({
|
|
80
|
-
"message": member(string()),
|
|
81
|
-
}),
|
|
82
|
-
})),
|
|
83
|
-
"Mkdir_Data": type(group({
|
|
84
|
-
"path": member(ref(typeReference("Path"))),
|
|
85
|
-
"createContainingDirectories": member(boolean()),
|
|
86
|
-
})),
|
|
87
|
-
"Mkdir_Result": type(ref(typeReference("Result", {
|
|
88
|
-
"Error": typeReference("AnnotatedMkdirError"),
|
|
89
|
-
"Success": typeReference("Null"),
|
|
90
|
-
}))),
|
|
91
|
-
"ReadDirectory_Data": type(group({
|
|
92
|
-
"path": member(ref(typeReference("Path"))),
|
|
93
|
-
})),
|
|
94
|
-
"ReadDirectory_Success": type(dictionary(ref(typeReference("DirNodeData")))),
|
|
95
|
-
"ReadDirectory_Result": type(ref(typeReference("Result", {
|
|
96
|
-
"Error": typeReference("AnnotatedReadDirError"),
|
|
97
|
-
"Success": typeReference("ReadDirectory_Success"),
|
|
98
|
-
}))),
|
|
99
|
-
"ReadDirError": type(taggedUnion({
|
|
100
|
-
"no entity": null_(),
|
|
101
|
-
"is not directory": null_(),
|
|
102
|
-
"unknown": group({
|
|
103
|
-
"message": member(string()),
|
|
104
|
-
}),
|
|
105
|
-
})),
|
|
106
|
-
"ReadFile_Result": type(ref(typeReference("Result", {
|
|
107
|
-
"Error": typeReference("AnnotatedReadFileError"),
|
|
108
|
-
"Success": typeReference("String"),
|
|
109
|
-
}))),
|
|
110
|
-
|
|
111
|
-
"ReadFile_Data": type(group({
|
|
112
|
-
"path": member(ref(typeReference("Path"))),
|
|
113
|
-
})),
|
|
114
|
-
"ReadFileError": type(taggedUnion({
|
|
115
|
-
"no entity": null_(),
|
|
116
|
-
"is directory": null_(),
|
|
117
|
-
"unknown": group({
|
|
118
|
-
"message": member(string()),
|
|
119
|
-
}),
|
|
120
|
-
})),
|
|
121
|
-
"RmdirError": type(taggedUnion({
|
|
122
|
-
"no entity": null_(),
|
|
123
|
-
"not empty": null_(),
|
|
124
|
-
"unknown": group({
|
|
125
|
-
"message": member(string()),
|
|
126
|
-
}),
|
|
127
|
-
})),
|
|
128
|
-
"UnlinkError": type(taggedUnion({
|
|
129
|
-
"no entity": null_(),
|
|
130
|
-
"is directory": null_(),
|
|
131
|
-
"unknown": group({
|
|
132
|
-
"message": member(string()),
|
|
133
|
-
}),
|
|
134
|
-
})),
|
|
135
|
-
"Unlink_Data": type(group({
|
|
136
|
-
"path": member(ref(typeReference("Path"))),
|
|
137
|
-
})),
|
|
138
|
-
"Unlink_Result": type(ref(typeReference("Result", {
|
|
139
|
-
"Error": typeReference("AnnotatedUnlinkError"),
|
|
140
|
-
"Success": typeReference("Null"),
|
|
141
|
-
}))),
|
|
142
|
-
|
|
143
|
-
// "WriteFile_Result": type(ref(typeReference("Result", {
|
|
144
|
-
// "Error": typeReference("AnnotatedWriteFileError"),
|
|
145
|
-
// "Success": typeReference("common", "Null"),
|
|
146
|
-
// })),
|
|
147
|
-
|
|
148
|
-
"WriteFileError": type(taggedUnion({
|
|
149
|
-
"no entity": null_(),
|
|
150
|
-
"is directory": null_(),
|
|
151
|
-
"unknown": group({
|
|
152
|
-
"message": member(string()),
|
|
153
|
-
}),
|
|
154
|
-
})),
|
|
155
|
-
}),
|
|
156
|
-
},
|
|
157
|
-
'interface types': d({
|
|
158
|
-
//these should be defined somewhere but is this the place
|
|
159
|
-
// "HandleReadDirError": interfaceMethod(typeReference("AnnotatedReadDirFileError"), null, null, null),
|
|
160
|
-
// "HandleReadFileError": interfaceMethod(typeReference("AnnotatedReadFileError"), null, null, null),
|
|
161
|
-
// "HandleMkdirError": interfaceMethod(typeReference("AnnotatedMkdirError"), null, null, null),
|
|
162
|
-
// "HandleUnlinkError": interfaceMethod(typeReference("AnnotatedUnlinkError"), null, null, null),
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
"OnFileWriteError": aInterface(aInterfaceMethod(typeReference("AnnotatedWriteFileError"))),
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
// "Reader": ['group', {
|
|
169
|
-
// 'members': d({
|
|
170
|
-
// "init": builderMethod(null, ['reference', builderReference("StreamConsumer")]),
|
|
171
|
-
// "onError": builderMethod(typeReference("AnnotatedReadFileError")),
|
|
172
|
-
// }),
|
|
173
|
-
// }]
|
|
174
|
-
"StringStreamConsumer": aInterface(streamconsumer(
|
|
175
|
-
aInterfaceMethod(typeReference("String")),
|
|
176
|
-
aInterfaceMethod(null),
|
|
177
|
-
)),
|
|
178
|
-
"WriteFile": aInterface(aInterfaceMethod(typeReference("WriteFileParameters"), ['reference', aInterfaceReference("StringStreamConsumer")])),
|
|
179
|
-
}),
|
|
180
|
-
'algorithm types': d({
|
|
181
|
-
"CreateFileWriter": infInit(aInterfaceReference("WriteFile"), {
|
|
182
|
-
"onWriteFileError": aInterfaceReference("OnFileWriteError"),
|
|
183
|
-
}),
|
|
184
|
-
"MakeDirectory": afunction(typeReference("Mkdir_Result"), typeReference("Mkdir_Data")),
|
|
185
|
-
"ReadDirectory": afunction(typeReference("ReadDirectory_Result"), typeReference("ReadDirectory_Data")),
|
|
186
|
-
"Unlink": afunction(typeReference("Unlink_Result"), typeReference("Unlink_Data")),
|
|
187
|
-
//"OpenFIleStream": afunc(typeReference("common", "Path"), null, null, inf(interfaceReference("Reader"))),
|
|
188
|
-
}),
|
|
189
|
-
}
|
package/auto.pareto/auto.dependencies/pareto-standard-impure-library/modules/foreach/api.data.ts
DELETED
|
@@ -1,25 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/cosmos"
|
|
4
|
-
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
6
|
-
|
|
7
|
-
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { glossary, sibling, group, member, number, type } from 'pareto/auto.dist/public/shorthands/cosmos'
|
|
9
|
-
|
|
10
|
-
// import { $ as g_collation } from "../collation/glossary.data"
|
|
11
|
-
|
|
12
|
-
export const $: g_project.D.API = api(
|
|
13
|
-
glos,
|
|
14
|
-
{
|
|
15
|
-
"arrayForEach": algorithm("ArrayForEach", null, {}),
|
|
16
|
-
"dictionaryForEach": algorithm("DictionaryForEach", null, {
|
|
17
|
-
//FIXME "compare": sibling("collation", "IsABeforeB"),
|
|
18
|
-
}),
|
|
19
|
-
"enrichedArrayForEach": algorithm("EnrichedArrayForEach", null, {}),
|
|
20
|
-
"enrichedDictionaryForEach": algorithm("EnrichedDictionaryForEach", null, {
|
|
21
|
-
//FIXME "compare": sibling("collation", "IsABeforeB"),
|
|
22
|
-
}),
|
|
23
|
-
"decorateDictionaryEntriesWithKey": algorithm("DecorateDictionaryEntriesWithKey", null, {}),
|
|
24
|
-
}
|
|
25
|
-
)
|