pareto 0.59.0 → 0.61.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/data/boekhouding.data.js +271 -271
- package/auto.dist/index.d.ts +1 -1
- package/auto.dist/index.js +3 -3
- package/auto.dist/public/modules/main/implementations/temp_$compile_$boekhouding.alg.js +23 -20
- package/auto.dist/public/modules/pareto__2__fountain__pen/implementations/compilationUnit_$2_$Indented_$Lines.alg.js +8 -8
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/auto.api.d.ts +1 -1
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/auto.api.js +1 -1
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/auto.implementation.d.ts +2 -0
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/auto.implementation.js +6 -0
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/auto.provided_interface_glossary.d.ts +7 -5
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/auto.provided_interface_glossary.js +1 -1
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/auto.provided_interface_glossary.shadow.d.ts +3 -3
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → 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.d.ts +0 -0
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/implementations/map.alg.js +2 -0
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/implementations/map__Block__2__Block.alg.d.ts +2 -0
- package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/implementations/map__Block__2__Block.alg.js +65 -0
- package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/index.js +1 -1
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.api.d.ts +1 -1
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.implementation.d.ts +1 -1
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.implementation.js +4 -4
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.provided_interface_glossary.d.ts +42 -42
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.provided_interface_glossary.shadow.d.ts +3 -3
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/implementations/map__Block__2__Block.alg.d.ts +2 -0
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/implementations/map__Block__2__Block.alg.js +95 -0
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/implementations/serialize.alg.d.ts +0 -2
- package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/implementations/serialize.alg.js +1 -94
- package/auto.dist/public/modules/typescript__naming/implementations/createIdentifier.alg.js +3 -2
- package/auto.pareto/$.data.ts +2 -3
- package/auto.pareto/auto.dependencies/index.ts +3 -3
- package/auto.pareto/auto.dependencies/pareto-pure/$.data.ts +26 -16
- 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 -8
- 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-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/api.data.ts +18 -13
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +16 -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 +0 -1
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/{arithmetic → number}/glossary.data.ts +2 -11
- 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 +14 -2
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +55 -6
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +0 -7
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +0 -13
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_type_system.data.ts +113 -65
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.graphviz.data.ts +668 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_directory.data.ts +45 -0
- package/auto.pareto/auto.dependencies/pareto-pure/glossaries/{alan_light_intermediate.data.ts → fountain_pen_indented_file_with_escaped_strings.data.ts} +2 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{alan_light_2_alan_light_intermediate → alan_light_2_fountain_pen_indented_file_with_escaped_strings}/api.data.ts +1 -1
- package/auto.pareto/{modules/alan_light_intermediate_2 fountain_pen/glossary.data.ts → auto.dependencies/pareto-pure/modules/alan_light_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts} +5 -5
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{astn_2_fountain_pen → astn_2_fountain_pen_indented_file_with_escaped_strings}/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{astn_2_fountain_pen → astn_2_fountain_pen_indented_file_with_escaped_strings}/glossary.data.ts +5 -5
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_graphviz/api.data.ts +17 -0
- 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/cosmos_type_system_2_pareto/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_pareto/glossary.data.ts +6 -6
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_typescript_2_fountain_pen_directory/api.data.ts +17 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_typescript_2_fountain_pen_directory/glossary.data.ts +36 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen_2_fountain_pen → fountain_pen_indented_file_2_fountain_pen_indented_file}/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen_2_fountain_pen → fountain_pen_indented_file_2_fountain_pen_indented_file}/glossary.data.ts +11 -9
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen_2_lines → fountain_pen_lines_2_lines}/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{fountain_pen_2_lines → fountain_pen_lines_2_lines}/glossary.data.ts +7 -7
- package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts +20 -0
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{alan_light_2_alan_light_intermediate → graphviz_2_fountain_pen_indented_file_with_escaped_strings}/glossary.data.ts +5 -5
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{pareto_2_typescript → pareto_2_typescript_intermediate}/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/{pareto_2_typescript → pareto_2_typescript_intermediate}/glossary.data.ts +6 -6
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/api.data.ts +1 -1
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/glossary.data.ts +5 -5
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_cosmos_type_system/glossary.data.ts +6 -6
- package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_pareto/glossary.data.ts +6 -6
- package/auto.pareto/auto.dependencies/pareto-standard-library/$.data.ts +6 -8
- 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-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +167 -0
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/api.data.ts +18 -13
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +16 -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 +0 -1
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/{arithmetic → number}/glossary.data.ts +2 -11
- 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 +14 -2
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +55 -6
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +0 -7
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +0 -13
- 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 +15 -5
- package/auto.pareto/{modules/alan_light_intermediate_2 fountain_pen/api.data.ts → 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/string/api.data.ts +1 -3
- package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/glossary.data.ts +22 -10
- package/auto.pareto/modules/main/api.data.ts +0 -1
- package/auto.pareto/modules/pareto_2_fountain_pen/glossary.data.ts +2 -2
- 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_intermediate_2_fountain_pen/api.data.ts +1 -1
- package/auto.pareto/modules/typescript_intermediate_2_fountain_pen/glossary.data.ts +4 -4
- package/package.json +8 -8
- package/auto.dist/public/modules/alan__light__intermediate__2__fountain__pen/auto.implementation.d.ts +0 -2
- package/auto.dist/public/modules/alan__light__intermediate__2__fountain__pen/auto.implementation.js +0 -6
- package/auto.dist/public/modules/alan__light__intermediate__2__fountain__pen/implementations/map.alg.d.ts +0 -2
- package/auto.dist/public/modules/alan__light__intermediate__2__fountain__pen/implementations/map.alg.js +0 -61
- package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/build/glossary.data.ts +0 -125
- package/auto.pareto/auto.dependencies/pareto-standard-library/modules/build/glossary.data.ts +0 -125
- /package/auto.dist/public/modules/{alan__light__intermediate__2__fountain__pen → string__aware__fountain__pen__2__fountain__pen}/index.d.ts +0 -0
- /package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/{build → buildInterfaceInitializers}/api.data.ts +0 -0
- /package/auto.pareto/auto.dependencies/pareto-pure/glossaries/{fountain_pen.data.ts → fountain_pen_indented_file.data.ts} +0 -0
- /package/auto.pareto/auto.dependencies/pareto-standard-library/modules/{build → buildInterfaceInitializers}/api.data.ts +0 -0
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import {
|
|
4
|
+
array, afunction, boolean, computed, data, dictionary,
|
|
5
|
+
glossaryParameter, group, member, number, optional, ref, sfunction, string, type, typeReference,
|
|
6
|
+
taggedUnion,
|
|
7
|
+
null_,
|
|
8
|
+
sInterface,
|
|
9
|
+
sInterfaceMethod,
|
|
10
|
+
imp,
|
|
11
|
+
externalTypeReference
|
|
12
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
13
|
+
|
|
14
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
15
|
+
|
|
16
|
+
import { $ as d_fountain_pen } from "./fountain_pen_indented_file.data"
|
|
17
|
+
|
|
18
|
+
const d = pd.d
|
|
19
|
+
|
|
20
|
+
export const $: g_glossary.D.Glossary = {
|
|
21
|
+
'glossary parameters': d({
|
|
22
|
+
}),
|
|
23
|
+
'imports': d({
|
|
24
|
+
"fp": imp(d_fountain_pen, {}),
|
|
25
|
+
}),
|
|
26
|
+
'root': {
|
|
27
|
+
'namespaces': d({}),
|
|
28
|
+
'data types': d({
|
|
29
|
+
"Directory": type(group({
|
|
30
|
+
"nodes": member(dictionary(taggedUnion({
|
|
31
|
+
"allowed manual": null_(),
|
|
32
|
+
"allowed automatic": null_(),
|
|
33
|
+
"file": ref(externalTypeReference("fp", "Block")),
|
|
34
|
+
"template": ref(externalTypeReference("fp", "Block")),
|
|
35
|
+
"directory": ref(typeReference("Directory")),
|
|
36
|
+
})))
|
|
37
|
+
}))
|
|
38
|
+
}),
|
|
39
|
+
},
|
|
40
|
+
'interface types': d({
|
|
41
|
+
|
|
42
|
+
}),
|
|
43
|
+
'algorithm types': d({
|
|
44
|
+
}),
|
|
45
|
+
}
|
|
@@ -24,6 +24,8 @@ export const $: g_glossary.D.Glossary = {
|
|
|
24
24
|
"Line": type(array(taggedUnion({
|
|
25
25
|
"snippet": string(),
|
|
26
26
|
"apostrophed string": string(),
|
|
27
|
+
"quoted string": string(),
|
|
28
|
+
"backticked string": string(),
|
|
27
29
|
"indent": ref(typeReference("Block"))
|
|
28
30
|
}))),
|
|
29
31
|
"Lines": type(array(group({
|
|
@@ -15,6 +15,6 @@ export const $: g_project.D.API = api(
|
|
|
15
15
|
* Serialization to this format can be done in a pure way.
|
|
16
16
|
* serialization from this format to an array of strings is not pure, specifically for 1 reason so far: apostrophed strings.
|
|
17
17
|
*/
|
|
18
|
-
"map": algorithm("Map", null, {}),
|
|
18
|
+
"map Root 2 Block": algorithm("Map Root 2 Block", null, {}),
|
|
19
19
|
}
|
|
20
20
|
)
|
|
@@ -15,8 +15,8 @@ import {
|
|
|
15
15
|
externalTypeReference,
|
|
16
16
|
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
17
17
|
|
|
18
|
-
import { $ as
|
|
19
|
-
import { $ as
|
|
18
|
+
import { $ as d_in } from "../../glossaries/auto.alan_light.data"
|
|
19
|
+
import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
|
|
20
20
|
|
|
21
21
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
22
22
|
const d = pd.d
|
|
@@ -24,8 +24,8 @@ const d = pd.d
|
|
|
24
24
|
export const $: g_glossary.D.Glossary = {
|
|
25
25
|
'glossary parameters': d({}),
|
|
26
26
|
'imports': d({
|
|
27
|
-
"
|
|
28
|
-
"
|
|
27
|
+
"in": imp(d_in, {}),
|
|
28
|
+
"out": imp(d_out, {}),
|
|
29
29
|
}),
|
|
30
30
|
'root': {
|
|
31
31
|
'namespaces': d({}),
|
|
@@ -34,7 +34,7 @@ export const $: g_glossary.D.Glossary = {
|
|
|
34
34
|
},
|
|
35
35
|
'interface types': d({}),
|
|
36
36
|
'algorithm types': d({
|
|
37
|
-
"Map": sfunction(externalTypeReference("
|
|
37
|
+
"Map Root 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Root"))),
|
|
38
38
|
}),
|
|
39
39
|
|
|
40
40
|
}
|
|
@@ -13,8 +13,8 @@ import {
|
|
|
13
13
|
|
|
14
14
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
15
15
|
|
|
16
|
-
import { $ as
|
|
17
|
-
import { $ as
|
|
16
|
+
import { $ as d_in } from "../../glossaries/astn.data"
|
|
17
|
+
import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
|
|
18
18
|
|
|
19
19
|
const d = pd.d
|
|
20
20
|
|
|
@@ -22,8 +22,8 @@ export const $: g_glossary.D.Glossary = {
|
|
|
22
22
|
'glossary parameters': d({
|
|
23
23
|
}),
|
|
24
24
|
'imports': d({
|
|
25
|
-
"
|
|
26
|
-
"
|
|
25
|
+
"in": imp(d_in, {}),
|
|
26
|
+
"out": imp(d_out, {}),
|
|
27
27
|
}),
|
|
28
28
|
'root': {
|
|
29
29
|
'namespaces': d({}),
|
|
@@ -34,6 +34,6 @@ export const $: g_glossary.D.Glossary = {
|
|
|
34
34
|
|
|
35
35
|
}),
|
|
36
36
|
'algorithm types': d({
|
|
37
|
-
"
|
|
37
|
+
"Map Value 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Value"))),
|
|
38
38
|
}),
|
|
39
39
|
}
|
package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_graphviz/api.data.ts
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
3
|
+
import * as pd from 'pareto-core-data'
|
|
4
|
+
|
|
5
|
+
import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
6
|
+
|
|
7
|
+
import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
8
|
+
|
|
9
|
+
import { $ as glos } from "./glossary.data"
|
|
10
|
+
|
|
11
|
+
export const $: g_project.D.API = api(
|
|
12
|
+
glos,
|
|
13
|
+
{
|
|
14
|
+
"map Glossary 2 Graph": algorithm("Map Glossary 2 Graph", null, {}),
|
|
15
|
+
|
|
16
|
+
}
|
|
17
|
+
)
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import {
|
|
4
|
+
array, data, dictionary, externalTypeReference, glossaryParameter, group, imp, member, null_, parametrizedType, ref, sfunction, string, taggedUnion, type, typeParameter, typeReference
|
|
5
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
6
|
+
|
|
7
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
8
|
+
|
|
9
|
+
import { $ as d_out } from "../../glossaries/auto.graphviz.data"
|
|
10
|
+
import { $ as d_in } from "../../glossaries/auto.cosmos_type_system.data"
|
|
11
|
+
|
|
12
|
+
const d = pd.d
|
|
13
|
+
|
|
14
|
+
export const $: g_glossary.D.Glossary = {
|
|
15
|
+
'glossary parameters': d({}),
|
|
16
|
+
'imports': d({
|
|
17
|
+
"in": imp(d_in, {}),
|
|
18
|
+
"out": imp(d_out, {}),
|
|
19
|
+
}),
|
|
20
|
+
'root': {
|
|
21
|
+
'namespaces': d({}),
|
|
22
|
+
'data types': d({
|
|
23
|
+
}),
|
|
24
|
+
},
|
|
25
|
+
'interface types': d({}),
|
|
26
|
+
'algorithm types': d({
|
|
27
|
+
"Map Glossary 2 Graph": sfunction(externalTypeReference("out", "Graph"), data(externalTypeReference("in", "Glossary"))),
|
|
28
|
+
|
|
29
|
+
}),
|
|
30
|
+
}
|
package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_pareto/api.data.ts
CHANGED
|
@@ -11,7 +11,7 @@ import { $ as glos } from "./glossary.data"
|
|
|
11
11
|
export const $: g_project.D.API = api(
|
|
12
12
|
glos,
|
|
13
13
|
{
|
|
14
|
-
"
|
|
14
|
+
"map Library 2 Compilation Unit": algorithm("Map Library 2 Compilation Unit", null, {}),
|
|
15
15
|
|
|
16
16
|
}
|
|
17
17
|
)
|
|
@@ -6,28 +6,28 @@ import {
|
|
|
6
6
|
|
|
7
7
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
8
8
|
|
|
9
|
-
import { $ as
|
|
10
|
-
import { $ as
|
|
9
|
+
import { $ as d_out } from "../../glossaries/auto.pareto.data"
|
|
10
|
+
import { $ as d_in } from "../../glossaries/auto.cosmos_type_system.data"
|
|
11
11
|
|
|
12
12
|
const d = pd.d
|
|
13
13
|
|
|
14
14
|
export const $: g_glossary.D.Glossary = {
|
|
15
15
|
'glossary parameters': d({}),
|
|
16
16
|
'imports': d({
|
|
17
|
-
"
|
|
18
|
-
"
|
|
17
|
+
"in": imp(d_in, {}),
|
|
18
|
+
"out": imp(d_out, {}),
|
|
19
19
|
}),
|
|
20
20
|
'root': {
|
|
21
21
|
'namespaces': d({}),
|
|
22
22
|
'data types': d({
|
|
23
23
|
"Library2ParetoComparatorsData": type(group({
|
|
24
|
-
"library": member(ref(externalTypeReference("
|
|
24
|
+
"library": member(ref(externalTypeReference("in", "Library"))),
|
|
25
25
|
})),
|
|
26
26
|
}),
|
|
27
27
|
},
|
|
28
28
|
'interface types': d({}),
|
|
29
29
|
'algorithm types': d({
|
|
30
|
-
"
|
|
30
|
+
"Map Library 2 Compilation Unit": sfunction(externalTypeReference("out", "Compilation Unit"), data(typeReference("Library2ParetoComparatorsData"))),
|
|
31
31
|
|
|
32
32
|
}),
|
|
33
33
|
}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
|
|
2
|
+
|
|
3
|
+
import * as pd from 'pareto-core-data'
|
|
4
|
+
|
|
5
|
+
import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
6
|
+
|
|
7
|
+
import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
8
|
+
|
|
9
|
+
import { $ as glos } from "./glossary.data"
|
|
10
|
+
|
|
11
|
+
export const $: g_project.D.API = api(
|
|
12
|
+
glos,
|
|
13
|
+
{
|
|
14
|
+
"map Library 2 Directory": algorithm("Map Library 2 Directory", null, {}),
|
|
15
|
+
|
|
16
|
+
}
|
|
17
|
+
)
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
import * as pd from 'pareto-core-data'
|
|
2
|
+
|
|
3
|
+
import {
|
|
4
|
+
array, data, dictionary, externalTypeReference, glossaryParameter, group, imp, member, null_, parametrizedType, ref, sfunction, string, taggedUnion, type, typeParameter, typeReference
|
|
5
|
+
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
6
|
+
|
|
7
|
+
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
8
|
+
|
|
9
|
+
import { $ as d_out } from "../../glossaries/fountain_pen_directory.data"
|
|
10
|
+
import { $ as d_in } from "../../glossaries/auto.cosmos_typescript.data"
|
|
11
|
+
import { $ as d_cts } from "../../glossaries/auto.cosmos_type_system.data"
|
|
12
|
+
|
|
13
|
+
const d = pd.d
|
|
14
|
+
|
|
15
|
+
export const $: g_glossary.D.Glossary = {
|
|
16
|
+
'glossary parameters': d({}),
|
|
17
|
+
'imports': d({
|
|
18
|
+
"in": imp(d_in, {}),
|
|
19
|
+
"out": imp(d_out, {}),
|
|
20
|
+
"cts": imp(d_cts, {}),
|
|
21
|
+
}),
|
|
22
|
+
'root': {
|
|
23
|
+
'namespaces': d({}),
|
|
24
|
+
'data types': d({
|
|
25
|
+
"In": type(group({
|
|
26
|
+
"$": member(ref(externalTypeReference("in", "Typescript Package"))),
|
|
27
|
+
"library": member(ref(externalTypeReference("cts", "Library"))),
|
|
28
|
+
}))
|
|
29
|
+
}),
|
|
30
|
+
},
|
|
31
|
+
'interface types': d({}),
|
|
32
|
+
'algorithm types': d({
|
|
33
|
+
"Map Library 2 Directory": sfunction(externalTypeReference("out", "Directory"), data(typeReference("In"))),
|
|
34
|
+
|
|
35
|
+
}),
|
|
36
|
+
}
|
|
@@ -10,25 +10,27 @@ import {
|
|
|
10
10
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
11
11
|
const d = pd.d
|
|
12
12
|
|
|
13
|
-
import { $ as
|
|
13
|
+
import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
|
|
14
|
+
import { $ as d_out } from "../../glossaries/fountain_pen_indented_file.data"
|
|
14
15
|
|
|
15
16
|
export const $: g_glossary.D.Glossary = {
|
|
16
17
|
'glossary parameters': d({}),
|
|
17
18
|
'imports': d({
|
|
18
|
-
|
|
19
|
+
|
|
20
|
+
"in": imp(d_in, {}),
|
|
21
|
+
"out": imp(d_out, {}),
|
|
19
22
|
}),
|
|
20
23
|
'root': {
|
|
21
24
|
'namespaces': d({}),
|
|
22
25
|
'data types': d({
|
|
23
|
-
"SerializeData": type(group({
|
|
24
|
-
|
|
25
|
-
})),
|
|
26
|
-
"String": type(string()),
|
|
26
|
+
// "SerializeData": type(group({
|
|
27
|
+
// "block": member(ref(externalTypeReference("in", "Block"))),
|
|
28
|
+
// })),
|
|
29
|
+
// "String": type(string()),
|
|
27
30
|
}),
|
|
28
31
|
},
|
|
29
|
-
'interface types': d({
|
|
32
|
+
'interface types': d({}),
|
|
30
33
|
'algorithm types': d({
|
|
31
|
-
"
|
|
32
|
-
|
|
34
|
+
"Map Block 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(externalTypeReference("in", "Block"))),
|
|
33
35
|
}),
|
|
34
36
|
}
|
|
@@ -12,7 +12,7 @@ import { glossary, group, member, number, type } from "pareto-pure/auto.dist/pub
|
|
|
12
12
|
export const $: g_project.D.API = api(
|
|
13
13
|
glos,
|
|
14
14
|
{
|
|
15
|
-
"
|
|
15
|
+
"map Lines 2 Lines": algorithm("Map Lines 2 Lines", null, {}),
|
|
16
16
|
"stream": algorithm("Stream", null, {}),
|
|
17
17
|
}
|
|
18
18
|
)
|
|
@@ -10,31 +10,31 @@ import {
|
|
|
10
10
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
11
11
|
const d = pd.d
|
|
12
12
|
|
|
13
|
-
import { $ as
|
|
14
|
-
import { $ as
|
|
13
|
+
import { $ as d_in } from "../../glossaries/fountain_pen_indented_file.data"
|
|
14
|
+
import { $ as d_out } from "../../glossaries/lines.data"
|
|
15
15
|
|
|
16
16
|
export const $: g_glossary.D.Glossary = {
|
|
17
17
|
'glossary parameters': d({}),
|
|
18
18
|
'imports': d({
|
|
19
|
-
"
|
|
20
|
-
"
|
|
19
|
+
"in": imp(d_in, {}),
|
|
20
|
+
"out": imp(d_out, {}),
|
|
21
21
|
}),
|
|
22
22
|
'root': {
|
|
23
23
|
'namespaces': d({}),
|
|
24
24
|
'data types': d({
|
|
25
25
|
"IndentData": type(group({
|
|
26
|
-
"lines": member(ref(externalTypeReference("
|
|
26
|
+
"lines": member(ref(externalTypeReference("in", "Lines"))),
|
|
27
27
|
"indentation": member(string()),
|
|
28
28
|
})),
|
|
29
29
|
"String": type(string()),
|
|
30
30
|
}),
|
|
31
31
|
},
|
|
32
32
|
'interface types': d({
|
|
33
|
-
"Lines": aInterface(aInterfaceMethod(externalTypeReference("
|
|
33
|
+
"Lines": aInterface(aInterfaceMethod(externalTypeReference("in", "Lines"))),
|
|
34
34
|
"Indented Lines": aInterface(streamconsumer(aInterfaceMethod(typeReference("String")), null)),
|
|
35
35
|
}),
|
|
36
36
|
'algorithm types': d({
|
|
37
|
-
"
|
|
37
|
+
"Map Lines 2 Lines": sfunction(externalTypeReference("out", "Lines"), data(typeReference("IndentData"))),
|
|
38
38
|
"Stream": infInit(aInterfaceReference("Lines"), {
|
|
39
39
|
"handler": aInterfaceReference("Indented Lines")
|
|
40
40
|
}),
|
|
@@ -0,0 +1,20 @@
|
|
|
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
|
+
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
|
+
/**
|
|
14
|
+
* use this function to serialize to an intermediate format.
|
|
15
|
+
* Serialization to this format can be done in a pure way.
|
|
16
|
+
* serialization from this format to an array of strings is not pure, specifically for 1 reason so far: apostrophed strings.
|
|
17
|
+
*/
|
|
18
|
+
"map Graph 2 Block": algorithm("Map Graph 2 Block", null, {}),
|
|
19
|
+
}
|
|
20
|
+
)
|
|
@@ -15,8 +15,8 @@ import {
|
|
|
15
15
|
externalTypeReference,
|
|
16
16
|
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
17
17
|
|
|
18
|
-
import { $ as
|
|
19
|
-
import { $ as
|
|
18
|
+
import { $ as d_in } from "../../glossaries/auto.graphviz.data"
|
|
19
|
+
import { $ as d_out } from "../../glossaries/fountain_pen_indented_file_with_escaped_strings.data"
|
|
20
20
|
|
|
21
21
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
22
22
|
const d = pd.d
|
|
@@ -24,8 +24,8 @@ const d = pd.d
|
|
|
24
24
|
export const $: g_glossary.D.Glossary = {
|
|
25
25
|
'glossary parameters': d({}),
|
|
26
26
|
'imports': d({
|
|
27
|
-
"
|
|
28
|
-
"
|
|
27
|
+
"in": imp(d_in, {}),
|
|
28
|
+
"out": imp(d_out, {}),
|
|
29
29
|
}),
|
|
30
30
|
'root': {
|
|
31
31
|
'namespaces': d({}),
|
|
@@ -34,7 +34,7 @@ export const $: g_glossary.D.Glossary = {
|
|
|
34
34
|
},
|
|
35
35
|
'interface types': d({}),
|
|
36
36
|
'algorithm types': d({
|
|
37
|
-
"Map": sfunction(externalTypeReference("
|
|
37
|
+
"Map Graph 2 Block": sfunction(externalTypeReference("out", "Block"), data(externalTypeReference("in", "Graph"))),
|
|
38
38
|
}),
|
|
39
39
|
|
|
40
40
|
}
|
|
@@ -26,15 +26,15 @@ import {
|
|
|
26
26
|
|
|
27
27
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
28
28
|
|
|
29
|
-
import { $ as
|
|
30
|
-
import { $ as
|
|
29
|
+
import { $ as d_in } from "../../glossaries/auto.pareto.data"
|
|
30
|
+
import { $ as d_out } from "../../glossaries/typescript_intermediate.data"
|
|
31
31
|
|
|
32
32
|
const d = pd.d
|
|
33
33
|
|
|
34
34
|
export const $: g_glossary.D.Glossary = {
|
|
35
35
|
'imports': d({
|
|
36
|
-
"
|
|
37
|
-
"
|
|
36
|
+
"in": imp(d_in, {}),
|
|
37
|
+
"out": imp(d_out, {}),
|
|
38
38
|
}),
|
|
39
39
|
|
|
40
40
|
'glossary parameters': d({}),
|
|
@@ -42,12 +42,12 @@ export const $: g_glossary.D.Glossary = {
|
|
|
42
42
|
'namespaces': d({}),
|
|
43
43
|
'data types': d({
|
|
44
44
|
"Map Data": type(group({
|
|
45
|
-
"compilation unit": member(ref(externalTypeReference("
|
|
45
|
+
"compilation unit": member(ref(externalTypeReference("in", "Compilation Unit", {}))),
|
|
46
46
|
})),
|
|
47
47
|
}),
|
|
48
48
|
},
|
|
49
49
|
'interface types': d({}),
|
|
50
50
|
'algorithm types': d({
|
|
51
|
-
"Map": sfunction(externalTypeReference("
|
|
51
|
+
"Map Compilation Unit 2 Block": sfunction(externalTypeReference("out", "Block"), data(typeReference("Map Data"))),
|
|
52
52
|
}),
|
|
53
53
|
}
|
package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/glossary.data.ts
CHANGED
|
@@ -26,15 +26,15 @@ import {
|
|
|
26
26
|
|
|
27
27
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
28
28
|
|
|
29
|
-
import { $ as
|
|
30
|
-
import { $ as
|
|
29
|
+
import { $ as d_in } from "../../glossaries/auto.tendril_resolved.data"
|
|
30
|
+
import { $ as d_out } from "../../glossaries/auto.alan_light.data"
|
|
31
31
|
|
|
32
32
|
const d = pd.d
|
|
33
33
|
|
|
34
34
|
export const $: g_glossary.D.Glossary = {
|
|
35
35
|
'imports': d({
|
|
36
|
-
"
|
|
37
|
-
"
|
|
36
|
+
"in": imp(d_in, {}),
|
|
37
|
+
"out": imp(d_out, {}),
|
|
38
38
|
}),
|
|
39
39
|
'glossary parameters': d({}),
|
|
40
40
|
'root': {
|
|
@@ -44,6 +44,6 @@ export const $: g_glossary.D.Glossary = {
|
|
|
44
44
|
},
|
|
45
45
|
'interface types': d({}),
|
|
46
46
|
'algorithm types': d({
|
|
47
|
-
"Map": sfunction(externalTypeReference("
|
|
47
|
+
"Map Model 2 Root": sfunction(externalTypeReference("out", "Root"), data(externalTypeReference("in", "Model"))),
|
|
48
48
|
}),
|
|
49
49
|
}
|
|
@@ -7,8 +7,8 @@ import {
|
|
|
7
7
|
array, boolean, data, dictionary, externalTypeReference, glossaryParameter, group, imp, infInit, member, null_, number, optional, parametrizedType, ref, sfunction, streamconsumer, string, taggedUnion, type, typeParameter, typeReference
|
|
8
8
|
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
9
|
|
|
10
|
-
import { $ as
|
|
11
|
-
import { $ as
|
|
10
|
+
import { $ as d_out } from "../../glossaries/auto.cosmos_type_system.data"
|
|
11
|
+
import { $ as d_in } from "../../glossaries/auto.tendril_resolved.data"
|
|
12
12
|
|
|
13
13
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
14
14
|
const d = pd.d
|
|
@@ -16,8 +16,8 @@ const d = pd.d
|
|
|
16
16
|
export const $: g_glossary.D.Glossary = {
|
|
17
17
|
'glossary parameters': d({}),
|
|
18
18
|
'imports': d({
|
|
19
|
-
"
|
|
20
|
-
"
|
|
19
|
+
"in": imp(d_in, {}),
|
|
20
|
+
"out": imp(d_out, {}),
|
|
21
21
|
}),
|
|
22
22
|
'root': {
|
|
23
23
|
'namespaces': d({}),
|
|
@@ -27,7 +27,7 @@ export const $: g_glossary.D.Glossary = {
|
|
|
27
27
|
"settings": member(ref(typeReference("Mapping Settings"))),
|
|
28
28
|
})),
|
|
29
29
|
"Mapped Library": type(group({
|
|
30
|
-
"library": member(ref(externalTypeReference("
|
|
30
|
+
"library": member(ref(externalTypeReference("in", "Type Library", {}))),
|
|
31
31
|
"terminal mapping": member(ref(typeReference("Terminal Mapping"))),
|
|
32
32
|
})),
|
|
33
33
|
|
|
@@ -67,7 +67,7 @@ export const $: g_glossary.D.Glossary = {
|
|
|
67
67
|
'interface types': d({
|
|
68
68
|
}),
|
|
69
69
|
'algorithm types': d({
|
|
70
|
-
"Map": sfunction(externalTypeReference("
|
|
70
|
+
"Map": sfunction(externalTypeReference("out", "Glossary", {}), data(typeReference("MapData"))),
|
|
71
71
|
|
|
72
72
|
}),
|
|
73
73
|
}
|
|
@@ -7,8 +7,8 @@ import {
|
|
|
7
7
|
array, boolean, data, dictionary, externalTypeReference, glossaryParameter, group, imp, infInit, member, null_, number, optional, parametrizedType, ref, sfunction, streamconsumer, string, taggedUnion, type, typeParameter, typeReference
|
|
8
8
|
} from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
9
9
|
|
|
10
|
-
import { $ as
|
|
11
|
-
import { $ as
|
|
10
|
+
import { $ as d_out } from "../../glossaries/auto.pareto.data"
|
|
11
|
+
import { $ as d_in } from "../../glossaries/auto.tendril_resolved.data"
|
|
12
12
|
|
|
13
13
|
import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
|
|
14
14
|
const d = pd.d
|
|
@@ -16,8 +16,8 @@ const d = pd.d
|
|
|
16
16
|
export const $: g_glossary.D.Glossary = {
|
|
17
17
|
'glossary parameters': d({}),
|
|
18
18
|
'imports': d({
|
|
19
|
-
"
|
|
20
|
-
"
|
|
19
|
+
"in": imp(d_in, {}),
|
|
20
|
+
"out": imp(d_out, {}),
|
|
21
21
|
}),
|
|
22
22
|
'root': {
|
|
23
23
|
'namespaces': d({}),
|
|
@@ -28,7 +28,7 @@ export const $: g_glossary.D.Glossary = {
|
|
|
28
28
|
'interface types': d({
|
|
29
29
|
}),
|
|
30
30
|
'algorithm types': d({
|
|
31
|
-
"CreateResolver": sfunction(externalTypeReference("
|
|
32
|
-
"CreateSerializer": sfunction(externalTypeReference("
|
|
31
|
+
"CreateResolver": sfunction(externalTypeReference("out", "Compilation Unit", {}), data(externalTypeReference("in", "Type Library", {}))),
|
|
32
|
+
"CreateSerializer": sfunction(externalTypeReference("out", "Compilation Unit", {}), data(externalTypeReference("in", "Type Library", {}))),
|
|
33
33
|
}),
|
|
34
34
|
}
|
|
@@ -5,12 +5,12 @@ import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.co
|
|
|
5
5
|
const d = pd.d
|
|
6
6
|
import { } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
|
|
7
7
|
|
|
8
|
-
import { $ as d_arithmetic } from "./modules/arithmetic/api.data"
|
|
9
8
|
import { $ as d_array } from "./modules/array/api.data"
|
|
10
9
|
import { $ as d_boolean } from "./modules/boolean/api.data"
|
|
11
|
-
import { $ as
|
|
10
|
+
import { $ as d_buildInterfaceInitializers } from "./modules/buildInterfaceInitializers/api.data"
|
|
12
11
|
import { $ as d_dictionary } from "./modules/dictionary/api.data"
|
|
13
|
-
import { $ as
|
|
12
|
+
import { $ as d_number } from "./modules/number/api.data"
|
|
13
|
+
import { $ as d_optional } from "./modules/optional/api.data"
|
|
14
14
|
import { $ as d_resolve } from "./modules/resolve/api.data"
|
|
15
15
|
import { $ as d_string } from "./modules/string/api.data"
|
|
16
16
|
import { $ as d_tostring } from "./modules/tostring/api.data"
|
|
@@ -25,15 +25,13 @@ export const $: g_project.D.Library = {
|
|
|
25
25
|
'public': {
|
|
26
26
|
'glossaries': d({}),
|
|
27
27
|
'modules': d({
|
|
28
|
-
"arithmetic": d_arithmetic,
|
|
29
28
|
"array": d_array,
|
|
30
29
|
"boolean": d_boolean,
|
|
31
|
-
"build":
|
|
30
|
+
"build interface initializers": d_buildInterfaceInitializers,
|
|
32
31
|
"dictionary": d_dictionary,
|
|
33
|
-
"
|
|
34
|
-
"
|
|
32
|
+
"number": d_number,
|
|
33
|
+
"optional": d_optional,
|
|
35
34
|
"string": d_string,
|
|
36
|
-
"tostring": d_tostring,
|
|
37
35
|
})
|
|
38
36
|
},
|
|
39
37
|
'private': {
|