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
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import {
|
|
4
|
+
data,
|
|
5
|
+
sfunction,
|
|
6
|
+
type,
|
|
7
|
+
group,
|
|
8
|
+
typeReference,
|
|
9
|
+
member,
|
|
10
|
+
string,
|
|
11
|
+
dictionary,
|
|
12
|
+
null_,
|
|
13
|
+
array,
|
|
14
|
+
imp,
|
|
15
|
+
externalTypeReference,
|
|
16
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
17
|
+
|
|
18
|
+
import { $ as d_alan } from "../../auto.dependencies/pareto-pure/glossaries/auto.alan.data"
|
|
19
|
+
import { $ as d_fp } from "../../auto.dependencies/pareto-pure/modules/fountain_pen/glossary.data"
|
|
20
|
+
|
|
21
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
22
|
+
const d = pd.d
|
|
23
|
+
|
|
24
|
+
export const $: g_glossary.D.Glossary = {
|
|
25
|
+
'glossary parameters': d({}),
|
|
26
|
+
'imports': d({
|
|
27
|
+
"alan": imp(d_alan, {}),
|
|
28
|
+
"fp": imp(d_fp, {}),
|
|
29
|
+
}),
|
|
30
|
+
'root': {
|
|
31
|
+
'namespaces': d({}),
|
|
32
|
+
'data types': d({
|
|
33
|
+
"String": type(string()),
|
|
34
|
+
}),
|
|
35
|
+
},
|
|
36
|
+
'interface types': d({}),
|
|
37
|
+
'algorithm types': d({
|
|
38
|
+
"Serialize": sfunction(externalTypeReference("fp", "Indented Lines"), data(externalTypeReference("alan", "Root"))),
|
|
39
|
+
}),
|
|
40
|
+
|
|
41
|
+
}
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
import * as pd from 'pareto-core-data'
|
|
2
2
|
|
|
3
|
-
import { algorithm, algref, api } from "pareto/auto.dist/public/shorthands/
|
|
3
|
+
import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
4
4
|
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
5
|
+
import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
6
6
|
|
|
7
7
|
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterface, sInterfaceMethod, streamconsumer, string, type, typeReference } from
|
|
8
|
+
import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterface, sInterfaceMethod, streamconsumer, string, type, typeReference } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
9
|
|
|
10
10
|
export const $: g_project.D.API = api(
|
|
11
11
|
glos,
|
|
@@ -22,9 +22,9 @@ import {
|
|
|
22
22
|
sInterfaceMethod,
|
|
23
23
|
array,
|
|
24
24
|
imp,
|
|
25
|
-
} from "pareto/auto.dist/public/shorthands/
|
|
25
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
26
26
|
|
|
27
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
27
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
28
28
|
|
|
29
29
|
|
|
30
30
|
import { $ as d_pareto } from "../../auto.dependencies/pareto-pure/glossaries/auto.pareto.data"
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
4
|
+
|
|
5
|
+
import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.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-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
|
+
|
|
10
|
+
export const $: g_project.D.API = api(
|
|
11
|
+
glos,
|
|
12
|
+
|
|
13
|
+
{
|
|
14
|
+
"map": algorithm("Map", null, {})
|
|
15
|
+
|
|
16
|
+
}
|
|
17
|
+
)
|
|
@@ -0,0 +1,51 @@
|
|
|
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
|
+
array,
|
|
24
|
+
imp,
|
|
25
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
26
|
+
|
|
27
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
28
|
+
|
|
29
|
+
|
|
30
|
+
import { $ as d_tendril } from "../../auto.dependencies/pareto-pure/glossaries/auto.tendril_resolved.data"
|
|
31
|
+
import { $ as d_alan_light } from "../../auto.dependencies/pareto-pure/glossaries/auto.alan.data"
|
|
32
|
+
|
|
33
|
+
const d = pd.d
|
|
34
|
+
|
|
35
|
+
export const $: g_glossary.D.Glossary = {
|
|
36
|
+
'imports': d({
|
|
37
|
+
"tendril": imp(d_tendril, {}),
|
|
38
|
+
"alan light": imp(d_alan_light, {}),
|
|
39
|
+
}),
|
|
40
|
+
|
|
41
|
+
'glossary parameters': d({}),
|
|
42
|
+
'root': {
|
|
43
|
+
'namespaces': d({}),
|
|
44
|
+
'data types': d({
|
|
45
|
+
}),
|
|
46
|
+
},
|
|
47
|
+
'interface types': d({}),
|
|
48
|
+
'algorithm types': d({
|
|
49
|
+
"Map": sfunction(externalTypeReference("alan light", "Root"), data(externalTypeReference("tendril", "Model"))),
|
|
50
|
+
}),
|
|
51
|
+
}
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
import * as pd from 'pareto-core-data'
|
|
2
2
|
|
|
3
|
-
import { algorithm, api } from "pareto/auto.dist/public/shorthands/
|
|
3
|
+
import { algorithm, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
4
4
|
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
5
|
+
import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
6
6
|
|
|
7
7
|
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { glossary, group, member, number, type } from
|
|
8
|
+
import { glossary, group, member, number, type } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
9
|
|
|
10
10
|
export const $: g_project.D.API = api(
|
|
11
11
|
glos,
|
|
@@ -11,9 +11,9 @@ import {
|
|
|
11
11
|
dictionary,
|
|
12
12
|
null_,
|
|
13
13
|
array,
|
|
14
|
-
} from "pareto/auto.dist/public/shorthands/
|
|
14
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
15
15
|
|
|
16
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
16
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
17
17
|
const d = pd.d
|
|
18
18
|
|
|
19
19
|
export const $: g_glossary.D.Glossary = {
|
|
@@ -1,11 +1,11 @@
|
|
|
1
1
|
import * as pd from 'pareto-core-data'
|
|
2
2
|
|
|
3
|
-
import { algorithm, api } from "pareto/auto.dist/public/shorthands/
|
|
3
|
+
import { algorithm, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
4
4
|
|
|
5
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
5
|
+
import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
6
6
|
|
|
7
7
|
import { $ as glos } from "./glossary.data"
|
|
8
|
-
import { glossary, group, member, number, type } from
|
|
8
|
+
import { glossary, group, member, number, type } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
9
|
|
|
10
10
|
export const $: g_project.D.API = api(
|
|
11
11
|
glos,
|
|
@@ -11,9 +11,9 @@ import {
|
|
|
11
11
|
dictionary,
|
|
12
12
|
null_,
|
|
13
13
|
array,
|
|
14
|
-
} from "pareto/auto.dist/public/shorthands/
|
|
14
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
15
15
|
|
|
16
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
16
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
17
17
|
const d = pd.d
|
|
18
18
|
|
|
19
19
|
export const $: g_glossary.D.Glossary = {
|
package/package.json
CHANGED
|
@@ -6,9 +6,9 @@
|
|
|
6
6
|
"pareto-core-alg": "^0.2.2",
|
|
7
7
|
"pareto-core-data": "^0.7.2",
|
|
8
8
|
"pareto-core-dev": "^0.9.1",
|
|
9
|
-
"pareto-pure": "^0.
|
|
10
|
-
"pareto-standard-library": "^0.
|
|
11
|
-
"pareto-subatomic-library": "^0.
|
|
9
|
+
"pareto-pure": "^0.6.2",
|
|
10
|
+
"pareto-standard-library": "^0.5.0",
|
|
11
|
+
"pareto-subatomic-library": "^0.4.0"
|
|
12
12
|
},
|
|
13
13
|
"files": [
|
|
14
14
|
"auto.dist",
|
|
@@ -21,6 +21,6 @@
|
|
|
21
21
|
"main": "auto.dist/index.js",
|
|
22
22
|
"types": "auto.dist/index.d.ts",
|
|
23
23
|
"name": "pareto",
|
|
24
|
-
"version": "0.
|
|
25
|
-
"content-fingerprint": "
|
|
24
|
+
"version": "0.58.0",
|
|
25
|
+
"content-fingerprint": "7d41b1ba4f2864412f7125c094d4a3ad037aea0f"
|
|
26
26
|
}
|
|
@@ -1,58 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import * as g_project from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
4
|
-
|
|
5
|
-
const d = pd.d
|
|
6
|
-
import { } from "pareto/auto.dist/public/shorthands/cosmos"
|
|
7
|
-
|
|
8
|
-
import { $ as d_arithmetic } from "./modules/arithmetic/api.data"
|
|
9
|
-
import { $ as d_array } from "./modules/array/api.data"
|
|
10
|
-
import { $ as d_boolean } from "./modules/boolean/api.data"
|
|
11
|
-
import { $ as d_build } from "./modules/build/api.data"
|
|
12
|
-
import { $ as d_collation } from "./modules/collation/api.data"
|
|
13
|
-
import { $ as d_dictionary } from "./modules/dictionary/api.data"
|
|
14
|
-
import { $ as d_filesystem } from "./modules/filesystem/api.data"
|
|
15
|
-
import { $ as d_foreach } from "./modules/foreach/api.data"
|
|
16
|
-
import { $ as d_http } from "./modules/http/api.data"
|
|
17
|
-
import { $ as d_json } from "./modules/json/api.data"
|
|
18
|
-
import { $ as d_path } from "./modules/path/api.data"
|
|
19
|
-
import { $ as d_nested } from "./modules/nested/api.data"
|
|
20
|
-
import { $ as d_numerical_predicates } from "./modules/numerical_predicates/api.data"
|
|
21
|
-
import { $ as d_resolve } from "./modules/resolve/api.data"
|
|
22
|
-
import { $ as d_string } from "./modules/string/api.data"
|
|
23
|
-
import { $ as d_tostring } from "./modules/tostring/api.data"
|
|
24
|
-
|
|
25
|
-
export const $: g_project.D.Library = {
|
|
26
|
-
'author': "Corno",
|
|
27
|
-
'description': "A library that contains very common functionality that cannot be implemented purely in Pareto",
|
|
28
|
-
'license': "TBD",
|
|
29
|
-
|
|
30
|
-
'type': ['impure', null],
|
|
31
|
-
'module sets': {
|
|
32
|
-
'public': {
|
|
33
|
-
'glossaries': d({}),
|
|
34
|
-
'modules': d({
|
|
35
|
-
"arithmetic": d_arithmetic,
|
|
36
|
-
"array": d_array,
|
|
37
|
-
"boolean": d_boolean,
|
|
38
|
-
"build": d_build,
|
|
39
|
-
"collation": d_collation,
|
|
40
|
-
"dictionary": d_dictionary,
|
|
41
|
-
"filesystem": d_filesystem,
|
|
42
|
-
"foreach": d_foreach,
|
|
43
|
-
"http": d_http,
|
|
44
|
-
"json": d_json,
|
|
45
|
-
"nested": d_nested,
|
|
46
|
-
"numerical predicates": d_numerical_predicates,
|
|
47
|
-
"path": d_path,
|
|
48
|
-
"resolve": d_resolve,
|
|
49
|
-
"string": d_string,
|
|
50
|
-
"tostring": d_tostring,
|
|
51
|
-
})
|
|
52
|
-
},
|
|
53
|
-
'private': {
|
|
54
|
-
'glossaries': d({}),
|
|
55
|
-
'modules': d({}),
|
|
56
|
-
}
|
|
57
|
-
}
|
|
58
|
-
}
|
|
@@ -1,26 +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
|
-
"arrayMax": algorithm("ArrayMax", null, {}),
|
|
14
|
-
"arrayMin": algorithm("ArrayMin", null, {}),
|
|
15
|
-
"arraySum": algorithm("ArraySum", null, {}),
|
|
16
|
-
"dictionaryMax": algorithm("DictionaryMax", null, {}),
|
|
17
|
-
"dictionaryMin": algorithm("DictionaryMin", null, {}),
|
|
18
|
-
"dictionarySum": algorithm("DictionarySum", null, {}),
|
|
19
|
-
"divideWithRemainder": algorithm("DivideWithRemainder", null, {}),
|
|
20
|
-
"increment": algorithm("Increment", "IncrementConfig", {}),
|
|
21
|
-
"max": algorithm("Max", null, {}),
|
|
22
|
-
"array_multiply": algorithm("Array Multiply", null, {}),
|
|
23
|
-
"negate": algorithm("Negate", null, {}),
|
|
24
|
-
"subtract": algorithm("Subtract", null, {}),
|
|
25
|
-
}
|
|
26
|
-
)
|
|
@@ -1,76 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
array, boolean, data, dictionary, externalTypeReference, group, member, number, optional, sfunction,
|
|
5
|
-
type, typeReference
|
|
6
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
7
|
-
|
|
8
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
9
|
-
|
|
10
|
-
const d = pd.d
|
|
11
|
-
|
|
12
|
-
export const $: g_glossary.D.Glossary = {
|
|
13
|
-
'glossary parameters': d({}),
|
|
14
|
-
'imports': d({
|
|
15
|
-
}),
|
|
16
|
-
'root': {
|
|
17
|
-
'namespaces': d({}),
|
|
18
|
-
'data types': d({
|
|
19
|
-
"Number": type(number()),
|
|
20
|
-
"OptionalNumber": type(optional(number())),
|
|
21
|
-
"NumberRange": type(array(number())),
|
|
22
|
-
"DivisionData": type(group({
|
|
23
|
-
"numerator": member(number()),
|
|
24
|
-
"denominator": member(number()),
|
|
25
|
-
})),
|
|
26
|
-
"NumberTuple": type(group({
|
|
27
|
-
"yin": member(number()),
|
|
28
|
-
"yang": member(number()),
|
|
29
|
-
})),
|
|
30
|
-
"DivisionResult": type(optional(group({
|
|
31
|
-
"quotient": member(number()),
|
|
32
|
-
"remainder": member(number()),
|
|
33
|
-
|
|
34
|
-
}))),
|
|
35
|
-
"SubtractData": type(group({
|
|
36
|
-
"minuend": member(number()),
|
|
37
|
-
"subtrahend": member(number()),
|
|
38
|
-
})),
|
|
39
|
-
"NumberDictionary": type(dictionary(number())),
|
|
40
|
-
"NumberArray": type(array(number())),
|
|
41
|
-
|
|
42
|
-
"IncrementConfig": type(group({
|
|
43
|
-
"stepsize": member(number())
|
|
44
|
-
}))
|
|
45
|
-
}),
|
|
46
|
-
},
|
|
47
|
-
'interface types': d({}),
|
|
48
|
-
'algorithm types': d({
|
|
49
|
-
"Increment": sfunction(typeReference("Number"), data(typeReference("Number"))),
|
|
50
|
-
"Array Multiply": sfunction(typeReference("Number"), data(typeReference("NumberRange"))),
|
|
51
|
-
"Negate": sfunction(typeReference("Number"), data(typeReference("Number"))),
|
|
52
|
-
/**
|
|
53
|
-
* if the denominator is 0, the return value is null
|
|
54
|
-
* (division by 0),
|
|
55
|
-
*/
|
|
56
|
-
"DivideWithRemainder": sfunction(typeReference("DivisionResult"), data(typeReference("DivisionData"))),
|
|
57
|
-
/**
|
|
58
|
-
* calculates the max of an array of numbers. If there are no entries, the result value is 0
|
|
59
|
-
*/
|
|
60
|
-
"ArrayMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
|
|
61
|
-
"ArrayMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
|
|
62
|
-
"ArraySum": sfunction(typeReference("Number"), data(typeReference("NumberArray"))),
|
|
63
|
-
/**
|
|
64
|
-
* calculates the max of a dictionary of number. If there are no entries, the result value is 0
|
|
65
|
-
*/
|
|
66
|
-
"DictionaryMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
|
|
67
|
-
"DictionaryMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
|
|
68
|
-
/**
|
|
69
|
-
* calculates the max of a tuple of numbers
|
|
70
|
-
*/
|
|
71
|
-
"DictionarySum": sfunction(typeReference("Number"), data(typeReference("NumberDictionary"))),
|
|
72
|
-
|
|
73
|
-
"Max": sfunction(typeReference("Number"), data(typeReference("NumberTuple"))),
|
|
74
|
-
"Subtract": sfunction(typeReference("Number"), data(typeReference("SubtractData"))),
|
|
75
|
-
}),
|
|
76
|
-
}
|
|
@@ -1,21 +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
|
-
"getLastElement": algorithm("GetLastElement", null, {}),
|
|
14
|
-
//FIXME "getElementAt": algorithm("GetElementAt", null, {}),
|
|
15
|
-
"getLength": algorithm("GetLength", null, {}),
|
|
16
|
-
"flattenArrayOfArrays": algorithm("FlattenArrayOfArrays", null, {}),
|
|
17
|
-
"push": algorithm("Push", null, {}),
|
|
18
|
-
"matchArrays": algorithm("MatchArrays", null, {}),
|
|
19
|
-
|
|
20
|
-
}
|
|
21
|
-
)
|
|
@@ -1,60 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
array, data, dictionary, externalTypeReference, group, member, number, optional, parametrizedType, ref, sfunction,
|
|
5
|
-
type, typeParameter, typeReference
|
|
6
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
7
|
-
|
|
8
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
9
|
-
|
|
10
|
-
const d = pd.d
|
|
11
|
-
|
|
12
|
-
export const $: g_glossary.D.Glossary = {
|
|
13
|
-
'glossary parameters': d({}),
|
|
14
|
-
'imports': d({
|
|
15
|
-
}),
|
|
16
|
-
'root': {
|
|
17
|
-
'namespaces': d({}),
|
|
18
|
-
'data types': d({
|
|
19
|
-
"Length": type(number()),
|
|
20
|
-
"Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
|
|
21
|
-
"ArrayOfArrays": parametrizedType({ "Type": null }, array(ref(typeReference("Array", { "Type": typeParameter("Type") })))),
|
|
22
|
-
"GetElementAtData": parametrizedType({ "Type": null }, group({
|
|
23
|
-
"array": member(ref(typeReference("Array", { "Type": typeParameter("Type") }))),
|
|
24
|
-
"index": member(number()),
|
|
25
|
-
})),
|
|
26
|
-
"PushParameters": parametrizedType({ "Type": null }, group({
|
|
27
|
-
"array": member(ref(typeReference("Array", { "Type": typeParameter("Type") }))),
|
|
28
|
-
"element": member(ref(typeParameter("Type"))),
|
|
29
|
-
})),
|
|
30
|
-
"OptionalElement": parametrizedType({ "Type": null }, optional(ref(typeParameter("Type")))),
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
"ArrayTuple": parametrizedType({ "Benchmark": null, "Focus": null }, group({
|
|
34
|
-
"benchmark": member(ref(typeReference("Array", { "Type": typeParameter("Benchmark") }))),
|
|
35
|
-
"focus": member(ref(typeReference("Array", { "Type": typeParameter("Focus") }))),
|
|
36
|
-
})),
|
|
37
|
-
|
|
38
|
-
"MatchedArrays": parametrizedType({ "Benchmark": null, "Focus": null }, array(group({
|
|
39
|
-
"benchmark": member(ref(typeParameter("Benchmark"))),
|
|
40
|
-
"focus": member(ref(typeParameter("Focus"))),
|
|
41
|
-
}))),
|
|
42
|
-
|
|
43
|
-
}),
|
|
44
|
-
},
|
|
45
|
-
'interface types': d({}),
|
|
46
|
-
'algorithm types': d({
|
|
47
|
-
"GetElementAt": sfunction(typeParameter("Type"), data(typeReference("GetElementAtData", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
48
|
-
"GetLastElement": sfunction(typeReference("OptionalElement", { "Type": typeParameter("Type") }), data(typeReference("Array", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
49
|
-
"GetLength": sfunction(typeReference("Length"), data(typeReference("Array", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
50
|
-
"FlattenArrayOfArrays": sfunction(typeReference("Array", { "Type": typeParameter("Type") }), data(typeReference("ArrayOfArrays", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
51
|
-
"Push": sfunction(typeReference("Array", { "Type": typeParameter("Type") }), data(typeReference("PushParameters", { "Type": typeParameter("Type") })), { "Type": null }),
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
"MatchArrays": sfunction(
|
|
55
|
-
typeReference("MatchedArrays", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") }),
|
|
56
|
-
data(typeReference("ArrayTuple", { "Benchmark": typeParameter("Benchmark"), "Focus": typeParameter("Focus") })),
|
|
57
|
-
{ "Benchmark": null, "Focus": null }
|
|
58
|
-
),
|
|
59
|
-
}),
|
|
60
|
-
}
|
|
@@ -1,21 +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
|
-
"array_and": algorithm("Array And", null, {}),
|
|
14
|
-
"array_or": algorithm("Array Or", null, {}),
|
|
15
|
-
"array_xor": algorithm("Array Xor", null, {}),
|
|
16
|
-
"and": algorithm("And", null, {}),
|
|
17
|
-
"or": algorithm("Or", null, {}),
|
|
18
|
-
"xor": algorithm("Xor", null, {}),
|
|
19
|
-
"not": algorithm("Not", null, {}),
|
|
20
|
-
}
|
|
21
|
-
)
|
|
@@ -1,45 +0,0 @@
|
|
|
1
|
-
import * as pd from 'pareto-core-data'
|
|
2
|
-
|
|
3
|
-
import {
|
|
4
|
-
array,
|
|
5
|
-
boolean,
|
|
6
|
-
data,
|
|
7
|
-
externalTypeReference,
|
|
8
|
-
group,
|
|
9
|
-
member,
|
|
10
|
-
number,
|
|
11
|
-
sfunction,
|
|
12
|
-
type,
|
|
13
|
-
typeReference,
|
|
14
|
-
} from "pareto/auto.dist/public/shorthands/cosmos"
|
|
15
|
-
|
|
16
|
-
import * as g_glossary from "pareto/auto.dist/public/glossaries/cosmos__type__system"
|
|
17
|
-
const d = pd.d
|
|
18
|
-
|
|
19
|
-
export const $: g_glossary.D.Glossary = {
|
|
20
|
-
'glossary parameters': d({}),
|
|
21
|
-
'imports': d({
|
|
22
|
-
}),
|
|
23
|
-
'root': {
|
|
24
|
-
'namespaces': d({}),
|
|
25
|
-
'data types': d({
|
|
26
|
-
"Boolean": type(boolean()),
|
|
27
|
-
"Pair Of Booleans": type(group({
|
|
28
|
-
"yin": member(boolean()),
|
|
29
|
-
"yang": member(boolean()),
|
|
30
|
-
})),
|
|
31
|
-
"Array Of Booleans": type(array(boolean())),
|
|
32
|
-
}),
|
|
33
|
-
},
|
|
34
|
-
'interface types': d({}),
|
|
35
|
-
'algorithm types': d({
|
|
36
|
-
"Array And": sfunction(typeReference("Boolean"), data(typeReference("Array Of Booleans"))),
|
|
37
|
-
"Array Or": sfunction(typeReference("Boolean"), data(typeReference("Array Of Booleans"))),
|
|
38
|
-
"Array Xor": sfunction(typeReference("Boolean"), data(typeReference("Array Of Booleans"))),
|
|
39
|
-
"And": sfunction(typeReference("Boolean"), data(typeReference("Pair Of Booleans"))),
|
|
40
|
-
"Or": sfunction(typeReference("Boolean"), data(typeReference("Pair Of Booleans"))),
|
|
41
|
-
"Xor": sfunction(typeReference("Boolean"), data(typeReference("Pair Of Booleans"))),
|
|
42
|
-
"Not": sfunction(typeReference("Boolean"), data(typeReference("Boolean"))),
|
|
43
|
-
}),
|
|
44
|
-
|
|
45
|
-
}
|
|
@@ -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, group, member, number, sInterface, sInterfaceMethod, string, taggedUnion, type, typeReference } from 'pareto/auto.dist/public/shorthands/cosmos'
|
|
9
|
-
|
|
10
|
-
export const $: g_project.D.API = api(
|
|
11
|
-
glos,
|
|
12
|
-
{
|
|
13
|
-
// "buildArray": algorithm("BuildArray", null, {}),
|
|
14
|
-
// "buildUnsafeDictionary": algorithm("BuildUnsafeDictionary", null, {}),
|
|
15
|
-
// "buildSafeDictionary": algorithm("BuildSafeDictionary", "DictionaryBuildStrategy", {}, {
|
|
16
|
-
// }),
|
|
17
|
-
"createUnsafeDictionaryBuilder": algorithm("CreateUnsafeDictionaryBuilder", null, {}),
|
|
18
|
-
"createSafeDictionaryBuilder": algorithm("CreateSafeDictionaryBuilder", "DictionaryBuildStrategy", {}),
|
|
19
|
-
"createArrayBuilder": algorithm("CreateArrayBuilder", null, {}),
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
"createStringBuilder": algorithm("CreateStringBuilder", "Startstring", {
|
|
23
|
-
}),
|
|
24
|
-
}
|
|
25
|
-
)
|