pareto 0.63.0 → 0.64.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.
@@ -84,29 +84,29 @@ export const $: g_cosmos.D.Glossary = {
84
84
  },
85
85
  })]
86
86
  },
87
- "Option Constraints": {
87
+ "Properties": {
88
88
  'parameters': d({}),
89
89
  'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
90
- "option": {
91
- 'type': <g_cosmos.D.Data__Type>['string', null],
92
- },
93
90
  "type": {
94
91
  'type': <g_cosmos.D.Data__Type>['reference', ['type', {
95
92
  'context': ['local', null],
96
- 'typeXX': "Type Selection",
93
+ 'typeXX': "Type",
97
94
  'tailXX': a([]),
98
95
  'type arguments': d({}),
99
96
  }]],
100
97
  },
101
98
  })]]
102
99
  },
103
- "Properties": {
100
+ "State Constraints": {
104
101
  'parameters': d({}),
105
102
  'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
103
+ "state": {
104
+ 'type': <g_cosmos.D.Data__Type>['string', null],
105
+ },
106
106
  "type": {
107
107
  'type': <g_cosmos.D.Data__Type>['reference', ['type', {
108
108
  'context': ['local', null],
109
- 'typeXX': "Type",
109
+ 'typeXX': "Type Selection",
110
110
  'tailXX': a([]),
111
111
  'type arguments': d({}),
112
112
  }]],
@@ -118,16 +118,6 @@ export const $: g_cosmos.D.Glossary = {
118
118
  'type': <g_cosmos.D.Data__Type>['group', d({
119
119
  "type": {
120
120
  'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
121
- "array": <g_cosmos.D.Data__Type>['group', d({
122
- "type": {
123
- 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
124
- 'context': ['local', null],
125
- 'typeXX': "Type",
126
- 'tailXX': a([]),
127
- 'type arguments': d({}),
128
- }]],
129
- },
130
- })],
131
121
  "component": <g_cosmos.D.Data__Type>['group', d({
132
122
  "context": {
133
123
  'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
@@ -188,6 +178,16 @@ export const $: g_cosmos.D.Glossary = {
188
178
  }]],
189
179
  },
190
180
  })],
181
+ "list": <g_cosmos.D.Data__Type>['group', d({
182
+ "type": {
183
+ 'type': <g_cosmos.D.Data__Type>['reference', ['type', {
184
+ 'context': ['local', null],
185
+ 'typeXX': "Type",
186
+ 'tailXX': a([]),
187
+ 'type arguments': d({}),
188
+ }]],
189
+ },
190
+ })],
191
191
  "nothing": <g_cosmos.D.Data__Type>['group', d({})],
192
192
  "optional": <g_cosmos.D.Data__Type>['group', d({
193
193
  "type": {
@@ -199,13 +199,13 @@ export const $: g_cosmos.D.Glossary = {
199
199
  }]],
200
200
  },
201
201
  })],
202
- "tagged union": <g_cosmos.D.Data__Type>['group', d({
203
- "options": {
202
+ "state group": <g_cosmos.D.Data__Type>['group', d({
203
+ "states": {
204
204
  'type': <g_cosmos.D.Data__Type>['dictionary', <g_cosmos.D.Data__Type>['group', d({
205
205
  "constraints": {
206
206
  'type': <g_cosmos.D.Data__Type>['reference', ['type', {
207
207
  'context': ['local', null],
208
- 'typeXX': "Option Constraints",
208
+ 'typeXX': "State Constraints",
209
209
  'tailXX': a([]),
210
210
  'type arguments': d({}),
211
211
  }]],
@@ -302,16 +302,16 @@ export const $: g_cosmos.D.Glossary = {
302
302
  'type': <g_cosmos.D.Data__Type>['group', d({
303
303
  "step type": {
304
304
  'type': <g_cosmos.D.Data__Type>['taggedUnion', d({
305
- "array": <g_cosmos.D.Data__Type>['group', d({})],
306
305
  "dictionary": <g_cosmos.D.Data__Type>['group', d({})],
307
306
  "group": <g_cosmos.D.Data__Type>['group', d({
308
307
  "property": {
309
308
  'type': <g_cosmos.D.Data__Type>['string', null],
310
309
  },
311
310
  })],
311
+ "list": <g_cosmos.D.Data__Type>['group', d({})],
312
312
  "optional": <g_cosmos.D.Data__Type>['group', d({})],
313
- "tagged union": <g_cosmos.D.Data__Type>['group', d({
314
- "option": {
313
+ "state group": <g_cosmos.D.Data__Type>['group', d({
314
+ "state": {
315
315
  'type': <g_cosmos.D.Data__Type>['string', null],
316
316
  },
317
317
  })],
@@ -455,7 +455,7 @@ export const $: g_cosmos.D.Glossary = {
455
455
  },
456
456
  }),
457
457
  },
458
- "Option Constraints": {
458
+ "Properties": {
459
459
  'data types': d({}),
460
460
  'namespaces': d({
461
461
  "DX": {
@@ -464,10 +464,6 @@ export const $: g_cosmos.D.Glossary = {
464
464
  "G": {
465
465
  'data types': d({}),
466
466
  'namespaces': d({
467
- "option": {
468
- 'data types': d({}),
469
- 'namespaces': d({}),
470
- },
471
467
  "type": {
472
468
  'data types': d({}),
473
469
  'namespaces': d({}),
@@ -478,7 +474,7 @@ export const $: g_cosmos.D.Glossary = {
478
474
  },
479
475
  }),
480
476
  },
481
- "Properties": {
477
+ "State Constraints": {
482
478
  'data types': d({}),
483
479
  'namespaces': d({
484
480
  "DX": {
@@ -487,6 +483,10 @@ export const $: g_cosmos.D.Glossary = {
487
483
  "G": {
488
484
  'data types': d({}),
489
485
  'namespaces': d({
486
+ "state": {
487
+ 'data types': d({}),
488
+ 'namespaces': d({}),
489
+ },
490
490
  "type": {
491
491
  'data types': d({}),
492
492
  'namespaces': d({}),
@@ -509,20 +509,6 @@ export const $: g_cosmos.D.Glossary = {
509
509
  "TU": {
510
510
  'data types': d({}),
511
511
  'namespaces': d({
512
- "array": {
513
- 'data types': d({}),
514
- 'namespaces': d({
515
- "G": {
516
- 'data types': d({}),
517
- 'namespaces': d({
518
- "type": {
519
- 'data types': d({}),
520
- 'namespaces': d({}),
521
- },
522
- }),
523
- },
524
- }),
525
- },
526
512
  "component": {
527
513
  'data types': d({}),
528
514
  'namespaces': d({
@@ -625,6 +611,20 @@ export const $: g_cosmos.D.Glossary = {
625
611
  },
626
612
  }),
627
613
  },
614
+ "list": {
615
+ 'data types': d({}),
616
+ 'namespaces': d({
617
+ "G": {
618
+ 'data types': d({}),
619
+ 'namespaces': d({
620
+ "type": {
621
+ 'data types': d({}),
622
+ 'namespaces': d({}),
623
+ },
624
+ }),
625
+ },
626
+ }),
627
+ },
628
628
  "nothing": {
629
629
  'data types': d({}),
630
630
  'namespaces': d({
@@ -648,13 +648,13 @@ export const $: g_cosmos.D.Glossary = {
648
648
  },
649
649
  }),
650
650
  },
651
- "tagged union": {
651
+ "state group": {
652
652
  'data types': d({}),
653
653
  'namespaces': d({
654
654
  "G": {
655
655
  'data types': d({}),
656
656
  'namespaces': d({
657
- "options": {
657
+ "states": {
658
658
  'data types': d({}),
659
659
  'namespaces': d({
660
660
  "DX": {
@@ -784,15 +784,6 @@ export const $: g_cosmos.D.Glossary = {
784
784
  "TU": {
785
785
  'data types': d({}),
786
786
  'namespaces': d({
787
- "array": {
788
- 'data types': d({}),
789
- 'namespaces': d({
790
- "G": {
791
- 'data types': d({}),
792
- 'namespaces': d({}),
793
- },
794
- }),
795
- },
796
787
  "dictionary": {
797
788
  'data types': d({}),
798
789
  'namespaces': d({
@@ -816,6 +807,15 @@ export const $: g_cosmos.D.Glossary = {
816
807
  },
817
808
  }),
818
809
  },
810
+ "list": {
811
+ 'data types': d({}),
812
+ 'namespaces': d({
813
+ "G": {
814
+ 'data types': d({}),
815
+ 'namespaces': d({}),
816
+ },
817
+ }),
818
+ },
819
819
  "optional": {
820
820
  'data types': d({}),
821
821
  'namespaces': d({
@@ -825,13 +825,13 @@ export const $: g_cosmos.D.Glossary = {
825
825
  },
826
826
  }),
827
827
  },
828
- "tagged union": {
828
+ "state group": {
829
829
  'data types': d({}),
830
830
  'namespaces': d({
831
831
  "G": {
832
832
  'data types': d({}),
833
833
  'namespaces': d({
834
- "option": {
834
+ "state": {
835
835
  'data types': d({}),
836
836
  'namespaces': d({}),
837
837
  },
@@ -0,0 +1,29 @@
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
+ 'data glossary': {
15
+ 'glossary parameters': d({}),
16
+ 'imports': d({
17
+ }),
18
+ 'root': {
19
+ 'namespaces': d({}),
20
+ 'data types': d({
21
+ "Text": type(string()),
22
+ }),
23
+ },
24
+ },
25
+ 'interface types': d({
26
+ }),
27
+ 'algorithm types': d({
28
+ }),
29
+ }
@@ -0,0 +1,17 @@
1
+ import * as pd from 'pareto-core-data'
2
+
3
+ import { algorithm, algref, api } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
4
+
5
+ import * as g_project from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
6
+
7
+ import { $ as glos } from "./glossary.data"
8
+ import { aInterface, aInterfaceMethod, glossary, group, member, number, sInterface, sInterfaceMethod, streamconsumer, string, type, typeReference } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
9
+
10
+ export const $: g_project.D.API = api(
11
+ glos,
12
+
13
+ {
14
+ "map Semantic Version from Text": algorithm("Map Semantic Version from Text", null, {})
15
+
16
+ }
17
+ )
@@ -0,0 +1,51 @@
1
+ import * as pd from 'pareto-core-data'
2
+
3
+ import {
4
+ dictionary,
5
+ typeReference,
6
+ data,
7
+ sfunction,
8
+ ref,
9
+ typeParameter,
10
+ externalTypeReference,
11
+ parametrizedType,
12
+ optional,
13
+ group,
14
+ member,
15
+ aInterface,
16
+ streamconsumer,
17
+ aInterfaceMethod,
18
+ type,
19
+ string,
20
+ boolean,
21
+ sInterface,
22
+ sInterfaceMethod,
23
+ array,
24
+ imp,
25
+ } from "pareto-pure/auto.dist/public/shorthands/cosmos_type_system.sh"
26
+
27
+ import * as g_glossary from "pareto-pure/auto.dist/public/auto.glossaries/auto.cosmos__type__system"
28
+
29
+ import { $ as d_in } from "../../glossaries/text.data"
30
+ import { $ as d_out } from "../../glossaries/auto.semantic_versioning.data"
31
+
32
+ const d = pd.d
33
+
34
+ export const $: g_glossary.D.Glossary = {
35
+ 'data glossary': {
36
+ 'imports': d({
37
+ "in": imp(d_in, {}),
38
+ "out": imp(d_out, {}),
39
+ }),
40
+ 'glossary parameters': d({}),
41
+ 'root': {
42
+ 'namespaces': d({}),
43
+ 'data types': d({
44
+ }),
45
+ },
46
+ },
47
+ 'interface types': d({}),
48
+ 'algorithm types': d({
49
+ "Map Semantic Version from Text": sfunction(externalTypeReference("out", "Semantic Version"), data(externalTypeReference("in", "Text"))),
50
+ }),
51
+ }
@@ -34,8 +34,8 @@ export const $: g_glossary.D.Glossary = {
34
34
 
35
35
  "Terminal Mapping": type(dictionary(taggedUnion({
36
36
  "boolean": null_(),
37
- "number": null_(),
38
- "string": null_(),
37
+ "integer": null_(),
38
+ "text": null_(),
39
39
  }))),
40
40
  "Mapping Settings": type(group({
41
41
  "annotations": member(boolean()),
package/package.json CHANGED
@@ -7,7 +7,7 @@
7
7
  "pareto-core-bin": "^0.1.4",
8
8
  "pareto-core-data": "^0.7.3",
9
9
  "pareto-core-dev": "^0.9.1",
10
- "pareto-pure": "^0.23.0",
10
+ "pareto-pure": "^0.24.0",
11
11
  "pareto-standard-library": "^0.10.0",
12
12
  "pareto-subatomic-library": "^0.8.0"
13
13
  },
@@ -25,6 +25,6 @@
25
25
  "main": "auto.dist/index.js",
26
26
  "types": "auto.dist/index.d.ts",
27
27
  "name": "pareto",
28
- "version": "0.63.0",
29
- "content-fingerprint": "6feee6fb125ce84737607c60165b0a4506e1284e"
28
+ "version": "0.64.0",
29
+ "content-fingerprint": "06008c5938dbe0c162e46780b741002cfff70b7f"
30
30
  }