exupery 0.3.1 → 0.3.3

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 (32) hide show
  1. package/dist/implementation/algorithms/serializers/text/identifier.js +5 -6
  2. package/dist/implementation/algorithms/transformations/implementation/typescript_light.js +7 -7
  3. package/dist/implementation/algorithms/transformations/interface/typescript_light.d.ts +1 -1
  4. package/dist/implementation/algorithms/transformations/interface/typescript_light.js +14 -14
  5. package/dist/implementation/algorithms/transformations/typescript_light/fountain_pen_block.js +3 -3
  6. package/dist/implementation/generated/pareto/generic/resolve.d.ts +4 -4
  7. package/dist/implementation/generated/pareto/generic/resolve.js +2 -2
  8. package/dist/interface/generated/pareto/core/astn_source.d.ts +3 -3
  9. package/dist/interface/generated/pareto/core/astn_target.d.ts +7 -7
  10. package/dist/interface/generated/pareto/core/resolve.d.ts +2 -2
  11. package/dist/interface/generated/pareto/core/resolved.d.ts +12 -12
  12. package/dist/interface/generated/pareto/core/unconstrained.d.ts +3 -3
  13. package/dist/interface/generated/pareto/core/unresolved.d.ts +10 -10
  14. package/dist/interface/generated/pareto/schemas/implementation/data_types/source.d.ts +84 -84
  15. package/dist/interface/generated/pareto/schemas/implementation/data_types/target.d.ts +84 -84
  16. package/dist/interface/generated/pareto/schemas/typescript_light/data_types/source.d.ts +58 -58
  17. package/dist/interface/generated/pareto/schemas/typescript_light/data_types/target.d.ts +58 -58
  18. package/dist/shorthands/implementation.d.ts +18 -18
  19. package/dist/shorthands/implementation.js +2 -2
  20. package/dist/shorthands/interface.d.ts +6 -6
  21. package/dist/shorthands/interface.js +1 -1
  22. package/dist/shorthands/typescript_light.d.ts +11 -11
  23. package/dist/shorthands/typescript_light.js +2 -2
  24. package/package.json +7 -7
  25. package/dist/implementation/algorithms/operations/impure/text/create_identifier.d.ts +0 -1
  26. package/dist/implementation/algorithms/operations/impure/text/create_identifier.js +0 -259
  27. package/dist/implementation/algorithms/operations/impure/text/serialize_apostrophed_string.d.ts +0 -1
  28. package/dist/implementation/algorithms/operations/impure/text/serialize_apostrophed_string.js +0 -12
  29. package/dist/implementation/algorithms/operations/impure/text/serialize_backticked_string.d.ts +0 -1
  30. package/dist/implementation/algorithms/operations/impure/text/serialize_backticked_string.js +0 -12
  31. package/dist/implementation/algorithms/operations/impure/text/serialize_quoted_string.d.ts +0 -1
  32. package/dist/implementation/algorithms/operations/impure/text/serialize_quoted_string.js +0 -12
@@ -1,16 +1,16 @@
1
- import * as _pt from 'exupery-core-types';
1
+ import * as _et from 'exupery-core-types';
2
2
  import * as _i_core from "../../../core/resolved";
3
3
  export type _T_Block = _i_core._T_List<null, _T_Block_Part>;
4
- export type _T_Block_Part = _i_core._T_State_Group<null, readonly ['indent', _T_Group] | readonly ['nothing', null] | readonly ['optional', _pt.Optional_Value<_T_Block_Part>] | readonly ['snippet', string] | readonly ['sub block', _T_Block]>;
4
+ export type _T_Block_Part = _i_core._T_State_Group<null, readonly ['indent', _T_Group] | readonly ['nothing', null] | readonly ['optional', _et.Optional_Value<_T_Block_Part>] | readonly ['snippet', string] | readonly ['sub block', _T_Block]>;
5
5
  export type _T_Directory = _i_core._T_Dictionary<null, _i_core._T_State_Group<null, readonly ['directory', _T_Directory] | readonly ['file', _T_Group]>>;
6
6
  export type _T_Expression = _i_core._T_State_Group<null, readonly ['array literal', _i_core._T_List<null, _T_Expression>] | readonly [
7
7
  'arrow function',
8
8
  {
9
9
  readonly 'parameters': _i_core._T_List<null, {
10
10
  readonly 'name': string;
11
- readonly 'type': _pt.Optional_Value<_T_Type>;
11
+ readonly 'type': _et.Optional_Value<_T_Type>;
12
12
  }>;
13
- readonly 'return type': _pt.Optional_Value<_T_Type>;
13
+ readonly 'return type': _et.Optional_Value<_T_Type>;
14
14
  readonly 'type': _i_core._T_State_Group<null, readonly ['block', _T_Statements] | readonly ['expression', _T_Expression]>;
15
15
  }
16
16
  ] | readonly [
@@ -26,7 +26,7 @@ export type _T_Expression = _i_core._T_State_Group<null, readonly ['array litera
26
26
  }
27
27
  ] | readonly ['string literal', _T_String_Literal] | readonly ['true', null]>;
28
28
  export type _T_Group = _i_core._T_List<null, _T_Group_Part>;
29
- export type _T_Group_Part = _i_core._T_State_Group<null, readonly ['block', string] | readonly ['nested block', _T_Block] | readonly ['nothing', null] | readonly ['optional', _pt.Optional_Value<_T_Group_Part>] | readonly ['sub group', _T_Group]>;
29
+ export type _T_Group_Part = _i_core._T_State_Group<null, readonly ['block', string] | readonly ['nested block', _T_Block] | readonly ['nothing', null] | readonly ['optional', _et.Optional_Value<_T_Group_Part>] | readonly ['sub group', _T_Group]>;
30
30
  export type _T_Lines = _i_core._T_List<null, {
31
31
  readonly 'indentation': number;
32
32
  readonly 'text': string;
@@ -62,9 +62,9 @@ export type _T_Statements = _i_core._T_List<null, _i_core._T_State_Group<null, r
62
62
  {
63
63
  readonly 'const': boolean;
64
64
  readonly 'export': boolean;
65
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
65
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
66
66
  readonly 'name': string;
67
- readonly 'type': _pt.Optional_Value<_T_Type>;
67
+ readonly 'type': _et.Optional_Value<_T_Type>;
68
68
  }
69
69
  ]>>;
70
70
  export type _T_String_Literal = {
@@ -76,7 +76,7 @@ export type _T_Type = _i_core._T_State_Group<null, readonly ['boolean', null] |
76
76
  {
77
77
  readonly 'parameters': _i_core._T_List<null, {
78
78
  readonly 'name': string;
79
- readonly 'type': _pt.Optional_Value<_T_Type>;
79
+ readonly 'type': _et.Optional_Value<_T_Type>;
80
80
  }>;
81
81
  readonly 'return': _T_Type;
82
82
  readonly 'type parameters': _i_core._T_List<null, string>;
@@ -129,13 +129,13 @@ export declare namespace _T_Block_Part {
129
129
  }
130
130
  type O = _T_Block_Part;
131
131
  }
132
- type optional = _pt.Optional_Value<_T_Block_Part>;
132
+ type optional = _et.Optional_Value<_T_Block_Part>;
133
133
  type snippet = string;
134
134
  namespace sub_block {
135
135
  }
136
136
  type sub_block = _T_Block;
137
137
  }
138
- type SG = readonly ['indent', _T_Group] | readonly ['nothing', null] | readonly ['optional', _pt.Optional_Value<_T_Block_Part>] | readonly ['snippet', string] | readonly ['sub block', _T_Block];
138
+ type SG = readonly ['indent', _T_Group] | readonly ['nothing', null] | readonly ['optional', _et.Optional_Value<_T_Block_Part>] | readonly ['snippet', string] | readonly ['sub block', _T_Block];
139
139
  }
140
140
  export declare namespace _T_Directory {
141
141
  namespace D {
@@ -168,23 +168,23 @@ export declare namespace _T_Expression {
168
168
  }
169
169
  type O = _T_Type;
170
170
  }
171
- type _type = _pt.Optional_Value<_T_Type>;
171
+ type _type = _et.Optional_Value<_T_Type>;
172
172
  }
173
173
  type L = {
174
174
  readonly 'name': string;
175
- readonly 'type': _pt.Optional_Value<_T_Type>;
175
+ readonly 'type': _et.Optional_Value<_T_Type>;
176
176
  };
177
177
  }
178
178
  type parameters = _i_core._T_List<null, {
179
179
  readonly 'name': string;
180
- readonly 'type': _pt.Optional_Value<_T_Type>;
180
+ readonly 'type': _et.Optional_Value<_T_Type>;
181
181
  }>;
182
182
  namespace return_type {
183
183
  namespace O {
184
184
  }
185
185
  type O = _T_Type;
186
186
  }
187
- type return_type = _pt.Optional_Value<_T_Type>;
187
+ type return_type = _et.Optional_Value<_T_Type>;
188
188
  namespace _type {
189
189
  namespace SG {
190
190
  namespace block {
@@ -201,9 +201,9 @@ export declare namespace _T_Expression {
201
201
  type arrow_function = {
202
202
  readonly 'parameters': _i_core._T_List<null, {
203
203
  readonly 'name': string;
204
- readonly 'type': _pt.Optional_Value<_T_Type>;
204
+ readonly 'type': _et.Optional_Value<_T_Type>;
205
205
  }>;
206
- readonly 'return type': _pt.Optional_Value<_T_Type>;
206
+ readonly 'return type': _et.Optional_Value<_T_Type>;
207
207
  readonly 'type': _i_core._T_State_Group<null, readonly ['block', _T_Statements] | readonly ['expression', _T_Expression]>;
208
208
  };
209
209
  namespace call {
@@ -245,9 +245,9 @@ export declare namespace _T_Expression {
245
245
  {
246
246
  readonly 'parameters': _i_core._T_List<null, {
247
247
  readonly 'name': string;
248
- readonly 'type': _pt.Optional_Value<_T_Type>;
248
+ readonly 'type': _et.Optional_Value<_T_Type>;
249
249
  }>;
250
- readonly 'return type': _pt.Optional_Value<_T_Type>;
250
+ readonly 'return type': _et.Optional_Value<_T_Type>;
251
251
  readonly 'type': _i_core._T_State_Group<null, readonly ['block', _T_Statements] | readonly ['expression', _T_Expression]>;
252
252
  }
253
253
  ] | readonly [
@@ -280,12 +280,12 @@ export declare namespace _T_Group_Part {
280
280
  }
281
281
  type O = _T_Group_Part;
282
282
  }
283
- type optional = _pt.Optional_Value<_T_Group_Part>;
283
+ type optional = _et.Optional_Value<_T_Group_Part>;
284
284
  namespace sub_group {
285
285
  }
286
286
  type sub_group = _T_Group;
287
287
  }
288
- type SG = readonly ['block', string] | readonly ['nested block', _T_Block] | readonly ['nothing', null] | readonly ['optional', _pt.Optional_Value<_T_Group_Part>] | readonly ['sub group', _T_Group];
288
+ type SG = readonly ['block', string] | readonly ['nested block', _T_Block] | readonly ['nothing', null] | readonly ['optional', _et.Optional_Value<_T_Group_Part>] | readonly ['sub group', _T_Group];
289
289
  }
290
290
  export declare namespace _T_Lines {
291
291
  namespace L {
@@ -375,21 +375,21 @@ export declare namespace _T_Statements {
375
375
  }
376
376
  type O = _T_Expression;
377
377
  }
378
- type expression = _pt.Optional_Value<_T_Expression>;
378
+ type expression = _et.Optional_Value<_T_Expression>;
379
379
  type name = string;
380
380
  namespace _type {
381
381
  namespace O {
382
382
  }
383
383
  type O = _T_Type;
384
384
  }
385
- type _type = _pt.Optional_Value<_T_Type>;
385
+ type _type = _et.Optional_Value<_T_Type>;
386
386
  }
387
387
  type variable = {
388
388
  readonly 'const': boolean;
389
389
  readonly 'export': boolean;
390
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
390
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
391
391
  readonly 'name': string;
392
- readonly 'type': _pt.Optional_Value<_T_Type>;
392
+ readonly 'type': _et.Optional_Value<_T_Type>;
393
393
  };
394
394
  }
395
395
  type SG = readonly [
@@ -423,9 +423,9 @@ export declare namespace _T_Statements {
423
423
  {
424
424
  readonly 'const': boolean;
425
425
  readonly 'export': boolean;
426
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
426
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
427
427
  readonly 'name': string;
428
- readonly 'type': _pt.Optional_Value<_T_Type>;
428
+ readonly 'type': _et.Optional_Value<_T_Type>;
429
429
  }
430
430
  ];
431
431
  }
@@ -460,9 +460,9 @@ export declare namespace _T_Statements {
460
460
  {
461
461
  readonly 'const': boolean;
462
462
  readonly 'export': boolean;
463
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
463
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
464
464
  readonly 'name': string;
465
- readonly 'type': _pt.Optional_Value<_T_Type>;
465
+ readonly 'type': _et.Optional_Value<_T_Type>;
466
466
  }
467
467
  ]>;
468
468
  }
@@ -489,16 +489,16 @@ export declare namespace _T_Type {
489
489
  }
490
490
  type O = _T_Type;
491
491
  }
492
- type _type = _pt.Optional_Value<_T_Type>;
492
+ type _type = _et.Optional_Value<_T_Type>;
493
493
  }
494
494
  type L = {
495
495
  readonly 'name': string;
496
- readonly 'type': _pt.Optional_Value<_T_Type>;
496
+ readonly 'type': _et.Optional_Value<_T_Type>;
497
497
  };
498
498
  }
499
499
  type parameters = _i_core._T_List<null, {
500
500
  readonly 'name': string;
501
- readonly 'type': _pt.Optional_Value<_T_Type>;
501
+ readonly 'type': _et.Optional_Value<_T_Type>;
502
502
  }>;
503
503
  namespace _return {
504
504
  }
@@ -511,7 +511,7 @@ export declare namespace _T_Type {
511
511
  type _function = {
512
512
  readonly 'parameters': _i_core._T_List<null, {
513
513
  readonly 'name': string;
514
- readonly 'type': _pt.Optional_Value<_T_Type>;
514
+ readonly 'type': _et.Optional_Value<_T_Type>;
515
515
  }>;
516
516
  readonly 'return': _T_Type;
517
517
  readonly 'type parameters': _i_core._T_List<null, string>;
@@ -590,7 +590,7 @@ export declare namespace _T_Type {
590
590
  {
591
591
  readonly 'parameters': _i_core._T_List<null, {
592
592
  readonly 'name': string;
593
- readonly 'type': _pt.Optional_Value<_T_Type>;
593
+ readonly 'type': _et.Optional_Value<_T_Type>;
594
594
  }>;
595
595
  readonly 'return': _T_Type;
596
596
  readonly 'type parameters': _i_core._T_List<null, string>;
@@ -634,13 +634,13 @@ export declare namespace Block_Part {
634
634
  }
635
635
  type O = _T_Block_Part;
636
636
  }
637
- type optional = _pt.Optional_Value<_T_Block_Part>;
637
+ type optional = _et.Optional_Value<_T_Block_Part>;
638
638
  type snippet = string;
639
639
  namespace sub_block {
640
640
  }
641
641
  type sub_block = _T_Block;
642
642
  }
643
- type SG = readonly ['indent', _T_Group] | readonly ['nothing', null] | readonly ['optional', _pt.Optional_Value<_T_Block_Part>] | readonly ['snippet', string] | readonly ['sub block', _T_Block];
643
+ type SG = readonly ['indent', _T_Group] | readonly ['nothing', null] | readonly ['optional', _et.Optional_Value<_T_Block_Part>] | readonly ['snippet', string] | readonly ['sub block', _T_Block];
644
644
  }
645
645
  export declare namespace Directory {
646
646
  namespace D {
@@ -673,23 +673,23 @@ export declare namespace Expression {
673
673
  }
674
674
  type O = _T_Type;
675
675
  }
676
- type _type = _pt.Optional_Value<_T_Type>;
676
+ type _type = _et.Optional_Value<_T_Type>;
677
677
  }
678
678
  type L = {
679
679
  readonly 'name': string;
680
- readonly 'type': _pt.Optional_Value<_T_Type>;
680
+ readonly 'type': _et.Optional_Value<_T_Type>;
681
681
  };
682
682
  }
683
683
  type parameters = _i_core._T_List<null, {
684
684
  readonly 'name': string;
685
- readonly 'type': _pt.Optional_Value<_T_Type>;
685
+ readonly 'type': _et.Optional_Value<_T_Type>;
686
686
  }>;
687
687
  namespace return_type {
688
688
  namespace O {
689
689
  }
690
690
  type O = _T_Type;
691
691
  }
692
- type return_type = _pt.Optional_Value<_T_Type>;
692
+ type return_type = _et.Optional_Value<_T_Type>;
693
693
  namespace _type {
694
694
  namespace SG {
695
695
  namespace block {
@@ -706,9 +706,9 @@ export declare namespace Expression {
706
706
  type arrow_function = {
707
707
  readonly 'parameters': _i_core._T_List<null, {
708
708
  readonly 'name': string;
709
- readonly 'type': _pt.Optional_Value<_T_Type>;
709
+ readonly 'type': _et.Optional_Value<_T_Type>;
710
710
  }>;
711
- readonly 'return type': _pt.Optional_Value<_T_Type>;
711
+ readonly 'return type': _et.Optional_Value<_T_Type>;
712
712
  readonly 'type': _i_core._T_State_Group<null, readonly ['block', _T_Statements] | readonly ['expression', _T_Expression]>;
713
713
  };
714
714
  namespace call {
@@ -750,9 +750,9 @@ export declare namespace Expression {
750
750
  {
751
751
  readonly 'parameters': _i_core._T_List<null, {
752
752
  readonly 'name': string;
753
- readonly 'type': _pt.Optional_Value<_T_Type>;
753
+ readonly 'type': _et.Optional_Value<_T_Type>;
754
754
  }>;
755
- readonly 'return type': _pt.Optional_Value<_T_Type>;
755
+ readonly 'return type': _et.Optional_Value<_T_Type>;
756
756
  readonly 'type': _i_core._T_State_Group<null, readonly ['block', _T_Statements] | readonly ['expression', _T_Expression]>;
757
757
  }
758
758
  ] | readonly [
@@ -785,12 +785,12 @@ export declare namespace Group_Part {
785
785
  }
786
786
  type O = _T_Group_Part;
787
787
  }
788
- type optional = _pt.Optional_Value<_T_Group_Part>;
788
+ type optional = _et.Optional_Value<_T_Group_Part>;
789
789
  namespace sub_group {
790
790
  }
791
791
  type sub_group = _T_Group;
792
792
  }
793
- type SG = readonly ['block', string] | readonly ['nested block', _T_Block] | readonly ['nothing', null] | readonly ['optional', _pt.Optional_Value<_T_Group_Part>] | readonly ['sub group', _T_Group];
793
+ type SG = readonly ['block', string] | readonly ['nested block', _T_Block] | readonly ['nothing', null] | readonly ['optional', _et.Optional_Value<_T_Group_Part>] | readonly ['sub group', _T_Group];
794
794
  }
795
795
  export declare namespace Lines {
796
796
  namespace L {
@@ -880,21 +880,21 @@ export declare namespace Statements {
880
880
  }
881
881
  type O = _T_Expression;
882
882
  }
883
- type expression = _pt.Optional_Value<_T_Expression>;
883
+ type expression = _et.Optional_Value<_T_Expression>;
884
884
  type name = string;
885
885
  namespace _type {
886
886
  namespace O {
887
887
  }
888
888
  type O = _T_Type;
889
889
  }
890
- type _type = _pt.Optional_Value<_T_Type>;
890
+ type _type = _et.Optional_Value<_T_Type>;
891
891
  }
892
892
  type variable = {
893
893
  readonly 'const': boolean;
894
894
  readonly 'export': boolean;
895
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
895
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
896
896
  readonly 'name': string;
897
- readonly 'type': _pt.Optional_Value<_T_Type>;
897
+ readonly 'type': _et.Optional_Value<_T_Type>;
898
898
  };
899
899
  }
900
900
  type SG = readonly [
@@ -928,9 +928,9 @@ export declare namespace Statements {
928
928
  {
929
929
  readonly 'const': boolean;
930
930
  readonly 'export': boolean;
931
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
931
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
932
932
  readonly 'name': string;
933
- readonly 'type': _pt.Optional_Value<_T_Type>;
933
+ readonly 'type': _et.Optional_Value<_T_Type>;
934
934
  }
935
935
  ];
936
936
  }
@@ -965,9 +965,9 @@ export declare namespace Statements {
965
965
  {
966
966
  readonly 'const': boolean;
967
967
  readonly 'export': boolean;
968
- readonly 'expression': _pt.Optional_Value<_T_Expression>;
968
+ readonly 'expression': _et.Optional_Value<_T_Expression>;
969
969
  readonly 'name': string;
970
- readonly 'type': _pt.Optional_Value<_T_Type>;
970
+ readonly 'type': _et.Optional_Value<_T_Type>;
971
971
  }
972
972
  ]>;
973
973
  }
@@ -994,16 +994,16 @@ export declare namespace Type {
994
994
  }
995
995
  type O = _T_Type;
996
996
  }
997
- type _type = _pt.Optional_Value<_T_Type>;
997
+ type _type = _et.Optional_Value<_T_Type>;
998
998
  }
999
999
  type L = {
1000
1000
  readonly 'name': string;
1001
- readonly 'type': _pt.Optional_Value<_T_Type>;
1001
+ readonly 'type': _et.Optional_Value<_T_Type>;
1002
1002
  };
1003
1003
  }
1004
1004
  type parameters = _i_core._T_List<null, {
1005
1005
  readonly 'name': string;
1006
- readonly 'type': _pt.Optional_Value<_T_Type>;
1006
+ readonly 'type': _et.Optional_Value<_T_Type>;
1007
1007
  }>;
1008
1008
  namespace _return {
1009
1009
  }
@@ -1016,7 +1016,7 @@ export declare namespace Type {
1016
1016
  type _function = {
1017
1017
  readonly 'parameters': _i_core._T_List<null, {
1018
1018
  readonly 'name': string;
1019
- readonly 'type': _pt.Optional_Value<_T_Type>;
1019
+ readonly 'type': _et.Optional_Value<_T_Type>;
1020
1020
  }>;
1021
1021
  readonly 'return': _T_Type;
1022
1022
  readonly 'type parameters': _i_core._T_List<null, string>;
@@ -1095,7 +1095,7 @@ export declare namespace Type {
1095
1095
  {
1096
1096
  readonly 'parameters': _i_core._T_List<null, {
1097
1097
  readonly 'name': string;
1098
- readonly 'type': _pt.Optional_Value<_T_Type>;
1098
+ readonly 'type': _et.Optional_Value<_T_Type>;
1099
1099
  }>;
1100
1100
  readonly 'return': _T_Type;
1101
1101
  readonly 'type parameters': _i_core._T_List<null, string>;