pareto 0.64.0 → 0.66.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.
Files changed (141) hide show
  1. package/auto.dist/index.d.ts +1 -1
  2. package/auto.dist/index.js +3 -3
  3. package/auto.dist/public/modules/fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts/auto.api.js +3 -0
  4. package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/auto.implementation.js +1 -1
  5. package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/auto.provided_interface_glossary.d.ts +0 -4
  6. package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/auto.provided_interface_glossary.js +1 -1
  7. package/auto.dist/public/modules/fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts/auto.provided_interface_glossary.shadow.d.ts +23 -0
  8. package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/auto.provided_interface_glossary.shadow.js +1 -1
  9. package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/implementations/map__Block__2__Block.alg.js +1 -1
  10. package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/index.js +1 -1
  11. package/auto.dist/public/modules/main/auto.provided_interface_glossary.shadow.d.ts +5 -3
  12. package/auto.dist/public/modules/main/implementations/temp_$compile_$boekhouding.alg.js +2 -2
  13. package/auto.dist/public/modules/pareto__2__fountain__pen/auto.provided_interface_glossary.d.ts +0 -6
  14. package/auto.dist/public/modules/pareto__2__fountain__pen/auto.provided_interface_glossary.shadow.d.ts +20 -30
  15. package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.provided_interface_glossary.d.ts +0 -4
  16. package/auto.dist/public/modules/typescript__intermediate__2__fountain__pen/auto.provided_interface_glossary.shadow.d.ts +14 -20
  17. package/auto.dist/public/modules/typescript__naming/auto.provided_interface_glossary.shadow.d.ts +5 -3
  18. package/auto.pareto/$.data.ts +10 -2
  19. package/auto.pareto/auto.dependencies/index.ts +3 -3
  20. package/auto.pareto/auto.dependencies/pareto-pure/$.data.ts +9 -1
  21. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/index.ts +1 -1
  22. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/$.data.ts +8 -0
  23. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/api.data.ts +6 -7
  24. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +41 -27
  25. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/boolean/api.data.ts +7 -8
  26. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/boolean/glossary.data.ts +11 -3
  27. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/api.data.ts +6 -8
  28. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +38 -17
  29. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/api.data.ts +10 -11
  30. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +34 -35
  31. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/number/api.data.ts +7 -8
  32. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/number/glossary.data.ts +28 -12
  33. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/optional/api.data.ts +2 -3
  34. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts +21 -6
  35. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/api.data.ts +0 -1
  36. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +14 -12
  37. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/api.data.ts +6 -7
  38. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +36 -19
  39. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +0 -1
  40. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +20 -6
  41. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/astn.data.ts +30 -17
  42. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.alan_light.data.ts +74 -116
  43. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_type_system.data.ts +426 -622
  44. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.cosmos_typescript.data.ts +10 -22
  45. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.grammar.data.ts +35 -49
  46. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.graphviz.data.ts +116 -182
  47. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.pareto.data.ts +313 -429
  48. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.semantic_versioning.data.ts +13 -23
  49. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril.data.ts +218 -358
  50. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/auto.tendril_resolved.data.ts +173 -249
  51. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_directory.data.ts +25 -14
  52. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_indented_file.data.ts +30 -16
  53. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/fountain_pen_indented_file_with_escaped_strings.data.ts +31 -16
  54. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/lines.data.ts +20 -5
  55. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/testresult.data.ts +74 -57
  56. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/text.data.ts +20 -5
  57. package/auto.pareto/auto.dependencies/pareto-pure/glossaries/typescript_intermediate.data.ts +38 -23
  58. package/auto.pareto/auto.dependencies/pareto-pure/modules/alan_light_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts +1 -2
  59. package/auto.pareto/auto.dependencies/pareto-pure/modules/alan_light_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts +17 -10
  60. package/auto.pareto/auto.dependencies/pareto-pure/modules/astn_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts +1 -2
  61. package/auto.pareto/auto.dependencies/pareto-pure/modules/astn_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts +20 -9
  62. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_graphviz/api.data.ts +1 -1
  63. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_graphviz/glossary.data.ts +21 -3
  64. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_pareto/api.data.ts +1 -1
  65. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_type_system_2_pareto/glossary.data.ts +22 -4
  66. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_typescript_2_fountain_pen_directory/api.data.ts +1 -1
  67. package/auto.pareto/auto.dependencies/pareto-pure/modules/cosmos_typescript_2_fountain_pen_directory/glossary.data.ts +24 -6
  68. package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_indented_file_2_fountain_pen_indented_file/api.data.ts +1 -2
  69. package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_indented_file_2_fountain_pen_indented_file/glossary.data.ts +23 -8
  70. package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_lines_2_lines/api.data.ts +2 -3
  71. package/auto.pareto/auto.dependencies/pareto-pure/modules/fountain_pen_lines_2_lines/glossary.data.ts +27 -6
  72. package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_fountain_pen_indented_file_with_escaped_strings/api.data.ts +1 -2
  73. package/auto.pareto/auto.dependencies/pareto-pure/modules/graphviz_2_fountain_pen_indented_file_with_escaped_strings/glossary.data.ts +17 -10
  74. package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_2_typescript_intermediate/api.data.ts +1 -2
  75. package/auto.pareto/auto.dependencies/pareto-pure/modules/pareto_2_typescript_intermediate/glossary.data.ts +17 -19
  76. package/auto.pareto/auto.dependencies/pareto-pure/modules/semantic_versioning_from_text/api.data.ts +1 -2
  77. package/auto.pareto/auto.dependencies/pareto-pure/modules/semantic_versioning_from_text/glossary.data.ts +16 -18
  78. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/api.data.ts +1 -2
  79. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_alan_light/glossary.data.ts +2 -19
  80. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_cosmos_type_system/api.data.ts +1 -1
  81. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_cosmos_type_system/glossary.data.ts +32 -17
  82. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_pareto/api.data.ts +2 -2
  83. package/auto.pareto/auto.dependencies/pareto-pure/modules/tendril_2_pareto/glossary.data.ts +21 -6
  84. package/auto.pareto/auto.dependencies/pareto-pure/modules/testresult_2_testresult/api.data.ts +4 -4
  85. package/auto.pareto/auto.dependencies/pareto-pure/modules/testresult_2_testresult/glossary.data.ts +80 -57
  86. package/auto.pareto/auto.dependencies/pareto-standard-library/$.data.ts +8 -0
  87. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/api.data.ts +6 -7
  88. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/array/glossary.data.ts +41 -27
  89. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/boolean/api.data.ts +7 -8
  90. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/boolean/glossary.data.ts +11 -3
  91. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/api.data.ts +6 -8
  92. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/buildInterfaceInitializers/glossary.data.ts +38 -17
  93. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/api.data.ts +10 -11
  94. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/dictionary/glossary.data.ts +34 -35
  95. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/number/api.data.ts +7 -8
  96. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/number/glossary.data.ts +28 -12
  97. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/optional/api.data.ts +2 -3
  98. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/optional/glossary.data.ts +21 -6
  99. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/api.data.ts +0 -1
  100. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/resolve/glossary.data.ts +14 -12
  101. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/api.data.ts +6 -7
  102. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/string/glossary.data.ts +36 -19
  103. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/api.data.ts +0 -1
  104. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/tostring/glossary.data.ts +20 -6
  105. package/auto.pareto/auto.dependencies/pareto-subatomic-library/$.data.ts +8 -0
  106. package/auto.pareto/auto.dependencies/pareto-subatomic-library/glossaries/lines.data.ts +10 -15
  107. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/array/api.data.ts +11 -11
  108. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/array/glossary.data.ts +11 -11
  109. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/dictionary/api.data.ts +7 -7
  110. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/dictionary/glossary.data.ts +9 -9
  111. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/filesystem/api.data.ts +2 -2
  112. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/filesystem/glossary.data.ts +9 -9
  113. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/api.data.ts +5 -5
  114. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/json/glossary.data.ts +15 -15
  115. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/numerical_predicates/api.data.ts +6 -6
  116. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/numerical_predicates/glossary.data.ts +6 -6
  117. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/api.data.ts +21 -21
  118. package/auto.pareto/auto.dependencies/pareto-subatomic-library/modules/string/glossary.data.ts +34 -34
  119. package/auto.pareto/modules/{string_aware_fountain_pen_2 fountain_pen/api.data.ts → fountain_pen_indented_file_2_fountain_pen_indented_file_with_escaped_texts/api.data.ts} +1 -2
  120. package/auto.pareto/modules/{string_aware_fountain_pen_2 fountain_pen/glossary.data.ts → fountain_pen_indented_file_2_fountain_pen_indented_file_with_escaped_texts/glossary.data.ts} +2 -2
  121. package/auto.pareto/modules/main/api.data.ts +1 -1
  122. package/auto.pareto/modules/main/glossary.data.ts +11 -6
  123. package/auto.pareto/modules/pareto_2_fountain_pen/api.data.ts +1 -2
  124. package/auto.pareto/modules/pareto_2_fountain_pen/glossary.data.ts +18 -20
  125. package/auto.pareto/modules/typescript_intermediate_2_fountain_pen/api.data.ts +4 -5
  126. package/auto.pareto/modules/typescript_intermediate_2_fountain_pen/glossary.data.ts +18 -11
  127. package/auto.pareto/modules/typescript_naming/api.data.ts +1 -2
  128. package/auto.pareto/modules/typescript_naming/glossary.data.ts +17 -8
  129. package/package.json +5 -5
  130. package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/auto.api.js +0 -3
  131. package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/auto.provided_interface_glossary.shadow.d.ts +0 -29
  132. package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/implementations/map.alg.d.ts +0 -0
  133. package/auto.dist/public/modules/string__aware__fountain__pen__2__fountain__pen/implementations/map.alg.js +0 -2
  134. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/api.data.ts +0 -14
  135. package/auto.pareto/auto.dependencies/pareto-pure/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +0 -25
  136. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/api.data.ts +0 -14
  137. package/auto.pareto/auto.dependencies/pareto-standard-library/modules/nested/glossary.data.ts +0 -25
  138. /package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/auto.api.d.ts +0 -0
  139. /package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/auto.implementation.d.ts +0 -0
  140. /package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/implementations/map__Block__2__Block.alg.d.ts +0 -0
  141. /package/auto.dist/public/modules/{string__aware__fountain__pen__2__fountain__pen → fountain__pen__indented__file__2__fountain__pen__indented__file__with__escaped__texts}/index.d.ts +0 -0
@@ -1,7 +1,30 @@
1
1
  import * as pd from 'pareto-core-data'
2
2
 
3
3
  import {
4
- array, boolean, data, dictionary, externalTypeReference, glossaryParameter, group, member, null_, number, optional, parametrizedType, procedure, ref, sfunction, sInterface, sInterfaceMethod, sInterfaceReference, string, taggedUnion, type, typeParameter, typeReference
4
+ boolean,
5
+ component,
6
+ data,
7
+ dictionary,
8
+ externalTypeReference,
9
+ group,
10
+ imp,
11
+ integer,
12
+ list,
13
+ member,
14
+ nothing,
15
+ optional,
16
+ parametrizedType,
17
+ sfunction,
18
+ stateGroup,
19
+ text,
20
+ type,
21
+ typeParameter,
22
+ typeReference,
23
+
24
+ procedure,
25
+ sInterface,
26
+ sInterfaceMethod,
27
+ sInterfaceReference,
5
28
  } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
6
29
 
7
30
  import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
@@ -30,105 +53,105 @@ export const $: g_glossary.D.Glossary = {
30
53
  }),
31
54
  'data types': d({
32
55
  "Library": type(group({
33
- "public": member(ref(typeReference("Module Set"))),
34
- "private": member(ref(typeReference("Module Set"))),
56
+ "public": member(component(typeReference("Module Set"))),
57
+ "private": member(component(typeReference("Module Set"))),
35
58
  })),
36
- "Module Set": type(dictionary(ref(typeReference("Module")))),
37
- "Module": type(dictionary(ref(typeReference("Algorithm")))),
59
+ "Module Set": type(dictionary(component(typeReference("Module")))),
60
+ "Module": type(dictionary(component(typeReference("Algorithm")))),
38
61
  "Algorithm": type(group({
39
- "location": member(ref(typeReference("Source Location"))),
40
- "tests": member(optional(dictionary(ref(typeReference("Test"))))),
62
+ "location": member(component(typeReference("Source Location"))),
63
+ "tests": member(optional(dictionary(component(typeReference("Test"))))),
41
64
  })),
42
65
  "Source Location": type(group({
43
- "file": member(string()),
44
- "line": member(number()),
45
- "column": member(number()),
66
+ "file": member(text()),
67
+ "line": member(integer()),
68
+ "column": member(integer()),
46
69
  })),
47
- "Test": type(array(ref(typeReference("Error")))),
48
- "Error": type(taggedUnion({
49
- "content": ref(typeReference("Compare Error"))
70
+ "Test": type(list(component(typeReference("Error")))),
71
+ "Error": type(stateGroup({
72
+ "content": component(typeReference("Compare Error"))
50
73
  })),
51
74
  "Compare Error": type(group({
52
- "location": member(ref(typeReference("Source Location"))),
53
- "path": member(string()),
54
- "type": member(taggedUnion({
75
+ "location": member(component(typeReference("Source Location"))),
76
+ "path": member(text()),
77
+ "type": member(stateGroup({
55
78
  "wrong number": group({
56
- "found": member(number()),
79
+ "found": member(integer()),
57
80
  }),
58
81
  "wrong text": group({
59
- "found": member(string()),
82
+ "found": member(text()),
60
83
  }),
61
84
  "wrong boolean": group({
62
85
  "found": member(boolean())
63
86
  }),
64
- "optional value expected not to be set": null_(),
65
- "optional value expected to be set": null_(),
87
+ "optional value expected not to be set": nothing(),
88
+ "optional value expected to be set": nothing(),
66
89
  "not the right state": group({
67
- "found": member(string())
90
+ "found": member(text())
68
91
  }),
69
- "not enough elements": null_(),
70
- "too many elements": null_(),
92
+ "not enough elements": nothing(),
93
+ "too many elements": nothing(),
71
94
  "superfluous entries": group({
72
- "keys": member(dictionary(null_()))
95
+ "keys": member(dictionary(nothing()))
73
96
  }),
74
97
  "missing dictionary entry": group({
75
- "key": member(string()),
98
+ "key": member(text()),
76
99
  }),
77
100
  })),
78
101
 
79
102
  })),
80
103
  "Summary": type(group({
81
- "number of tests": member(number()),
82
- "number of missing tests": member(number()),
83
- "number of errors": member(number()),
104
+ "number of tests": member(integer()),
105
+ "number of missing tests": member(integer()),
106
+ "number of errors": member(integer()),
84
107
  })),
85
108
 
86
- "String": type(string()),
109
+ "String": type(text()),
87
110
 
88
111
  "intLibrary": type(group({
89
- "public": member(ref(typeReference("intModule Set"))),
90
- "private": member(ref(typeReference("intModule Set"))),
112
+ "public": member(component(typeReference("intModule Set"))),
113
+ "private": member(component(typeReference("intModule Set"))),
91
114
  })),
92
- "intModule Set": type(dictionary(ref(typeReference("intModule")))),
93
- "intModule": type(dictionary(ref(typeReference("intAlgorithm")))),
115
+ "intModule Set": type(dictionary(component(typeReference("intModule")))),
116
+ "intModule": type(dictionary(component(typeReference("intAlgorithm")))),
94
117
  "intAlgorithm": type(group({
95
- "location": member(ref(typeReference("Source Location"))),
96
- "status": member(taggedUnion({
97
- "no tests": null_(),
98
- "skipped": null_(),
99
- "has tests": dictionary(ref(typeReference("intTest"))),
118
+ "location": member(component(typeReference("Source Location"))),
119
+ "status": member(stateGroup({
120
+ "no tests": nothing(),
121
+ "skipped": nothing(),
122
+ "has tests": dictionary(component(typeReference("intTest"))),
100
123
  })),
101
124
  })),
102
- "intTest": type(taggedUnion({
103
- "has errors": array(ref(typeReference("Error"))),
104
- "has no errors": null_(),
125
+ "intTest": type(stateGroup({
126
+ "has errors": list(component(typeReference("Error"))),
127
+ "has no errors": nothing(),
105
128
  })),
106
- "annotatedStatus": type(taggedUnion({
107
- "has errors": null_(), // red
108
- "missing tests": null_(), // yellow
109
- "no tests": null_(), // grey
110
- "success": null_(), // green
129
+ "annotatedStatus": type(stateGroup({
130
+ "has errors": nothing(), // red
131
+ "missing tests": nothing(), // yellow
132
+ "no tests": nothing(), // grey
133
+ "success": nothing(), // green
111
134
  })),
112
135
  "annotatedLibrary": type(group({
113
- "public": member(ref(typeReference("annotatedModule Set"))),
114
- "private": member(ref(typeReference("annotatedModule Set"))),
136
+ "public": member(component(typeReference("annotatedModule Set"))),
137
+ "private": member(component(typeReference("annotatedModule Set"))),
115
138
  })),
116
139
  "annotatedModule Set": type(group({
117
- "status": member(ref(typeReference("annotatedStatus"))),
118
- "modules": member(dictionary(ref(typeReference("annotatedModule")))),
140
+ "status": member(component(typeReference("annotatedStatus"))),
141
+ "modules": member(dictionary(component(typeReference("annotatedModule")))),
119
142
  })),
120
143
  "annotatedModule": type(group({
121
- "status": member(ref(typeReference("annotatedStatus"))),
122
- "algorithms": member(dictionary(ref(typeReference("annotatedAlgorithm")))),
144
+ "status": member(component(typeReference("annotatedStatus"))),
145
+ "algorithms": member(dictionary(component(typeReference("annotatedAlgorithm")))),
123
146
  })),
124
147
  "annotatedAlgorithm": type(group({
125
- "location": member(ref(typeReference("Source Location"))),
126
- "status": member(ref(typeReference("annotatedStatus"))),
127
- "tests": member(dictionary(ref(typeReference("annotatedTest")))),
148
+ "location": member(component(typeReference("Source Location"))),
149
+ "status": member(component(typeReference("annotatedStatus"))),
150
+ "tests": member(dictionary(component(typeReference("annotatedTest")))),
128
151
  })),
129
152
  "annotatedTest": type(group({
130
- "status": member(ref(typeReference("annotatedStatus"))),
131
- "errors": member(array(ref(typeReference("Error")))),
153
+ "status": member(component(typeReference("annotatedStatus"))),
154
+ "errors": member(list(component(typeReference("Error")))),
132
155
  })),
133
156
  }),
134
157
  },
@@ -24,6 +24,10 @@ export const $: g_project.D.Library = {
24
24
  'module sets': {
25
25
  'public': {
26
26
  'glossaries': d({}),
27
+ 'transformations': {
28
+ 'enrich': d({}),
29
+ 'yield': d({}),
30
+ },
27
31
  'modules': d({
28
32
  "array": d_array,
29
33
  "boolean": d_boolean,
@@ -36,6 +40,10 @@ export const $: g_project.D.Library = {
36
40
  },
37
41
  'private': {
38
42
  'glossaries': d({}),
43
+ 'transformations': {
44
+ 'enrich': d({}),
45
+ 'yield': d({}),
46
+ },
39
47
  'modules': d({}),
40
48
  }
41
49
  }
@@ -5,17 +5,16 @@ import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/
5
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 "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
9
8
 
10
9
  export const $: g_project.D.API = api(
11
10
  glos,
12
11
  {
13
- "flattenArrayOfArrays": algorithm("FlattenArrayOfArrays", null, {}),
14
- "append": algorithm("Append", null, {}),
15
- "prepend": algorithm("Prepend", null, {}),
16
- "zip": algorithm("Zip", null, {}),
17
- "flattenTree": algorithm("FlattenTree", null, {}),
18
- "unsafeSortTopologically": algorithm("SortTopologically", null, {}),
12
+ "flattenArrayOfArrays": algorithm("FlattenArrayOfArrays", {}),
13
+ "append": algorithm("Append", {}),
14
+ "prepend": algorithm("Prepend", {}),
15
+ "zip": algorithm("Zip", {}),
16
+ "flattenTree": algorithm("FlattenTree", {}),
17
+ "unsafeSortTopologically": algorithm("SortTopologically", {}),
19
18
 
20
19
  }
21
20
  )
@@ -1,10 +1,24 @@
1
1
  import * as pd from 'pareto-core-data'
2
2
 
3
3
  import {
4
- array, data, dictionary, externalTypeReference, group, member, null_, number, optional, parametrizedType, ref, sfunction,
5
- string,
6
- taggedUnion,
7
- type, typeParameter, typeReference
4
+ boolean,
5
+ component,
6
+ data,
7
+ dictionary,
8
+ externalTypeReference,
9
+ group,
10
+ integer,
11
+ list,
12
+ member,
13
+ nothing,
14
+ optional,
15
+ parametrizedType,
16
+ sfunction,
17
+ stateGroup,
18
+ text,
19
+ type,
20
+ typeParameter,
21
+ typeReference,
8
22
  } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
9
23
 
10
24
  import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
@@ -22,64 +36,64 @@ export const $: g_glossary.D.Glossary = {
22
36
  //out
23
37
  "Array": parametrizedType(
24
38
  { "Type": null },
25
- array(ref(typeParameter("Type")))
39
+ list(component(typeParameter("Type")))
26
40
  ),
27
41
 
28
42
  "ZippedArray": parametrizedType(
29
43
  { "Benchmark": null, "Focus": null },
30
- array(group({
31
- "benchmark": member(ref(typeParameter("Benchmark"))),
32
- "focus": member(ref(typeParameter("Focus"))),
44
+ list(group({
45
+ "benchmark": member(component(typeParameter("Benchmark"))),
46
+ "focus": member(component(typeParameter("Focus"))),
33
47
  }))
34
48
  ),
35
49
 
36
50
  //in
37
51
  "ArrayOfArrays": parametrizedType(
38
52
  { "Type": null },
39
- array(ref(typeReference("Array", { "Type": typeParameter("Type") })))),
53
+ list(component(typeReference("Array", { "Type": typeParameter("Type") })))),
40
54
 
41
55
  "AppendParameters": parametrizedType(
42
56
  { "Type": null },
43
57
  group({
44
- "array": member(ref(typeReference("Array", { "Type": typeParameter("Type") }))),
45
- "element": member(ref(typeParameter("Type"))),
58
+ "array": member(component(typeReference("Array", { "Type": typeParameter("Type") }))),
59
+ "element": member(component(typeParameter("Type"))),
46
60
  })
47
61
  ),
48
62
  "PrependParameters": parametrizedType(
49
63
  { "Type": null },
50
64
  group({
51
- "array": member(ref(typeReference("Array", { "Type": typeParameter("Type") }))),
52
- "element": member(ref(typeParameter("Type"))),
65
+ "array": member(component(typeReference("Array", { "Type": typeParameter("Type") }))),
66
+ "element": member(component(typeParameter("Type"))),
53
67
  })
54
68
  ),
55
69
  "ArrayTuple": parametrizedType(
56
70
  { "Benchmark": null, "Focus": null },
57
71
  group({
58
- "benchmark": member(ref(typeReference("Array", { "Type": typeParameter("Benchmark") }))),
59
- "focus": member(ref(typeReference("Array", { "Type": typeParameter("Focus") }))),
72
+ "benchmark": member(component(typeReference("Array", { "Type": typeParameter("Benchmark") }))),
73
+ "focus": member(component(typeReference("Array", { "Type": typeParameter("Focus") }))),
60
74
  })
61
75
  ),
62
- "Nested": parametrizedType({ "Type": null }, taggedUnion({
63
- "single": ref(typeParameter("Type")),
64
- "multiple": array(ref(typeReference("Nested", { "Type": typeParameter("Type") }))),
65
- "none": null_(),
76
+ "Nested": parametrizedType({ "Type": null }, stateGroup({
77
+ "single": component(typeParameter("Type")),
78
+ "multiple": list(component(typeReference("Nested", { "Type": typeParameter("Type") }))),
79
+ "none": nothing(),
66
80
  })),
67
- // "Array": parametrizedType({ "Type": null }, array(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
81
+ // "Array": parametrizedType({ "Type": null }, list(component(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
68
82
  // "KeyValuePair": parametrizedType({ "Type": null }, group({
69
- // "key": member(string()),
70
- // "value": member(ref(typeParameter("Type"))),
83
+ // "key": member(text()),
84
+ // "value": member(component(typeParameter("Type"))),
71
85
  // })),
72
86
 
73
87
  "DependencyDictionary": parametrizedType({ "Type": null }, dictionary(group({
74
- "value": member(ref(typeParameter("Type"))),
75
- "dependencies": member(dictionary(null_())),
88
+ "value": member(component(typeParameter("Type"))),
89
+ "dependencies": member(dictionary(nothing())),
76
90
  }))),
77
91
 
78
92
 
79
- "KeyValuePairArray": parametrizedType({ "Type": null }, array(ref(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
93
+ "KeyValuePairArray": parametrizedType({ "Type": null }, list(component(typeReference("KeyValuePair", { "Type": typeParameter("Type") })))),
80
94
  "KeyValuePair": parametrizedType({ "Type": null }, group({
81
- "key": member(string()),
82
- "value": member(ref(typeParameter("Type"))),
95
+ "key": member(text()),
96
+ "value": member(component(typeParameter("Type"))),
83
97
  })),
84
98
 
85
99
  }),
@@ -5,17 +5,16 @@ import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/
5
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 "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
9
8
 
10
9
  export const $: g_project.D.API = api(
11
10
  glos,
12
11
  {
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, {}),
12
+ "array_and": algorithm("Array And", {}),
13
+ "array_or": algorithm("Array Or", {}),
14
+ "array_xor": algorithm("Array Xor", {}),
15
+ "and": algorithm("And", {}),
16
+ "or": algorithm("Or", {}),
17
+ "xor": algorithm("Xor", {}),
18
+ "not": algorithm("Not", {}),
20
19
  }
21
20
  )
@@ -1,15 +1,23 @@
1
1
  import * as pd from 'pareto-core-data'
2
2
 
3
3
  import {
4
- array,
5
4
  boolean,
5
+ component,
6
6
  data,
7
+ dictionary,
7
8
  externalTypeReference,
8
9
  group,
10
+ integer,
11
+ list,
9
12
  member,
10
- number,
13
+ nothing,
14
+ optional,
15
+ parametrizedType,
11
16
  sfunction,
17
+ stateGroup,
18
+ text,
12
19
  type,
20
+ typeParameter,
13
21
  typeReference,
14
22
  } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
15
23
 
@@ -29,7 +37,7 @@ export const $: g_glossary.D.Glossary = {
29
37
  "yin": member(boolean()),
30
38
  "yang": member(boolean()),
31
39
  })),
32
- "Array Of Booleans": type(array(boolean())),
40
+ "Array Of Booleans": type(list(boolean())),
33
41
  }),
34
42
  },
35
43
  },
@@ -5,20 +5,18 @@ import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/
5
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, sInterface, sInterfaceMethod, string, taggedUnion, type, typeReference } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
9
8
 
10
9
  export const $: g_project.D.API = api(
11
10
  glos,
12
11
  {
13
- // "buildArray": algorithm("BuildArray", null, {}),
14
- // "buildUnsafeDictionary": algorithm("BuildUnsafeDictionary", null, {}),
12
+ // "buildArray": algorithm("BuildArray", {}),
13
+ // "buildUnsafeDictionary": algorithm("BuildUnsafeDictionary", {}),
15
14
  // "buildSafeDictionary": algorithm("BuildSafeDictionary", "DictionaryBuildStrategy", {}, {
16
15
  // }),
17
- "createUnsafeDictionaryBuilder": algorithm("CreateUnsafeDictionaryBuilder", null, {}),
18
- "createSafeDictionaryBuilder": algorithm("CreateSafeDictionaryBuilder", "DictionaryBuildStrategy", {}),
19
- "createArrayBuilder": algorithm("CreateArrayBuilder", null, {}),
16
+ "createUnsafeDictionaryBuilder": algorithm("CreateUnsafeDictionaryBuilder", {}),
17
+ //"createSafeDictionaryBuilder": algorithm("CreateSafeDictionaryBuilder", {}),
18
+ "createArrayBuilder": algorithm("CreateArrayBuilder", {}),
20
19
 
21
- "createStringBuilder": algorithm("CreateStringBuilder", "Startstring", {
22
- }),
20
+ "createStringBuilder": algorithm("CreateStringBuilder", {}),
23
21
  }
24
22
  )
@@ -1,12 +1,33 @@
1
1
  import * as pd from 'pareto-core-data'
2
2
 
3
3
  import {
4
+ boolean,
5
+ component,
6
+ data,
7
+ dictionary,
8
+ externalTypeReference,
9
+ group,
10
+ integer,
11
+ list,
12
+ member,
13
+ nothing,
14
+ optional,
15
+ parametrizedType,
16
+ sfunction,
17
+ stateGroup,
18
+ text,
19
+ type,
20
+ typeParameter,
21
+ typeReference,
22
+
23
+ aInterface,
4
24
  aInterfaceMethod,
5
25
  aInterfaceReference,
6
- array, dictionary, ref, typeParameter, group, sInf, member,
7
- sfunction,
8
- sInterfaceMethod, sInterfaceReference, streamconsumer, string, taggedUnion, type, typeReference, aInterface, sInterface, parametrizedType,
9
- infInit
26
+ infInit,
27
+ sInterface,
28
+ sInterfaceMethod,
29
+ streamconsumer,
30
+
10
31
  } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
11
32
 
12
33
  import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
@@ -20,33 +41,33 @@ export const $: g_glossary.D.Glossary = {
20
41
  'root': {
21
42
  'namespaces': d({}),
22
43
  'data types': d({
23
- "Simple Array": parametrizedType({ "Type": null }, array(ref(typeParameter("Type")))),
44
+ "Simple Array": parametrizedType({ "Type": null }, list(component(typeParameter("Type")))),
24
45
 
25
- "Simple Dictionary": parametrizedType({ "Type": null }, dictionary(ref(typeParameter("Type")))),
26
- "Simple String": type(string()),
46
+ "Simple Dictionary": parametrizedType({ "Type": null }, dictionary(component(typeParameter("Type")))),
47
+ "Simple String": type(text()),
27
48
 
28
49
  "Array": parametrizedType({ "Type": null, "EndType": null }, group({
29
- "array": member(array(ref(typeParameter("Type")))),
30
- "end": member(ref(typeParameter("EndType"))),
50
+ "array": member(list(component(typeParameter("Type")))),
51
+ "end": member(component(typeParameter("EndType"))),
31
52
  })),
32
53
  "Dictionary": parametrizedType({ "Type": null, "EndType": null }, group({
33
- "dictionary": member(dictionary(ref(typeParameter("Type")))),
34
- "end": member(ref(typeParameter("EndType"))),
54
+ "dictionary": member(dictionary(component(typeParameter("Type")))),
55
+ "end": member(component(typeParameter("EndType"))),
35
56
  })),
36
57
  "String": parametrizedType({ "EndType": null }, group({
37
- "string": member(string()),
38
- "end": member(ref(typeParameter("EndType"))),
58
+ "string": member(text()),
59
+ "end": member(component(typeParameter("EndType"))),
39
60
  })),
40
61
  "KeyValuePair": parametrizedType({ "Type": null }, group({
41
- "key": member(string()),
42
- "value": member(ref(typeParameter("Type"))),
62
+ "key": member(text()),
63
+ "value": member(component(typeParameter("Type"))),
43
64
  })),
44
65
 
45
- "DictionaryBuildStrategy": type(taggedUnion({
66
+ "DictionaryBuildStrategy": type(stateGroup({
46
67
  "ignore": group({}),
47
68
  "overwrite": group({}),
48
69
  })),
49
- "Startstring": type(string()),
70
+ // "Startstring": type(text()),
50
71
  }),
51
72
  },
52
73
 
@@ -5,50 +5,49 @@ import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/
5
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 "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
9
8
 
10
9
  export const $: g_project.D.API = api(
11
10
  glos,
12
11
  {
13
- "decorateDictionaryEntriesWithKey": algorithm("DecorateDictionaryEntriesWithKey", null, {}),
12
+ "decorateDictionaryEntriesWithKey": algorithm("DecorateDictionaryEntriesWithKey", {}),
14
13
 
15
- "filter": algorithm("Filter", null, {}),
14
+ "filter": algorithm("Filter", {}),
16
15
  /**
17
16
  * the keys of the outermost dictionary is combined with the key of the innermost dictionary
18
17
  */
19
- "flattenDictionaryOfDictionaries": algorithm("FlattenDictionaryOfDictionaries", null, {}),
18
+ "flattenDictionaryOfDictionaries": algorithm("FlattenDictionaryOfDictionaries", {}),
20
19
  /**
21
20
  * 2 dictionaries are combined into 1 dictionary. is a key exists in both directories, only the entry of the last dictionary will be used.
22
21
  */
23
- "mergeAndOverwrite": algorithm("MergeAndOverwrite", null, {}),
22
+ "mergeAndOverwrite": algorithm("MergeAndOverwrite", {}),
24
23
  /**
25
24
  * 2 dictionaries are combined into 1 dictionary. is a key exists in both directories, only the entry of the first dictionary will be used.
26
25
  */
27
- "mergeAndIgnore": algorithm("MergeAndIgnore", null, {}),
26
+ "mergeAndIgnore": algorithm("MergeAndIgnore", {}),
28
27
  /**
29
28
  * a dictionary with containing entries with values and a key candidate is transformed
30
29
  * into a dictionary where the new key of the entry is the candidate. If candidates are not unique
31
30
  * the function panics
32
31
  */
33
- "unsafeRekey": algorithm("UnsafeRekey", null, {}),
32
+ "unsafeRekey": algorithm("UnsafeRekey", {}),
34
33
  /**
35
34
  * 2 dictionaries are combined into 1 dictionary. If keys are not unique this function panics.
36
35
  */
37
- "unsafeMerge": algorithm("UnsafeMerge", null, {}),
36
+ "unsafeMerge": algorithm("UnsafeMerge", {}),
38
37
  /**
39
38
  * a key/value pair is added to a dictionary resulting in a new dictionary.
40
39
  * if the key is not unique the function panics
41
40
  */
42
- "unsafeAddEntry": algorithm("UnsafeAddEntry", null, {}),
41
+ "unsafeAddEntry": algorithm("UnsafeAddEntry", {}),
43
42
  /**
44
43
  * prepends and appends strings to all keys in the dictionary
45
44
  */
46
- "wrapKeys": algorithm("WrapKeys", null, {}),
45
+ "wrapKeys": algorithm("WrapKeys", {}),
47
46
  /**
48
47
  * a focus dictionary is matched to a benchmark dictionary resulting in a result dictionary
49
48
  * this last dictionary contains all entries found in the benchmark dictionary.
50
49
  * each entry value is optionally supplemented with the value of the focus entry, if found.
51
50
  */
52
- "zip": algorithm("Zip", null, {}),
51
+ "zip": algorithm("Zip", {}),
53
52
  }
54
53
  )