pareto 0.58.0 → 0.60.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/auto.bin/auto.boekhouding.d.ts +2 -0
- package/auto.dist/auto.bin/auto.boekhouding.js +40 -0
- package/auto.dist/data/boekhouding.data.d.ts +2 -0
- package/auto.dist/data/boekhouding.data.js +433 -0
- package/auto.dist/index.d.ts +4 -4
- package/auto.dist/index.js +6 -6
- package/auto.dist/public/modules/{alan__light__serialize → main}/auto.api.d.ts +1 -1
- package/auto.dist/public/modules/{pareto2typescript → main}/auto.api.js +1 -1
- package/auto.dist/public/modules/main/auto.implementation.d.ts +2 -0
- package/auto.dist/public/modules/main/auto.implementation.js +6 -0
- package/auto.dist/public/modules/main/auto.provided_interface_glossary.d.ts +31 -0
- package/auto.dist/public/modules/{pareto2typescript → main}/auto.provided_interface_glossary.js +1 -1
- package/auto.dist/public/modules/main/auto.provided_interface_glossary.shadow.d.ts +12 -0
- package/auto.dist/public/modules/{pareto2typescript → main}/auto.provided_interface_glossary.shadow.js +1 -1
- package/auto.dist/public/modules/main/implementations/temp_$compile_$boekhouding.alg.d.ts +2 -0
- package/auto.dist/public/modules/main/implementations/temp_$compile_$boekhouding.alg.js +83 -0
- package/auto.dist/public/modules/{pareto2typescript → main}/index.js +1 -1
- package/auto.dist/public/modules/{pareto2typescript → pareto__2__fountain__pen}/auto.api.d.ts +1 -1
- package/auto.dist/public/modules/{tendril2alan__light → pareto__2__fountain__pen}/auto.api.js +1 -1
- package/auto.dist/public/modules/pareto__2__fountain__pen/auto.implementation.d.ts +2 -0
- package/auto.dist/public/modules/pareto__2__fountain__pen/auto.implementation.js +6 -0
- package/auto.dist/public/modules/{pareto2typescript → pareto__2__fountain__pen}/auto.provided_interface_glossary.d.ts +22 -41
- package/auto.dist/public/modules/{alan__light__serialize → pareto__2__fountain__pen}/auto.provided_interface_glossary.js +1 -1
- package/auto.dist/public/modules/{pareto2typescript → pareto__2__fountain__pen}/auto.provided_interface_glossary.shadow.d.ts +11 -6
- package/auto.dist/public/modules/{tendril2alan__light → pareto__2__fountain__pen}/auto.provided_interface_glossary.shadow.js +1 -1
- package/auto.dist/public/modules/pareto__2__fountain__pen/implementations/compilationUnit_$2_$Indented_$Lines.alg.d.ts +2 -0
- package/auto.dist/public/modules/pareto__2__fountain__pen/implementations/compilationUnit_$2_$Indented_$Lines.alg.js +54 -0
- package/auto.dist/public/modules/{alan__light__serialize → pareto__2__fountain__pen}/index.js +1 -1
- package/auto.dist/public/modules/{typescript__serialize → string__aware__fountain__pen__2__fountain__pen}/auto.api.js +1 -1
- package/auto.dist/public/modules/{tendril2alan__light → string__aware__fountain__pen__2__fountain__pen}/auto.implementation.js +1 -1
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/auto.provided_interface_glossary.d.ts +90 -0
- package/auto.dist/public/modules/{typescript__serialize → string__aware__fountain__pen__2__fountain__pen}/auto.provided_interface_glossary.js +1 -1
- package/auto.dist/public/modules/{tendril2alan__light → string__aware__fountain__pen__2__fountain__pen}/auto.provided_interface_glossary.shadow.d.ts +2 -2
- package/auto.dist/public/modules/{typescript__serialize → string__aware__fountain__pen__2__fountain__pen}/auto.provided_interface_glossary.shadow.js +1 -1
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/implementations/map.alg.js +65 -0
- package/auto.dist/public/modules/{typescript__serialize → string__aware__fountain__pen__2__fountain__pen}/index.js +1 -1
- package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/auto.api.d.ts +1 -0
- package/auto.dist/public/modules/{alan__light__serialize → typescript__intermediate__2__fountain__pen}/auto.api.js +1 -1
- package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/auto.implementation.d.ts +1 -0
- package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/auto.implementation.js +4 -2
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.provided_interface_glossary.d.ts +148 -0
- package/auto.dist/public/modules/{tendril2alan__light → typescript__intermediate__2__fountain__pen}/auto.provided_interface_glossary.js +1 -1
- package/auto.dist/public/modules/{alan__light__serialize → typescript__intermediate__2__fountain__pen}/auto.provided_interface_glossary.shadow.d.ts +5 -7
- package/auto.dist/public/modules/{alan__light__serialize → typescript__intermediate__2__fountain__pen}/auto.provided_interface_glossary.shadow.js +1 -1
- package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/implementations/createApostrophedString.alg.js +2 -3
- package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/implementations/createBacktickedString.alg.js +2 -3
- package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/implementations/createQuotedString.alg.js +3 -3
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/implementations/serialize.alg.js +95 -0
- package/auto.dist/public/modules/{tendril2alan__light → typescript__intermediate__2__fountain__pen}/index.js +1 -1
- package/auto.dist/public/modules/typescript__naming/auto.provided_interface_glossary.d.ts +3 -2
- package/auto.dist/public/modules/typescript__naming/implementations/createIdentifier.alg.js +1 -1
- package/auto.pareto/$.data.ts +8 -10
- package/auto.pareto/auto.dependencies/index.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/$.data.ts +41 -20
- 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 +6 -10
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/api.data.ts +2 -0
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +89 -20
- package/auto.pareto/auto.dependencies/{pareto-standard-library/modules/build → pareto-pure/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers}/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +167 -0
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +5 -3
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +0 -6
- package/auto.pareto/auto.dependencies/{pareto-standard-library/modules/arithmetic → pareto-pure/auto.dependencies/pareto-standard-library/modules/number}/api.data.ts +3 -1
- package/auto.pareto/auto.dependencies/{pareto-standard-library/modules/arithmetic → pareto-pure/auto.dependencies/pareto-standard-library/modules/number}/glossary.data.ts +11 -17
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/optional/api.data.ts +16 -0
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts +36 -0
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +0 -14
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/api.data.ts +9 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +19 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +0 -5
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +0 -14
- package/auto.pareto/auto.dependencies/pareto-pure/{auto.dependencies/pareto-standard-library/modules/json/glossary.data.ts → glossaries/astn.data.ts} +11 -14
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/{auto.alan.data.ts → auto.graphviz.data.ts} +491 -264
- package/auto.pareto/auto.dependencies/pareto-pure/{modules/fountain_pen/glossary.data.ts → glossaries/fountain_pen.data.ts} +11 -18
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/lines.data.ts +27 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/string_aware_fountain_pen.data.ts +40 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/testresult.data.ts +137 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/typescript_intermediate.data.ts +68 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/alan_light_2_string_aware_fountain_pen/api.data.ts +20 -0
- package/auto.pareto/{modules/alan_light_serialize → auto.dependencies/pareto-pure/modules/alan_light_2_string_aware_fountain_pen}/glossary.data.ts +5 -6
- package/auto.pareto/auto.dependencies/pareto-pure/{auto.dependencies/pareto-standard-library/modules/json → modules/astn_2_fountain_pen}/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/astn_2_fountain_pen/glossary.data.ts +39 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{tendril2pareto → cosmos_type_system_2_graphviz}/api.data.ts +3 -2
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_graphviz/glossary.data.ts +30 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{cosmos2pareto → cosmos_type_system_2_pareto}/glossary.data.ts +6 -6
- package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_2_fountain_pen/api.data.ts +17 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_2_fountain_pen/glossary.data.ts +36 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen → fountain_pen_2_lines}/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_2_lines/glossary.data.ts +42 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_string_aware_fountain_pen/api.data.ts +20 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_string_aware_fountain_pen/glossary.data.ts +40 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_2_typescript/api.data.ts +16 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_2_typescript/glossary.data.ts +53 -0
- package/auto.pareto/{modules/tendril2alan_light → auto.dependencies/pareto-pure/modules/tendril_2_alan_light}/glossary.data.ts +5 -7
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{tendril2cosmos_type_system → tendril_2_cosmos_type_system}/glossary.data.ts +6 -6
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_pareto/api.data.ts +17 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{tendril2pareto → tendril_2_pareto}/glossary.data.ts +6 -5
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{testresult → testresult_2_testresult}/api.data.ts +0 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/$.data.ts +6 -10
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/api.data.ts +2 -0
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +89 -20
- package/auto.pareto/auto.dependencies/{pareto-pure/auto.dependencies/pareto-standard-library/modules/build → pareto-standard-library/modules/buildInterfaceInitializers}/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +167 -0
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +5 -3
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +0 -6
- package/auto.pareto/auto.dependencies/{pareto-pure/auto.dependencies/pareto-standard-library/modules/arithmetic → pareto-standard-library/modules/number}/api.data.ts +3 -1
- package/auto.pareto/auto.dependencies/{pareto-pure/auto.dependencies/pareto-standard-library/modules/arithmetic → pareto-standard-library/modules/number}/glossary.data.ts +11 -17
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/optional/api.data.ts +16 -0
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts +36 -0
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/api.data.ts +0 -1
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +0 -14
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/api.data.ts +9 -1
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +19 -1
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +0 -5
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +0 -14
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/$.data.ts +2 -0
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/glossaries/lines.data.ts +27 -0
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/array/glossary.data.ts +0 -1
- package/auto.pareto/{modules/alan_light_serialize → auto.dependencies/pareto-subatomic-library/modules/filesystem}/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/filesystem/glossary.data.ts +59 -0
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/api.data.ts +8 -2
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/glossary.data.ts +4 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/api.data.ts +0 -1
- package/auto.pareto/modules/main/api.data.ts +14 -0
- package/auto.pareto/modules/main/glossary.data.ts +43 -0
- package/auto.pareto/modules/{pareto2typescript → pareto_2_fountain_pen}/api.data.ts +1 -4
- package/auto.pareto/modules/{pareto2typescript → pareto_2_fountain_pen}/glossary.data.ts +6 -9
- package/auto.pareto/modules/string_aware_fountain_pen_2 fountain_pen/api.data.ts +15 -0
- package/auto.pareto/modules/string_aware_fountain_pen_2 fountain_pen/glossary.data.ts +27 -0
- package/auto.pareto/modules/{typescript_serialize → typescript_intermediate_2_fountain_pen}/api.data.ts +7 -0
- package/auto.pareto/modules/{typescript_serialize → typescript_intermediate_2_fountain_pen}/glossary.data.ts +8 -0
- package/auto.pareto/modules/typescript_naming/glossary.data.ts +3 -2
- package/package.json +9 -5
- package/auto.dist/public/modules/alan__light__serialize/auto.implementation.d.ts +0 -2
- package/auto.dist/public/modules/alan__light__serialize/auto.implementation.js +0 -6
- package/auto.dist/public/modules/alan__light__serialize/auto.provided_interface_glossary.d.ts +0 -705
- package/auto.dist/public/modules/alan__light__serialize/implementations/serialize.alg.js +0 -115
- package/auto.dist/public/modules/pareto2typescript/auto.implementation.d.ts +0 -2
- package/auto.dist/public/modules/pareto2typescript/auto.implementation.js +0 -6
- package/auto.dist/public/modules/pareto2typescript/implementations/serializeCompilationUnit.alg.d.ts +0 -2
- package/auto.dist/public/modules/pareto2typescript/implementations/serializeCompilationUnit.alg.js +0 -529
- package/auto.dist/public/modules/tendril2alan__light/auto.provided_interface_glossary.d.ts +0 -1583
- package/auto.dist/public/modules/tendril2alan__light/implementations/map.alg.js +0 -141
- package/auto.dist/public/modules/typescript__serialize/auto.provided_interface_glossary.d.ts +0 -11
- package/auto.dist/public/modules/typescript__serialize/auto.provided_interface_glossary.shadow.d.ts +0 -11
- package/auto.dist/public/modules/typescript__serialize/implementations/escape.alg.d.ts +0 -0
- package/auto.dist/public/modules/typescript__serialize/implementations/escape.alg.js +0 -20
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/build/glossary.data.ts +0 -133
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.liana.data.ts +0 -1955
- package/auto.pareto/auto.dependencies/pareto-pure/modules/liana2tendril/api.data.ts +0 -24
- package/auto.pareto/auto.dependencies/pareto-pure/modules/liana2tendril/glossary.data.ts +0 -48
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/build/glossary.data.ts +0 -133
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/json/api.data.ts +0 -15
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/json/glossary.data.ts +0 -47
- /package/auto.dist/public/modules/{alan__light__serialize → main}/index.d.ts +0 -0
- /package/auto.dist/public/modules/{pareto2typescript → pareto__2__fountain__pen}/index.d.ts +0 -0
- /package/auto.dist/public/modules/{tendril2alan__light → string__aware__fountain__pen__2__fountain__pen}/auto.api.d.ts +0 -0
- /package/auto.dist/public/modules/{tendril2alan__light → string__aware__fountain__pen__2__fountain__pen}/auto.implementation.d.ts +0 -0
- /package/auto.dist/public/modules/{tendril2alan__light → string__aware__fountain__pen__2__fountain__pen}/implementations/map.alg.d.ts +0 -0
- /package/auto.dist/public/modules/{tendril2alan__light → string__aware__fountain__pen__2__fountain__pen}/index.d.ts +0 -0
- /package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/implementations/createApostrophedString.alg.d.ts +0 -0
- /package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/implementations/createBacktickedString.alg.d.ts +0 -0
- /package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/implementations/createQuotedString.alg.d.ts +0 -0
- /package/auto.dist/public/modules/{alan__light__serialize → typescript__intermediate__2__fountain__pen}/implementations/serialize.alg.d.ts +0 -0
- /package/auto.dist/public/modules/{typescript__serialize → typescript__intermediate__2__fountain__pen}/index.d.ts +0 -0
- /package/auto.pareto/auto.dependencies/pareto-pure/modules/{cosmos2pareto → cosmos_type_system_2_pareto}/api.data.ts +0 -0
- /package/auto.pareto/{modules/tendril2alan_light → auto.dependencies/pareto-pure/modules/tendril_2_alan_light}/api.data.ts +0 -0
- /package/auto.pareto/auto.dependencies/pareto-pure/modules/{tendril2cosmos_type_system → tendril_2_cosmos_type_system}/api.data.ts +0 -0
- /package/auto.pareto/auto.dependencies/pareto-pure/modules/{testresult → testresult_2_testresult}/glossary.data.ts +0 -0
package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts
CHANGED
|
@@ -14,16 +14,10 @@ export const $: g_glossary.D.Glossary = {
|
|
|
14
14
|
'root': {
|
|
15
15
|
'namespaces': d({}),
|
|
16
16
|
'data types': d({
|
|
17
|
-
"Nested": parametrizedType({ "Type": null }, taggedUnion({
|
|
18
|
-
"single": ref(typeParameter("Type")),
|
|
19
|
-
"multiple": array(ref(typeReference("Nested", { "Type": typeParameter("Type")}))),
|
|
20
|
-
"none": null_(),
|
|
21
|
-
})),
|
|
22
17
|
"Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type"))))
|
|
23
18
|
}),
|
|
24
19
|
},
|
|
25
20
|
'interface types': d({}),
|
|
26
21
|
'algorithm types': d({
|
|
27
|
-
"Flatten": sfunction(typeReference("Array", { "Type": typeParameter("Type")}), data(typeReference("Nested", { "Type": typeParameter("Type")})), { "Type": null })
|
|
28
22
|
}),
|
|
29
23
|
}
|
|
@@ -10,9 +10,11 @@ import { glossary, group, member, number, type } from "pareto-pure/auto.dist/pub
|
|
|
10
10
|
export const $: g_project.D.API = api(
|
|
11
11
|
glos,
|
|
12
12
|
{
|
|
13
|
-
"
|
|
13
|
+
"add": algorithm("Add", null, {}),
|
|
14
14
|
"increment": algorithm("Increment", "IncrementConfig", {}),
|
|
15
|
+
"min": algorithm("Min", null, {}),
|
|
15
16
|
"max": algorithm("Max", null, {}),
|
|
17
|
+
"multiply": algorithm("Multiply", null, {}),
|
|
16
18
|
"negate": algorithm("Negate", null, {}),
|
|
17
19
|
"subtract": algorithm("Subtract", null, {}),
|
|
18
20
|
}
|
|
@@ -19,19 +19,10 @@ export const $: g_glossary.D.Glossary = {
|
|
|
19
19
|
"Number": type(number()),
|
|
20
20
|
"OptionalNumber": type(optional(number())),
|
|
21
21
|
"NumberRange": type(array(number())),
|
|
22
|
-
"DivisionData": type(group({
|
|
23
|
-
"numerator": member(number()),
|
|
24
|
-
"denominator": member(number()),
|
|
25
|
-
})),
|
|
26
22
|
"NumberTuple": type(group({
|
|
27
23
|
"yin": member(number()),
|
|
28
24
|
"yang": member(number()),
|
|
29
25
|
})),
|
|
30
|
-
"DivisionResult": type(optional(group({
|
|
31
|
-
"quotient": member(number()),
|
|
32
|
-
"remainder": member(number()),
|
|
33
|
-
|
|
34
|
-
}))),
|
|
35
26
|
"SubtractData": type(group({
|
|
36
27
|
"minuend": member(number()),
|
|
37
28
|
"subtrahend": member(number()),
|
|
@@ -46,30 +37,33 @@ export const $: g_glossary.D.Glossary = {
|
|
|
46
37
|
},
|
|
47
38
|
'interface types': d({}),
|
|
48
39
|
'algorithm types': d({
|
|
40
|
+
"Add": sfunction(typeReference("Number"), data(typeReference("NumberTuple"))),
|
|
41
|
+
"Multiply": sfunction(typeReference("Number"), data(typeReference("NumberTuple"))),
|
|
49
42
|
"Increment": sfunction(typeReference("Number"), data(typeReference("Number"))),
|
|
50
|
-
"Array Multiply": sfunction(typeReference("Number"), data(typeReference("NumberRange"))),
|
|
43
|
+
// "Array Multiply": sfunction(typeReference("Number"), data(typeReference("NumberRange"))),
|
|
51
44
|
"Negate": sfunction(typeReference("Number"), data(typeReference("Number"))),
|
|
52
45
|
/**
|
|
53
|
-
* if the denominator is 0, the return value is
|
|
46
|
+
* if the denominator is 0, the return value is not set
|
|
54
47
|
* (division by 0),
|
|
55
48
|
*/
|
|
56
|
-
|
|
49
|
+
|
|
57
50
|
/**
|
|
58
51
|
* calculates the max of an array of numbers. If there are no entries, the result value is 0
|
|
59
52
|
*/
|
|
60
|
-
"ArrayMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
|
|
61
|
-
"ArrayMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
|
|
62
|
-
"ArraySum": sfunction(typeReference("Number"), data(typeReference("NumberArray"))),
|
|
53
|
+
// "ArrayMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
|
|
54
|
+
// "ArrayMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberArray"))),
|
|
55
|
+
// "ArraySum": sfunction(typeReference("Number"), data(typeReference("NumberArray"))),
|
|
63
56
|
/**
|
|
64
57
|
* calculates the max of a dictionary of number. If there are no entries, the result value is 0
|
|
65
58
|
*/
|
|
66
|
-
"DictionaryMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
|
|
67
|
-
"DictionaryMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
|
|
59
|
+
// "DictionaryMax": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
|
|
60
|
+
// "DictionaryMin": sfunction(typeReference("OptionalNumber"), data(typeReference("NumberDictionary"))),
|
|
68
61
|
/**
|
|
69
62
|
* calculates the max of a tuple of numbers
|
|
70
63
|
*/
|
|
71
64
|
"DictionarySum": sfunction(typeReference("Number"), data(typeReference("NumberDictionary"))),
|
|
72
65
|
|
|
66
|
+
"Min": sfunction(typeReference("Number"), data(typeReference("NumberTuple"))),
|
|
73
67
|
"Max": sfunction(typeReference("Number"), data(typeReference("NumberTuple"))),
|
|
74
68
|
"Subtract": sfunction(typeReference("Number"), data(typeReference("SubtractData"))),
|
|
75
69
|
}),
|
|
@@ -0,0 +1,16 @@
|
|
|
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 { glossary, group, member, number, type } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
|
+
|
|
10
|
+
export const $: g_project.D.API = api(
|
|
11
|
+
glos,
|
|
12
|
+
{
|
|
13
|
+
"divide": algorithm("Divide", null, {}),
|
|
14
|
+
"divisionRemainder": algorithm("DivisionRemainder", null, {}),
|
|
15
|
+
}
|
|
16
|
+
)
|
package/auto.pareto/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts
ADDED
|
@@ -0,0 +1,36 @@
|
|
|
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-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
7
|
+
|
|
8
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.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
|
+
"OptionalNumber": type(optional(number())),
|
|
20
|
+
"DivisionData": type(group({
|
|
21
|
+
"numerator": member(number()),
|
|
22
|
+
"denominator": member(number()),
|
|
23
|
+
})),
|
|
24
|
+
}),
|
|
25
|
+
},
|
|
26
|
+
'interface types': d({}),
|
|
27
|
+
'algorithm types': d({
|
|
28
|
+
/**
|
|
29
|
+
* if the denominator is 0, the return value is not set
|
|
30
|
+
* (division by 0),
|
|
31
|
+
*/
|
|
32
|
+
"Divide": sfunction(typeReference("OptionalNumber"), data(typeReference("DivisionData"))),
|
|
33
|
+
"DivisionRemainder": sfunction(typeReference("OptionalNumber"), data(typeReference("DivisionData"))),
|
|
34
|
+
}),
|
|
35
|
+
|
|
36
|
+
}
|
package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts
CHANGED
|
@@ -29,24 +29,10 @@ export const $: g_glossary.D.Glossary = {
|
|
|
29
29
|
'root': {
|
|
30
30
|
'namespaces': d({}),
|
|
31
31
|
'data types': d({
|
|
32
|
-
"Array": parametrizedType({ "Type": null }, array(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
|
|
33
|
-
"KeyValuePair": parametrizedType({ "Type": null }, group({
|
|
34
|
-
"key": member(string()),
|
|
35
|
-
"value": member(ref(typeParameter("Type"))),
|
|
36
|
-
})),
|
|
37
32
|
|
|
38
|
-
"DependencyDictionary": parametrizedType({ "Type": null }, dictionary(group({
|
|
39
|
-
"value": member(ref(typeParameter("Type"))),
|
|
40
|
-
"dependencies": member(dictionary(null_())),
|
|
41
|
-
}))),
|
|
42
33
|
}),
|
|
43
34
|
},
|
|
44
35
|
'interface types': d({}),
|
|
45
36
|
'algorithm types': d({
|
|
46
|
-
"SortTopologically": sfunction(
|
|
47
|
-
typeReference("Array", { "Type": typeParameter("Type") }),
|
|
48
|
-
data(typeReference("DependencyDictionary", { "Type": typeParameter("Type") })),
|
|
49
|
-
{ "Type": null }
|
|
50
|
-
),
|
|
51
37
|
}),
|
|
52
38
|
}
|
|
@@ -12,6 +12,14 @@ export const $: g_project.D.API = api(
|
|
|
12
12
|
{
|
|
13
13
|
"join": algorithm("Join", null, {}),
|
|
14
14
|
"repeat": algorithm("Repeat", null, {}),
|
|
15
|
-
|
|
15
|
+
|
|
16
|
+
|
|
17
|
+
"getArrayAsString": algorithm("GetArrayAsString", "Configuration", {}),
|
|
18
|
+
"getLengthAsString": algorithm("GetLengthAsString", null, {}),
|
|
19
|
+
|
|
20
|
+
//this one implicitely sorts the keys
|
|
21
|
+
//"getKeysAsString": algorithm("GetKeysAsString", "Configuration", {}),
|
|
22
|
+
|
|
23
|
+
"getNumberOfKeysAsString": algorithm("GetNumberOfKeysAsString", null, {}),
|
|
16
24
|
}
|
|
17
25
|
)
|
package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts
CHANGED
|
@@ -4,7 +4,7 @@ import {
|
|
|
4
4
|
aInterface,
|
|
5
5
|
aInterfaceMethod,
|
|
6
6
|
aInterfaceReference,
|
|
7
|
-
array, boolean, data, group, member, number, optional, sfunction, streamconsumer, string, type, typeReference
|
|
7
|
+
array, boolean, data, dictionary, group, member, number, optional, parametrizedType, ref, sfunction, streamconsumer, string, type, typeParameter, typeReference
|
|
8
8
|
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
9
|
|
|
10
10
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
@@ -27,6 +27,19 @@ export const $: g_glossary.D.Glossary = {
|
|
|
27
27
|
"contextString": member(string()),
|
|
28
28
|
"times": member(number()),
|
|
29
29
|
})),
|
|
30
|
+
|
|
31
|
+
"StringArray": type(array(string())),
|
|
32
|
+
|
|
33
|
+
"Configuration": type(group({
|
|
34
|
+
"separator": member(string()),
|
|
35
|
+
"maximum": member(optional(group({
|
|
36
|
+
"maximum": member(number()),
|
|
37
|
+
"suffix": member(string()),
|
|
38
|
+
}))),
|
|
39
|
+
})),
|
|
40
|
+
"Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
|
|
41
|
+
"Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
|
|
42
|
+
|
|
30
43
|
}),
|
|
31
44
|
},
|
|
32
45
|
'interface types': d({}),
|
|
@@ -35,5 +48,10 @@ export const $: g_glossary.D.Glossary = {
|
|
|
35
48
|
"Join": sfunction(typeReference("String"), data(typeReference("JoinData"))),
|
|
36
49
|
"Repeat": sfunction(typeReference("String"), data(typeReference("RepeatData"))),
|
|
37
50
|
"Foo": sfunction(typeReference("String"), data(typeReference("String"))),
|
|
51
|
+
|
|
52
|
+
"GetLengthAsString": sfunction(typeReference("String"), data(typeReference("Array", { "T": typeParameter("T") })), { "T": null }),
|
|
53
|
+
"GetArrayAsString": sfunction(typeReference("String"), data(typeReference("StringArray"))),
|
|
54
|
+
//"GetKeysAsString": sfunction(typeReference("String"), data(typeReference("Dictionary", { "T": typeParameter("T") })), { "T": null}),
|
|
55
|
+
"GetNumberOfKeysAsString": sfunction(typeReference("String"), data(typeReference("Dictionary", { "T": typeParameter("T") })), { "T": null }),
|
|
38
56
|
}),
|
|
39
57
|
}
|
|
@@ -9,11 +9,6 @@ import { glossary, member, type, group, string, optional, number } from "pareto-
|
|
|
9
9
|
export const $: g_project.D.API = api(
|
|
10
10
|
glos,
|
|
11
11
|
{
|
|
12
|
-
"getArrayAsString": algorithm("GetArrayAsString", "Configuration", {}),
|
|
13
|
-
"getLengthAsString": algorithm("GetLengthAsString", null, {}),
|
|
14
|
-
"getKeysAsString": algorithm("GetKeysAsString", "Configuration", {}),
|
|
15
|
-
|
|
16
|
-
"getNumberOfKeysAsString": algorithm("GetNumberOfKeysAsString", null, {}),
|
|
17
12
|
|
|
18
13
|
}
|
|
19
14
|
)
|
package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts
CHANGED
|
@@ -19,24 +19,10 @@ export const $: g_glossary.D.Glossary = {
|
|
|
19
19
|
'data types': d({
|
|
20
20
|
"String": type(string()),
|
|
21
21
|
"Array": parametrizedType({ "T": null }, array(ref(typeParameter("T")))),
|
|
22
|
-
"StringArray": type(array(string())),
|
|
23
22
|
"Dictionary": parametrizedType({ "T": null }, dictionary(ref(typeParameter("T")))),
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
"Configuration": type(group({
|
|
27
|
-
"separator": member(string()),
|
|
28
|
-
"maximum": member(optional(group({
|
|
29
|
-
"maximum": member(number()),
|
|
30
|
-
"suffix": member(string()),
|
|
31
|
-
}))),
|
|
32
|
-
})),
|
|
33
23
|
}),
|
|
34
24
|
},
|
|
35
25
|
'interface types': d({}),
|
|
36
26
|
'algorithm types': d({
|
|
37
|
-
"GetLengthAsString": sfunction(typeReference("String"), data(typeReference("Array", { "T": typeParameter("T") })), { "T": null}),
|
|
38
|
-
"GetArrayAsString": sfunction(typeReference("String"), data(typeReference("StringArray"))),
|
|
39
|
-
"GetKeysAsString": sfunction(typeReference("String"), data(typeReference("Dictionary", { "T": typeParameter("T") })), { "T": null}),
|
|
40
|
-
"GetNumberOfKeysAsString": sfunction(typeReference("String"), data(typeReference("Dictionary", { "T": typeParameter("T") })), { "T": null}),
|
|
41
27
|
}),
|
|
42
28
|
}
|
|
@@ -7,6 +7,7 @@ import { } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
|
7
7
|
|
|
8
8
|
import { $ as d_array } from "./modules/array/api.data"
|
|
9
9
|
import { $ as d_dictionary } from "./modules/dictionary/api.data"
|
|
10
|
+
import { $ as d_filesystem } from "./modules/filesystem/api.data"
|
|
10
11
|
import { $ as d_json } from "./modules/json/api.data"
|
|
11
12
|
import { $ as d_numerical_predicates } from "./modules/numerical_predicates/api.data"
|
|
12
13
|
import { $ as d_string } from "./modules/string/api.data"
|
|
@@ -23,6 +24,7 @@ export const $: g_project.D.Library = {
|
|
|
23
24
|
'modules': d({
|
|
24
25
|
"array": d_array,
|
|
25
26
|
"dictionary": d_dictionary,
|
|
27
|
+
"filesystem": d_filesystem,
|
|
26
28
|
"json": d_json,
|
|
27
29
|
"numerical predicates": d_numerical_predicates,
|
|
28
30
|
"string": d_string,
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import {
|
|
4
|
+
aInterface,
|
|
5
|
+
aInterfaceMethod,
|
|
6
|
+
aInterfaceReference,
|
|
7
|
+
array, data, dictionary, externalTypeReference, glossaryParameter, group, infInit, member, null_, number, parametrizedType, ref, sfunction, streamconsumer, string, taggedUnion, type, typeParameter, typeReference
|
|
8
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
|
+
|
|
10
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
11
|
+
const d = pd.d
|
|
12
|
+
|
|
13
|
+
export const $: g_glossary.D.Glossary = {
|
|
14
|
+
'glossary parameters': d({}),
|
|
15
|
+
'imports': d({
|
|
16
|
+
}),
|
|
17
|
+
'root': {
|
|
18
|
+
'namespaces': d({}),
|
|
19
|
+
'data types': d({
|
|
20
|
+
"Lines": type(array(string())),
|
|
21
|
+
}),
|
|
22
|
+
},
|
|
23
|
+
'interface types': d({
|
|
24
|
+
}),
|
|
25
|
+
'algorithm types': d({
|
|
26
|
+
}),
|
|
27
|
+
}
|
package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/filesystem/glossary.data.ts
ADDED
|
@@ -0,0 +1,59 @@
|
|
|
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
|
+
infInit,
|
|
17
|
+
aInterfaceReference,
|
|
18
|
+
aInterface,
|
|
19
|
+
aInterfaceMethod,
|
|
20
|
+
ref,
|
|
21
|
+
infref,
|
|
22
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
23
|
+
|
|
24
|
+
import { $ as d_lines } from "../../glossaries/lines.data"
|
|
25
|
+
|
|
26
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
27
|
+
const d = pd.d
|
|
28
|
+
|
|
29
|
+
export const $: g_glossary.D.Glossary = {
|
|
30
|
+
'glossary parameters': d({}),
|
|
31
|
+
'imports': d({
|
|
32
|
+
"lines": imp(d_lines, {}),
|
|
33
|
+
}),
|
|
34
|
+
'root': {
|
|
35
|
+
'namespaces': d({}),
|
|
36
|
+
'data types': d({
|
|
37
|
+
"File Path": type(array(string())),
|
|
38
|
+
"File Write Data": type(group({
|
|
39
|
+
"directory path": member(ref(typeReference("File Path"))),
|
|
40
|
+
"file name": member(string()),
|
|
41
|
+
"data": member(ref(externalTypeReference("lines", "Lines"))),
|
|
42
|
+
})),
|
|
43
|
+
"Root Data": type(group({
|
|
44
|
+
"context directory": member(string()),
|
|
45
|
+
})),
|
|
46
|
+
}),
|
|
47
|
+
},
|
|
48
|
+
'interface types': d({
|
|
49
|
+
"RootFileWriter": aInterface(aInterfaceMethod(typeReference("Root Data"), infref(aInterfaceReference("FileWriter")))),
|
|
50
|
+
"FileWriter": aInterface(aInterfaceMethod(typeReference("File Write Data"))),
|
|
51
|
+
"ErrorsHandler": aInterface(aInterfaceMethod(null)),
|
|
52
|
+
}),
|
|
53
|
+
'algorithm types': d({
|
|
54
|
+
"CreateFileWriter": infInit(aInterfaceReference("RootFileWriter"), {
|
|
55
|
+
"errorshandler": aInterfaceReference("ErrorsHandler"),
|
|
56
|
+
})
|
|
57
|
+
}),
|
|
58
|
+
|
|
59
|
+
}
|
|
@@ -10,7 +10,13 @@ import { glossary, group, member, number, sInterface, sInterfaceMethod, string,
|
|
|
10
10
|
export const $: g_project.D.API = api(
|
|
11
11
|
glos,
|
|
12
12
|
{
|
|
13
|
-
"
|
|
14
|
-
|
|
13
|
+
"parse": algorithm("Parse", null, {}),
|
|
14
|
+
|
|
15
|
+
/**
|
|
16
|
+
* this one is impure because it uses needs to inspect strings to escape them properly
|
|
17
|
+
*/
|
|
18
|
+
"serialize": algorithm("Serialize", null, {}),
|
|
19
|
+
|
|
20
|
+
"unsafeParse": algorithm("UnsafeParse", null, {}),
|
|
15
21
|
}
|
|
16
22
|
)
|
package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/glossary.data.ts
CHANGED
|
@@ -35,17 +35,18 @@ export const $: g_glossary.D.Glossary = {
|
|
|
35
35
|
"null": null_(),
|
|
36
36
|
})),
|
|
37
37
|
|
|
38
|
-
|
|
39
38
|
}),
|
|
40
39
|
},
|
|
41
40
|
'interface types': d({
|
|
42
41
|
|
|
43
42
|
}),
|
|
44
43
|
'algorithm types': d({
|
|
45
|
-
"
|
|
44
|
+
"Parse": sfunction(typeReference("Result"), data(typeReference("String"))),
|
|
45
|
+
|
|
46
|
+
"Serialize": sfunction(typeReference("String"), data(typeReference("Value"))),
|
|
46
47
|
|
|
47
48
|
/*use this one if the application may crash if the JSON is invalid*/
|
|
48
|
-
"
|
|
49
|
+
"UnsafeParse": sfunction(typeReference("Value"), data(typeReference("String"))),
|
|
49
50
|
//"Convert": sfunction(typeReference("Result"), data(typeReference("Value"))),
|
|
50
51
|
}),
|
|
51
52
|
}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import { algorithm, 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
|
+
|
|
9
|
+
export const $: g_project.D.API = api(
|
|
10
|
+
glos,
|
|
11
|
+
{
|
|
12
|
+
"temp_compile_boekhouding": algorithm("Main", null, {}),
|
|
13
|
+
}
|
|
14
|
+
)
|
|
@@ -0,0 +1,43 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import {
|
|
4
|
+
aInterface,
|
|
5
|
+
aInterfaceMethod,
|
|
6
|
+
aInterfaceReference,
|
|
7
|
+
array, data, dictionary, externalTypeReference, group, infInit, infref, member, number, optional, parametrizedType, ref, sfunction,
|
|
8
|
+
streamconsumer,
|
|
9
|
+
string,
|
|
10
|
+
type, typeParameter, typeReference
|
|
11
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
12
|
+
|
|
13
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
14
|
+
|
|
15
|
+
const d = pd.d
|
|
16
|
+
|
|
17
|
+
export const $: g_glossary.D.Glossary = {
|
|
18
|
+
'glossary parameters': d({}),
|
|
19
|
+
'imports': d({
|
|
20
|
+
}),
|
|
21
|
+
'root': {
|
|
22
|
+
'namespaces': d({}),
|
|
23
|
+
'data types': d({
|
|
24
|
+
"Message": type(string()),
|
|
25
|
+
"Exit code": type(number()),
|
|
26
|
+
"Command Line Arguments": type(group({
|
|
27
|
+
"arguments": member(array(string()))
|
|
28
|
+
})),
|
|
29
|
+
}),
|
|
30
|
+
},
|
|
31
|
+
'interface types': d({
|
|
32
|
+
"Main": aInterface(aInterfaceMethod(typeReference("Command Line Arguments"))),
|
|
33
|
+
"Message Stream": aInterface(streamconsumer(aInterfaceMethod(typeReference("Message")), null)),
|
|
34
|
+
"Exit": aInterface(aInterfaceMethod(typeReference("Exit code"))),
|
|
35
|
+
}),
|
|
36
|
+
'algorithm types': d({
|
|
37
|
+
"Main": infInit(aInterfaceReference("Main", {}), {
|
|
38
|
+
"stdout": aInterfaceReference("Message Stream", {}),
|
|
39
|
+
"stderr": aInterfaceReference("Message Stream", {}),
|
|
40
|
+
"exit": aInterfaceReference("Exit")
|
|
41
|
+
}, { }),
|
|
42
|
+
}),
|
|
43
|
+
}
|
|
@@ -9,13 +9,10 @@ import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterfa
|
|
|
9
9
|
|
|
10
10
|
export const $: g_project.D.API = api(
|
|
11
11
|
glos,
|
|
12
|
-
|
|
13
12
|
{
|
|
14
13
|
/**
|
|
15
14
|
* this algorithm is not pure because it uses subatomic algorithms ('isEmpty' and several string operations)
|
|
16
15
|
*/
|
|
17
|
-
"
|
|
18
|
-
})
|
|
19
|
-
|
|
16
|
+
"compilationUnit_2_Indented_Lines": algorithm("CompilationUnit_2_Indented_Lines", null, {}),
|
|
20
17
|
}
|
|
21
18
|
)
|
|
@@ -26,33 +26,30 @@ import {
|
|
|
26
26
|
|
|
27
27
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
28
28
|
|
|
29
|
-
|
|
30
29
|
import { $ as d_pareto } from "../../auto.dependencies/pareto-pure/glossaries/auto.pareto.data"
|
|
31
|
-
import { $ as d_fp } from "../../auto.dependencies/pareto-pure/
|
|
30
|
+
import { $ as d_fp } from "../../auto.dependencies/pareto-pure/glossaries/fountain_pen.data"
|
|
31
|
+
import { $ as d_l } from "../../auto.dependencies/pareto-pure/glossaries/lines.data"
|
|
32
32
|
|
|
33
33
|
const d = pd.d
|
|
34
34
|
|
|
35
35
|
export const $: g_glossary.D.Glossary = {
|
|
36
36
|
'imports': d({
|
|
37
|
-
"pareto": imp(d_pareto, {}),
|
|
38
37
|
"fp": imp(d_fp, {}),
|
|
38
|
+
"l": imp(d_l, {}),
|
|
39
|
+
"pareto": imp(d_pareto, {}),
|
|
39
40
|
}),
|
|
40
41
|
|
|
41
42
|
'glossary parameters': d({}),
|
|
42
43
|
'root': {
|
|
43
44
|
'namespaces': d({}),
|
|
44
45
|
'data types': d({
|
|
45
|
-
"
|
|
46
|
-
// "phase": member(taggedUnion({
|
|
47
|
-
// "production": null_(),
|
|
48
|
-
// "development": null_(),
|
|
49
|
-
// })),
|
|
46
|
+
"Data": type(group({
|
|
50
47
|
"compilation unit": member(ref(externalTypeReference("pareto", "Compilation Unit", {}))),
|
|
51
48
|
})),
|
|
52
49
|
}),
|
|
53
50
|
},
|
|
54
51
|
'interface types': d({}),
|
|
55
52
|
'algorithm types': d({
|
|
56
|
-
"
|
|
53
|
+
"CompilationUnit_2_Indented_Lines": sfunction(externalTypeReference("l", "Lines"), data(typeReference("Data"))),
|
|
57
54
|
}),
|
|
58
55
|
}
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import * as sh 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 { glossary, group, member, number, type } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
|
+
|
|
10
|
+
export const $: g_project.D.API = sh.api(
|
|
11
|
+
glos,
|
|
12
|
+
{
|
|
13
|
+
"map": sh.algorithm("Map", null, {}),
|
|
14
|
+
}
|
|
15
|
+
)
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import * as sh from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
4
|
+
|
|
5
|
+
import { $ as d_in } from "../../auto.dependencies/pareto-pure/glossaries/string_aware_fountain_pen.data"
|
|
6
|
+
import { $ as d_out } from "../../auto.dependencies/pareto-pure/glossaries/fountain_pen.data"
|
|
7
|
+
|
|
8
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
9
|
+
const d = pd.d
|
|
10
|
+
|
|
11
|
+
export const $: g_glossary.D.Glossary = {
|
|
12
|
+
'glossary parameters': d({}),
|
|
13
|
+
'imports': d({
|
|
14
|
+
"in": sh.imp(d_in, {}),
|
|
15
|
+
"out": sh.imp(d_out, {}),
|
|
16
|
+
}),
|
|
17
|
+
'root': {
|
|
18
|
+
'namespaces': d({}),
|
|
19
|
+
'data types': d({
|
|
20
|
+
}),
|
|
21
|
+
},
|
|
22
|
+
'interface types': d({}),
|
|
23
|
+
'algorithm types': d({
|
|
24
|
+
"Map": sh.sfunction(sh.externalTypeReference("out", "Block"), sh.data(sh.externalTypeReference("in", "Block"))),
|
|
25
|
+
}),
|
|
26
|
+
|
|
27
|
+
}
|
|
@@ -13,5 +13,12 @@ export const $: g_project.D.API = api(
|
|
|
13
13
|
"createQuotedString": algorithm("CreateQuotedString", null, {}),
|
|
14
14
|
"createApostrophedString": algorithm("CreateBacktickedString", null, {}),
|
|
15
15
|
"createBacktickedString": algorithm("CreateApostrophedString", null, {}),
|
|
16
|
+
|
|
17
|
+
/**
|
|
18
|
+
* this function serializes a typescript block to a fountain pen block.
|
|
19
|
+
* the fp block can then easily be streamed to a file or console.
|
|
20
|
+
*
|
|
21
|
+
*/
|
|
22
|
+
"serialize": algorithm("Serialize", null, {}),
|
|
16
23
|
}
|
|
17
24
|
)
|