@shaclmate/compiler 4.0.38 → 4.0.39

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 (161) hide show
  1. package/dist/ShapesGraphToAstTransformer.js +12 -12
  2. package/dist/_ShapesGraphToAstTransformer/transformPropertyShapeToAstObjectTypeProperty.js +24 -24
  3. package/dist/_ShapesGraphToAstTransformer/transformShapeToAstCompoundType.js +4 -4
  4. package/dist/_ShapesGraphToAstTransformer/transformShapeToAstListType.js +1 -1
  5. package/dist/_ShapesGraphToAstTransformer/transformShapeToAstObjectType.js +16 -16
  6. package/dist/_ShapesGraphToAstTransformer/transformShapeToAstTermType.js +1 -1
  7. package/dist/ast/AbstractCollectionType.d.ts +1 -1
  8. package/dist/ast/AbstractCompoundType.d.ts +1 -1
  9. package/dist/ast/AbstractCompoundType.js +15 -15
  10. package/dist/ast/AbstractContainerType.d.ts +1 -1
  11. package/dist/ast/AbstractContainerType.js +15 -15
  12. package/dist/ast/AbstractLazyObjectType.d.ts +1 -1
  13. package/dist/ast/AbstractTermType.d.ts +1 -1
  14. package/dist/ast/BlankNodeType.d.ts +1 -1
  15. package/dist/ast/BlankNodeType.js +1 -1
  16. package/dist/ast/DefaultValueType.d.ts +1 -1
  17. package/dist/ast/DefaultValueType.js +2 -2
  18. package/dist/ast/IdentifierType.d.ts +1 -1
  19. package/dist/ast/IdentifierType.js +1 -1
  20. package/dist/ast/IntersectionType.d.ts +1 -1
  21. package/dist/ast/IntersectionType.js +3 -3
  22. package/dist/ast/IriType.d.ts +1 -1
  23. package/dist/ast/IriType.js +1 -1
  24. package/dist/ast/LazyObjectOptionType.d.ts +1 -1
  25. package/dist/ast/LazyObjectOptionType.js +1 -1
  26. package/dist/ast/LazyObjectSetType.d.ts +1 -1
  27. package/dist/ast/LazyObjectSetType.js +1 -1
  28. package/dist/ast/LazyObjectType.d.ts +1 -1
  29. package/dist/ast/LazyObjectType.js +1 -1
  30. package/dist/ast/ListType.d.ts +1 -1
  31. package/dist/ast/ListType.js +16 -16
  32. package/dist/ast/LiteralType.d.ts +1 -1
  33. package/dist/ast/LiteralType.js +1 -1
  34. package/dist/ast/ObjectCompoundType.js +3 -3
  35. package/dist/ast/ObjectType.d.ts +1 -1
  36. package/dist/ast/ObjectType.js +16 -16
  37. package/dist/ast/OptionType.d.ts +1 -1
  38. package/dist/ast/OptionType.js +1 -1
  39. package/dist/ast/SetType.d.ts +1 -1
  40. package/dist/ast/SetType.js +1 -1
  41. package/dist/ast/TermType.d.ts +1 -1
  42. package/dist/ast/TermType.js +1 -1
  43. package/dist/ast/Type.js +15 -15
  44. package/dist/ast/UnionType.d.ts +1 -1
  45. package/dist/ast/UnionType.js +3 -3
  46. package/dist/generators/transformAstToLabeledPropertyGraph.js +10 -10
  47. package/dist/generators/ts/AbstractCollectionType.d.ts +1 -5
  48. package/dist/generators/ts/AbstractCollectionType.js +6 -5
  49. package/dist/generators/ts/AbstractContainerType.d.ts +3 -6
  50. package/dist/generators/ts/AbstractContainerType.js +34 -34
  51. package/dist/generators/ts/AbstractDateType.d.ts +1 -1
  52. package/dist/generators/ts/AbstractIdentifierType.d.ts +1 -1
  53. package/dist/generators/ts/AbstractLazyObjectType.d.ts +7 -10
  54. package/dist/generators/ts/AbstractLazyObjectType.js +20 -32
  55. package/dist/generators/ts/AbstractLiteralType.d.ts +1 -5
  56. package/dist/generators/ts/AbstractLiteralType.js +7 -6
  57. package/dist/generators/ts/AbstractNumericType.d.ts +1 -1
  58. package/dist/generators/ts/AbstractPrimitiveType.d.ts +2 -6
  59. package/dist/generators/ts/AbstractPrimitiveType.js +7 -8
  60. package/dist/generators/ts/AbstractTermType.d.ts +1 -5
  61. package/dist/generators/ts/AbstractTermType.js +1 -15
  62. package/dist/generators/ts/AbstractType.d.ts +7 -5
  63. package/dist/generators/ts/AbstractType.js +12 -7
  64. package/dist/generators/ts/AbstractUnionType.d.ts +7 -10
  65. package/dist/generators/ts/AbstractUnionType.js +70 -81
  66. package/dist/generators/ts/AnonymousUnionType.d.ts +1 -1
  67. package/dist/generators/ts/AnonymousUnionType.js +1 -1
  68. package/dist/generators/ts/BigDecimalType.d.ts +1 -1
  69. package/dist/generators/ts/BigDecimalType.js +1 -1
  70. package/dist/generators/ts/BigIntType.d.ts +1 -1
  71. package/dist/generators/ts/BigIntType.js +1 -1
  72. package/dist/generators/ts/BlankNodeType.d.ts +1 -1
  73. package/dist/generators/ts/BlankNodeType.js +1 -1
  74. package/dist/generators/ts/BooleanType.d.ts +1 -1
  75. package/dist/generators/ts/BooleanType.js +2 -2
  76. package/dist/generators/ts/DateTimeType.d.ts +1 -1
  77. package/dist/generators/ts/DateTimeType.js +1 -1
  78. package/dist/generators/ts/DateType.d.ts +1 -1
  79. package/dist/generators/ts/DateType.js +1 -1
  80. package/dist/generators/ts/DefaultValueType.d.ts +2 -6
  81. package/dist/generators/ts/DefaultValueType.js +12 -15
  82. package/dist/generators/ts/FloatType.d.ts +1 -1
  83. package/dist/generators/ts/FloatType.js +1 -1
  84. package/dist/generators/ts/IdentifierType.d.ts +1 -1
  85. package/dist/generators/ts/IdentifierType.js +1 -1
  86. package/dist/generators/ts/IntType.d.ts +1 -1
  87. package/dist/generators/ts/IntType.js +1 -1
  88. package/dist/generators/ts/IriType.d.ts +3 -1
  89. package/dist/generators/ts/IriType.js +22 -17
  90. package/dist/generators/ts/LazyObjectOptionType.d.ts +1 -1
  91. package/dist/generators/ts/LazyObjectOptionType.js +1 -1
  92. package/dist/generators/ts/LazyObjectSetType.d.ts +1 -1
  93. package/dist/generators/ts/LazyObjectSetType.js +1 -1
  94. package/dist/generators/ts/LazyObjectType.d.ts +1 -1
  95. package/dist/generators/ts/LazyObjectType.js +1 -1
  96. package/dist/generators/ts/ListType.d.ts +1 -1
  97. package/dist/generators/ts/ListType.js +24 -24
  98. package/dist/generators/ts/LiteralType.d.ts +2 -1
  99. package/dist/generators/ts/LiteralType.js +9 -2
  100. package/dist/generators/ts/NamedObjectType.d.ts +1 -0
  101. package/dist/generators/ts/NamedObjectType.js +2 -1
  102. package/dist/generators/ts/NamedObjectUnionType.d.ts +1 -1
  103. package/dist/generators/ts/NamedObjectUnionType.js +6 -8
  104. package/dist/generators/ts/NamedUnionType.d.ts +1 -1
  105. package/dist/generators/ts/NamedUnionType.js +1 -1
  106. package/dist/generators/ts/OptionType.d.ts +1 -5
  107. package/dist/generators/ts/OptionType.js +2 -8
  108. package/dist/generators/ts/RdfjsDatasetObjectSetType.js +1 -1
  109. package/dist/generators/ts/SetType.d.ts +1 -1
  110. package/dist/generators/ts/SetType.js +1 -1
  111. package/dist/generators/ts/Snippets.d.ts +1 -0
  112. package/dist/generators/ts/Snippets.js +7 -0
  113. package/dist/generators/ts/StringType.d.ts +1 -1
  114. package/dist/generators/ts/StringType.js +2 -2
  115. package/dist/generators/ts/TermType.d.ts +1 -1
  116. package/dist/generators/ts/TermType.js +1 -1
  117. package/dist/generators/ts/TypeFactory.js +18 -18
  118. package/dist/generators/ts/ZodGenerator.js +1 -1
  119. package/dist/generators/ts/_NamedObjectType/AbstractProperty.d.ts +7 -7
  120. package/dist/generators/ts/_NamedObjectType/AbstractProperty.js +8 -11
  121. package/dist/generators/ts/_NamedObjectType/DiscriminantProperty.d.ts +2 -1
  122. package/dist/generators/ts/_NamedObjectType/DiscriminantProperty.js +16 -7
  123. package/dist/generators/ts/_NamedObjectType/IdentifierProperty.d.ts +2 -1
  124. package/dist/generators/ts/_NamedObjectType/IdentifierProperty.js +6 -3
  125. package/dist/generators/ts/_NamedObjectType/NamedObjectType_equalsFunctionDeclaration.js +1 -1
  126. package/dist/generators/ts/_NamedObjectType/NamedObjectType_fromRdfResourceFunctionDeclaration.js +3 -27
  127. package/dist/generators/ts/_NamedObjectType/NamedObjectType_hashFunctionDeclarations.js +2 -2
  128. package/dist/generators/ts/_NamedObjectType/NamedObjectType_interfaceDeclaration.js +1 -1
  129. package/dist/generators/ts/_NamedObjectType/NamedObjectType_schemaVariableStatement.js +1 -1
  130. package/dist/generators/ts/_NamedObjectType/ShaclProperty.d.ts +2 -6
  131. package/dist/generators/ts/_NamedObjectType/ShaclProperty.js +19 -23
  132. package/dist/generators/ts/_snippets/snippets_BooleanSchema.js +2 -2
  133. package/dist/generators/ts/_snippets/snippets_CollectionSchema.js +1 -1
  134. package/dist/generators/ts/_snippets/snippets_DefaultValueSchema.js +1 -1
  135. package/dist/generators/ts/_snippets/snippets_IriSchema.js +2 -2
  136. package/dist/generators/ts/_snippets/snippets_MaybeSchema.js +2 -2
  137. package/dist/generators/ts/_snippets/snippets_ShaclPropertySchema.js +1 -1
  138. package/dist/generators/ts/_snippets/snippets_StringSchema.js +2 -2
  139. package/dist/generators/ts/_snippets/snippets_booleanSparqlWherePatterns.js +1 -1
  140. package/dist/generators/ts/_snippets/snippets_convertToIri.js +1 -1
  141. package/dist/generators/ts/_snippets/snippets_defaultValueSparqlWherePatterns.js +1 -1
  142. package/dist/generators/ts/_snippets/snippets_ensureRdfResourceType.d.ts +3 -0
  143. package/dist/generators/ts/_snippets/snippets_ensureRdfResourceType.js +16 -0
  144. package/dist/generators/ts/_snippets/snippets_iriSparqlWherePatterns.js +1 -1
  145. package/dist/generators/ts/_snippets/snippets_listSparqlConstructTriples.js +2 -2
  146. package/dist/generators/ts/_snippets/snippets_listSparqlWherePatterns.js +2 -2
  147. package/dist/generators/ts/_snippets/snippets_maybeSparqlConstructTriples.js +1 -1
  148. package/dist/generators/ts/_snippets/snippets_maybeSparqlWherePatterns.js +3 -3
  149. package/dist/generators/ts/_snippets/snippets_setSparqlConstructTriples.js +1 -1
  150. package/dist/generators/ts/_snippets/snippets_setSparqlWherePatterns.js +1 -1
  151. package/dist/generators/ts/_snippets/snippets_shaclPropertySparqlConstructTriples.js +1 -1
  152. package/dist/generators/ts/_snippets/snippets_shaclPropertySparqlWherePatterns.js +1 -1
  153. package/dist/generators/ts/_snippets/snippets_stringSparqlWherePatterns.js +1 -1
  154. package/dist/generators/ts/_snippets/snippets_validateArray.js +1 -1
  155. package/dist/generators/ts/_snippets/snippets_validateMaybe.js +1 -1
  156. package/dist/generators/ts/tsComment.js +1 -1
  157. package/dist/input/generated.d.ts +1397 -1466
  158. package/dist/input/generated.js +516 -653
  159. package/package.json +2 -2
  160. package/dist/generators/ts/removeUndefined.d.ts +0 -2
  161. package/dist/generators/ts/removeUndefined.js +0 -17
@@ -103,24 +103,24 @@ export class ShapesGraphToAstTransformer {
103
103
  }
104
104
  const nodeShapeAstType = nodeShapeAstTypeEither.unsafeCoerce();
105
105
  switch (nodeShapeAstType.kind) {
106
- case "IntersectionType":
106
+ case "Intersection":
107
107
  if (nodeShapeAstType.name.isJust()) {
108
108
  astNamedIntersectionTypes.push(nodeShapeAstType);
109
109
  }
110
110
  break;
111
- case "ObjectType": {
111
+ case "Object": {
112
112
  invariant(nodeShapeAstType.name.isJust(), `node shape missing name: ${nodeShapeAstType.shapeIdentifier}`);
113
113
  astObjectTypes.push(nodeShapeAstType);
114
114
  for (const property of nodeShapeAstType.properties) {
115
115
  switch (property.type.kind) {
116
- case "LazyObjectOptionType":
117
- case "LazyObjectSetType":
118
- case "LazyObjectType": {
119
- const partialItemType = property.type.partialType.kind === "ObjectType" ||
120
- property.type.partialType.kind === "UnionType"
116
+ case "LazyObjectOption":
117
+ case "LazyObjectSet":
118
+ case "LazyObject": {
119
+ const partialItemType = property.type.partialType.kind === "Object" ||
120
+ property.type.partialType.kind === "Union"
121
121
  ? property.type.partialType
122
122
  : property.type.partialType.itemType;
123
- if (partialItemType.kind === "ObjectType" &&
123
+ if (partialItemType.kind === "Object" &&
124
124
  partialItemType.synthetic) {
125
125
  const partialItemTypeName = partialItemType.name.unsafeCoerce();
126
126
  if (!syntheticAstObjectTypesByName[partialItemTypeName]) {
@@ -133,7 +133,7 @@ export class ShapesGraphToAstTransformer {
133
133
  }
134
134
  break;
135
135
  }
136
- case "UnionType":
136
+ case "Union":
137
137
  if (nodeShapeAstType.name.isJust()) {
138
138
  astNamedUnionTypes.push(nodeShapeAstType);
139
139
  }
@@ -145,9 +145,9 @@ export class ShapesGraphToAstTransformer {
145
145
  return Either.of({
146
146
  lazyTypesCount: [...this.cachedAstTypesByShapeIdentifier.values()].reduce((acc, astType) => {
147
147
  switch (astType.kind) {
148
- case "LazyObjectType":
149
- case "LazyObjectOptionType":
150
- case "LazyObjectSetType":
148
+ case "LazyObject":
149
+ case "LazyObjectOption":
150
+ case "LazyObjectSet":
151
151
  return acc + 1;
152
152
  default:
153
153
  return acc;
@@ -9,12 +9,12 @@ import { transformShapeToAstType } from "./transformShapeToAstType.js";
9
9
  function synthesizePartialAstObjectType({ identifierType, }) {
10
10
  let syntheticName;
11
11
  switch (identifierType.kind) {
12
- case "BlankNodeType":
12
+ case "BlankNode":
13
13
  throw new Error("should never happen");
14
- case "IdentifierType":
14
+ case "Identifier":
15
15
  syntheticName = "DefaultPartial";
16
16
  break;
17
- case "IriType":
17
+ case "Iri":
18
18
  syntheticName = "NamedDefaultPartial";
19
19
  break;
20
20
  }
@@ -92,7 +92,7 @@ function transformPropertyShapeToAstType(propertyShape, shapeStack) {
92
92
  if (maxCount < minCount) {
93
93
  maxCount = minCount;
94
94
  }
95
- if (propertyShapeAstType.kind === "DefaultValueType") {
95
+ if (propertyShapeAstType.kind === "DefaultValue") {
96
96
  if (minCount > 0n) {
97
97
  return Left(new Error(`${propertyShape}: has sh:minCount > 0 and sh:defaultValue`));
98
98
  }
@@ -135,9 +135,9 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
135
135
  .call(this, propertyShapeResolve.unsafeCoerce(), shapeStack)
136
136
  .chain((astResolveType) => {
137
137
  switch (astResolveType.kind) {
138
- case "ObjectType":
138
+ case "Object":
139
139
  return Either.of(astResolveType);
140
- case "UnionType":
140
+ case "Union":
141
141
  if (
142
142
  // This check relies on .members being populated, which may not happen in cycles
143
143
  astResolveType.members.length > 0 &&
@@ -157,15 +157,15 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
157
157
  if (astResolveItemType) {
158
158
  let astItemType;
159
159
  switch (astType.kind) {
160
- case "DefaultValueType":
161
- case "OptionType":
162
- case "SetType":
160
+ case "DefaultValue":
161
+ case "Option":
162
+ case "Set":
163
163
  astItemType = astType.itemType;
164
164
  break;
165
- case "LazyObjectOptionType":
166
- case "LazyObjectSetType":
165
+ case "LazyObjectOption":
166
+ case "LazyObjectSet":
167
167
  // biome-ignore lint/suspicious/noFallthroughSwitchClause: break is unreachable
168
- case "LazyObjectType":
168
+ case "LazyObject":
169
169
  invariant(false, `lazy types should not appear here: ${astType.kind}`);
170
170
  default:
171
171
  astItemType = astType;
@@ -173,17 +173,17 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
173
173
  }
174
174
  let astPartialItemType;
175
175
  switch (astItemType.kind) {
176
- case "BlankNodeType":
177
- case "IdentifierType":
178
- case "IriType":
176
+ case "BlankNode":
177
+ case "Identifier":
178
+ case "Iri":
179
179
  astPartialItemType = synthesizePartialAstObjectType({
180
180
  identifierType: astItemType,
181
181
  });
182
182
  break;
183
- case "ObjectType":
183
+ case "Object":
184
184
  astPartialItemType = astItemType;
185
185
  break;
186
- case "UnionType":
186
+ case "Union":
187
187
  if (!astItemType.isObjectUnionType()) {
188
188
  return Left(new Error(`${propertyShape} partial type cannot be a ${astItemType.kind} with non-ObjectType members`));
189
189
  }
@@ -199,18 +199,18 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
199
199
  shapeIdentifier: propertyShape.$identifier(),
200
200
  };
201
201
  switch (astType.kind) {
202
- case "BlankNodeType":
203
- case "IdentifierType":
204
- case "IriType":
205
- case "ObjectType":
206
- case "UnionType":
202
+ case "BlankNode":
203
+ case "Identifier":
204
+ case "Iri":
205
+ case "Object":
206
+ case "Union":
207
207
  astType = new ast.LazyObjectType({
208
208
  ...astAbstractTypeProperties,
209
209
  partialType: astPartialItemType,
210
210
  resolveType: astResolveItemType,
211
211
  });
212
212
  break;
213
- case "OptionType":
213
+ case "Option":
214
214
  astType = new ast.LazyObjectOptionType({
215
215
  ...astAbstractTypeProperties,
216
216
  partialType: new ast.OptionType({
@@ -221,7 +221,7 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
221
221
  }),
222
222
  });
223
223
  break;
224
- case "SetType":
224
+ case "Set":
225
225
  astType = new ast.LazyObjectSetType({
226
226
  ...astAbstractTypeProperties,
227
227
  partialType: new ast.SetType({
@@ -21,18 +21,18 @@ export function transformShapeToAstCompoundType(shape, shapeStack) {
21
21
  let memberShapes;
22
22
  if (andConstraintShapes.length > 0) {
23
23
  memberShapes = andConstraintShapes;
24
- compoundTypeKind = "IntersectionType";
24
+ compoundTypeKind = "Intersection";
25
25
  }
26
26
  else if (xoneConstraintShapes.length > 0) {
27
27
  memberShapes = xoneConstraintShapes;
28
- compoundTypeKind = "UnionType";
28
+ compoundTypeKind = "Union";
29
29
  }
30
30
  else {
31
31
  return Either.of(Maybe.empty());
32
32
  }
33
33
  invariant(memberShapes.length > 0);
34
34
  const memberDiscriminantValues = new Set();
35
- const compoundType = new (compoundTypeKind === "IntersectionType"
35
+ const compoundType = new (compoundTypeKind === "Intersection"
36
36
  ? ast.IntersectionType
37
37
  : ast.UnionType)({
38
38
  comment: shape.comment,
@@ -61,7 +61,7 @@ export function transformShapeToAstCompoundType(shape, shapeStack) {
61
61
  return Left(new Error(`${shape} has duplicate ${compoundTypeKind} member type: ${memberType}`));
62
62
  }
63
63
  let memberDiscriminantValue;
64
- if (compoundTypeKind === "UnionType") {
64
+ if (compoundTypeKind === "Union") {
65
65
  if (memberShape.$type === "NodeShape") {
66
66
  memberDiscriminantValue =
67
67
  memberShape.discriminantValue.extract();
@@ -120,7 +120,7 @@ export function transformShapeToAstListType(shape, shapeStack) {
120
120
  propertyShape: restPropertyShape,
121
121
  })
122
122
  .chain((restProperty) => {
123
- if (restProperty.type.kind !== "ListType" ||
123
+ if (restProperty.type.kind !== "List" ||
124
124
  !restProperty.type.shapeIdentifier.equals(nodeShape.$identifier())) {
125
125
  return Left(new Error(`${nodeShape} rdf:rest property is not recursive into the node shape`));
126
126
  }
@@ -11,28 +11,28 @@ import { transformPropertyShapeToAstObjectTypeProperty } from "./transformProper
11
11
  import { transformShapeToAstType } from "./transformShapeToAstType.js";
12
12
  function isObjectTypePropertyRequired(property) {
13
13
  switch (property.type.kind) {
14
- case "DefaultValueType":
14
+ case "DefaultValue":
15
15
  return false;
16
- case "LazyObjectOptionType":
16
+ case "LazyObjectOption":
17
17
  return false;
18
- case "LazyObjectSetType":
18
+ case "LazyObjectSet":
19
19
  return property.type.partialType.minCount > 0n;
20
- case "OptionType":
20
+ case "Option":
21
21
  return false;
22
- case "SetType":
22
+ case "Set":
23
23
  return property.type.minCount > 0;
24
- case "UnionType":
24
+ case "Union":
25
25
  return property.type.members.every((member) => isObjectTypePropertyRequired({ type: member.type }));
26
- case "BlankNodeType":
27
- case "IdentifierType":
28
- case "IriType":
29
- case "LazyObjectType":
30
- case "ListType":
31
- case "LiteralType":
32
- case "ObjectType":
33
- case "TermType":
26
+ case "BlankNode":
27
+ case "Identifier":
28
+ case "Iri":
29
+ case "LazyObject":
30
+ case "List":
31
+ case "Literal":
32
+ case "Object":
33
+ case "Term":
34
34
  return true;
35
- case "IntersectionType":
35
+ case "Intersection":
36
36
  throw new Error("unsupported");
37
37
  default:
38
38
  property.type;
@@ -138,7 +138,7 @@ export function transformShapeToAstObjectType(shape, shapeStack) {
138
138
  .call(this, relatedNodeShape, new ShapeStack())
139
139
  .toMaybe()
140
140
  .toList())
141
- .filter((astType) => astType.kind === "ObjectType");
141
+ .filter((astType) => astType.kind === "Object");
142
142
  };
143
143
  objectType.addAncestorObjectTypes(...relatedObjectTypes(ancestorNodeShapes));
144
144
  objectType.addChildObjectTypes(...relatedObjectTypes(childNodeShapes));
@@ -76,7 +76,7 @@ export function transformShapeToAstTermType(shape, shapeStack) {
76
76
  return shapeStack.defaultValue
77
77
  .map((defaultValue) => {
78
78
  switch (termType.kind) {
79
- case "BlankNodeType":
79
+ case "BlankNode":
80
80
  return Left(new Error(`${shape}: blank node identifier types cannot have default values`));
81
81
  }
82
82
  switch (termType.hasValues.length) {
@@ -3,7 +3,7 @@ import { AbstractContainerType } from "./AbstractContainerType.js";
3
3
  * Abstract base class for a collection of items of a single type. This is the parent of ListType and SetType.
4
4
  */
5
5
  export declare abstract class AbstractCollectionType<ItemTypeT extends AbstractCollectionType.ItemType = AbstractCollectionType.ItemType> extends AbstractContainerType<ItemTypeT> {
6
- abstract readonly kind: "ListType" | "SetType";
6
+ abstract readonly kind: "List" | "Set";
7
7
  /**
8
8
  * The collection should be mutable in generated code.
9
9
  */
@@ -20,7 +20,7 @@ export declare abstract class AbstractCompoundType<MemberT extends AbstractCompo
20
20
  /**
21
21
  * Type discriminant
22
22
  */
23
- abstract readonly kind: "IntersectionType" | "UnionType";
23
+ abstract readonly kind: "Intersection" | "Union";
24
24
  /**
25
25
  * Was this type synthesized or did it come from SHACL?
26
26
  */
@@ -57,22 +57,22 @@ __decorate([
57
57
  (function (AbstractCompoundType) {
58
58
  function isMemberType(type) {
59
59
  switch (type.kind) {
60
- case "BlankNodeType":
61
- case "IdentifierType":
62
- case "IntersectionType":
63
- case "IriType":
64
- case "LiteralType":
65
- case "ObjectType":
66
- case "TermType":
67
- case "UnionType":
60
+ case "BlankNode":
61
+ case "Identifier":
62
+ case "Intersection":
63
+ case "Iri":
64
+ case "Literal":
65
+ case "Object":
66
+ case "Term":
67
+ case "Union":
68
68
  return true;
69
- case "DefaultValueType":
70
- case "LazyObjectOptionType":
71
- case "LazyObjectSetType":
72
- case "LazyObjectType":
73
- case "ListType":
74
- case "OptionType":
75
- case "SetType":
69
+ case "DefaultValue":
70
+ case "LazyObjectOption":
71
+ case "LazyObjectSet":
72
+ case "LazyObject":
73
+ case "List":
74
+ case "Option":
75
+ case "Set":
76
76
  return false;
77
77
  }
78
78
  }
@@ -14,7 +14,7 @@ import type { UnionType } from "./UnionType.js";
14
14
  * Abstract base class for types that contain other types e.g., ListType, OptionType, SetType.
15
15
  */
16
16
  export declare abstract class AbstractContainerType<ItemTypeT extends AbstractContainerType.ItemType = AbstractContainerType.ItemType> extends AbstractType {
17
- abstract readonly kind: "DefaultValueType" | "ListType" | "OptionType" | "SetType";
17
+ abstract readonly kind: "DefaultValue" | "List" | "Option" | "Set";
18
18
  /**
19
19
  * Container item type.
20
20
  *
@@ -39,22 +39,22 @@ export class AbstractContainerType extends AbstractType {
39
39
  (function (AbstractContainerType) {
40
40
  function isItemType(type) {
41
41
  switch (type.kind) {
42
- case "BlankNodeType":
43
- case "IdentifierType":
44
- case "IntersectionType":
45
- case "IriType":
46
- case "ListType":
47
- case "LiteralType":
48
- case "ObjectType":
49
- case "TermType":
50
- case "UnionType":
42
+ case "BlankNode":
43
+ case "Identifier":
44
+ case "Intersection":
45
+ case "Iri":
46
+ case "List":
47
+ case "Literal":
48
+ case "Object":
49
+ case "Term":
50
+ case "Union":
51
51
  return true;
52
- case "DefaultValueType":
53
- case "LazyObjectOptionType":
54
- case "LazyObjectSetType":
55
- case "LazyObjectType":
56
- case "OptionType":
57
- case "SetType":
52
+ case "DefaultValue":
53
+ case "LazyObjectOption":
54
+ case "LazyObjectSet":
55
+ case "LazyObject":
56
+ case "Option":
57
+ case "Set":
58
58
  return false;
59
59
  }
60
60
  }
@@ -8,7 +8,7 @@ import type { SetType } from "./SetType.js";
8
8
  * Abstract base class of LazyObjectOptionType, LazyObjectSetType, and LazyObjectType.
9
9
  */
10
10
  export declare abstract class AbstractLazyObjectType<PartialTypeT extends AbstractLazyObjectType.PartialTypeConstraint, ResolveTypeT extends AbstractLazyObjectType.ResolveTypeConstraint> extends AbstractType {
11
- abstract readonly kind: "LazyObjectOptionType" | "LazyObjectSetType" | "LazyObjectType";
11
+ abstract readonly kind: "LazyObjectOption" | "LazyObjectSet" | "LazyObject";
12
12
  readonly partialType: PartialTypeT;
13
13
  readonly resolveType: ResolveTypeT;
14
14
  constructor({ partialType, resolveType, ...superParameters }: {
@@ -11,7 +11,7 @@ import { AbstractType } from "./AbstractType.js";
11
11
  export declare abstract class AbstractTermType<ConstantTermT extends Literal | NamedNode = Literal | NamedNode, _RuntimeTermT extends BlankNode | Literal | NamedNode = BlankNode | Literal | NamedNode> extends AbstractType {
12
12
  readonly hasValues: readonly ConstantTermT[];
13
13
  readonly in_: readonly ConstantTermT[];
14
- abstract readonly kind: "BlankNodeType" | "IdentifierType" | "IriType" | "LiteralType" | "TermType";
14
+ abstract readonly kind: "BlankNode" | "Identifier" | "Iri" | "Literal" | "Term";
15
15
  readonly recursive = false;
16
16
  constructor({ hasValues, in_, ...superParameters }: {
17
17
  hasValues: readonly ConstantTermT[];
@@ -4,7 +4,7 @@ import { AbstractTermType } from "./AbstractTermType.js";
4
4
  * A type corresponding to sh:nodeKind sh:BlankNode.
5
5
  */
6
6
  export declare class BlankNodeType extends AbstractTermType<NamedNode, BlankNode> {
7
- readonly kind = "BlankNodeType";
7
+ readonly kind = "BlankNode";
8
8
  readonly nodeKinds: ReadonlySet<"BlankNode">;
9
9
  constructor(superParameters: Omit<ConstructorParameters<typeof AbstractTermType<NamedNode, BlankNode>>[0], "hasValues" | "in_">);
10
10
  }
@@ -3,7 +3,7 @@ import { AbstractTermType } from "./AbstractTermType.js";
3
3
  * A type corresponding to sh:nodeKind sh:BlankNode.
4
4
  */
5
5
  export class BlankNodeType extends AbstractTermType {
6
- kind = "BlankNodeType";
6
+ kind = "BlankNode";
7
7
  nodeKinds = nodeKinds;
8
8
  constructor(superParameters) {
9
9
  super({
@@ -12,7 +12,7 @@ import type { Type } from "./Type.js";
12
12
  */
13
13
  export declare class DefaultValueType<ItemTypeT extends DefaultValueType.ItemType = DefaultValueType.ItemType> extends AbstractContainerType<ItemTypeT> {
14
14
  readonly defaultValue: Literal | NamedNode;
15
- readonly kind = "DefaultValueType";
15
+ readonly kind = "DefaultValue";
16
16
  constructor({ defaultValue, itemType, }: Pick<ConstructorParameters<typeof AbstractContainerType<ItemTypeT>>[0], "itemType"> & {
17
17
  defaultValue: Literal | NamedNode;
18
18
  });
@@ -10,7 +10,7 @@ import { termEquals } from "./equals.js";
10
10
  */
11
11
  export class DefaultValueType extends AbstractContainerType {
12
12
  defaultValue;
13
- kind = "DefaultValueType";
13
+ kind = "DefaultValue";
14
14
  constructor({ defaultValue, itemType, }) {
15
15
  super({
16
16
  comment: itemType.comment,
@@ -39,7 +39,7 @@ export class DefaultValueType extends AbstractContainerType {
39
39
  }
40
40
  (function (DefaultValueType) {
41
41
  function isItemType(type) {
42
- if (type.kind === "BlankNodeType") {
42
+ if (type.kind === "BlankNode") {
43
43
  return false;
44
44
  }
45
45
  return AbstractContainerType.isItemType(type);
@@ -5,7 +5,7 @@ import { AbstractTermType } from "./AbstractTermType.js";
5
5
  * A type corresponding to sh:nodeKind of a blank node or IRI, and not corresponding to a node shape.
6
6
  */
7
7
  export declare class IdentifierType extends AbstractTermType<NamedNode, BlankNode | NamedNode> {
8
- readonly kind = "IdentifierType";
8
+ readonly kind = "Identifier";
9
9
  readonly nodeKinds: ReadonlySet<IdentifierNodeKind>;
10
10
  constructor(superParameters: Omit<ConstructorParameters<typeof AbstractTermType<NamedNode, BlankNode>>[0], "hasValues" | "in_">);
11
11
  }
@@ -3,7 +3,7 @@ import { AbstractTermType } from "./AbstractTermType.js";
3
3
  * A type corresponding to sh:nodeKind of a blank node or IRI, and not corresponding to a node shape.
4
4
  */
5
5
  export class IdentifierType extends AbstractTermType {
6
- kind = "IdentifierType";
6
+ kind = "Identifier";
7
7
  nodeKinds = nodeKinds;
8
8
  constructor(superParameters) {
9
9
  super({
@@ -4,7 +4,7 @@ import type { ObjectIntersectionType } from "./ObjectIntersectionType.js";
4
4
  * A conjunction ("and") of types, corresponding to an sh:and.
5
5
  */
6
6
  export declare class IntersectionType<MemberTypeT extends IntersectionType.MemberType = IntersectionType.MemberType> extends AbstractCompoundType<AbstractCompoundType.Member<MemberTypeT>, MemberTypeT> {
7
- readonly kind = "IntersectionType";
7
+ readonly kind = "Intersection";
8
8
  isObjectIntersectionType(): this is ObjectIntersectionType;
9
9
  }
10
10
  export declare namespace IntersectionType {
@@ -3,11 +3,11 @@ import { AbstractCompoundType } from "./AbstractCompoundType.js";
3
3
  * A conjunction ("and") of types, corresponding to an sh:and.
4
4
  */
5
5
  export class IntersectionType extends AbstractCompoundType {
6
- kind = "IntersectionType";
6
+ kind = "Intersection";
7
7
  isObjectIntersectionType() {
8
8
  return (this.members.length > 0 &&
9
- this.members.every((member) => member.type.kind === "ObjectType" ||
10
- (member.type.kind === "IntersectionType" &&
9
+ this.members.every((member) => member.type.kind === "Object" ||
10
+ (member.type.kind === "Intersection" &&
11
11
  member.type.isObjectIntersectionType())));
12
12
  }
13
13
  }
@@ -4,7 +4,7 @@ import { AbstractTermType } from "./AbstractTermType.js";
4
4
  * A type corresponding to sh:nodeKind sh:IRI.
5
5
  */
6
6
  export declare class IriType extends AbstractTermType<NamedNode, NamedNode> {
7
- readonly kind = "IriType";
7
+ readonly kind = "Iri";
8
8
  readonly nodeKinds: ReadonlySet<"IRI">;
9
9
  }
10
10
  //# sourceMappingURL=IriType.d.ts.map
@@ -3,7 +3,7 @@ import { AbstractTermType } from "./AbstractTermType.js";
3
3
  * A type corresponding to sh:nodeKind sh:IRI.
4
4
  */
5
5
  export class IriType extends AbstractTermType {
6
- kind = "IriType";
6
+ kind = "Iri";
7
7
  nodeKinds = nodeKinds;
8
8
  }
9
9
  const nodeKinds = new Set(["IRI"]);
@@ -1,6 +1,6 @@
1
1
  import { AbstractLazyObjectType } from "./AbstractLazyObjectType.js";
2
2
  import type { OptionType } from "./OptionType.js";
3
3
  export declare class LazyObjectOptionType extends AbstractLazyObjectType<OptionType<AbstractLazyObjectType.ObjectTypeConstraint>, OptionType<AbstractLazyObjectType.ObjectTypeConstraint>> {
4
- readonly kind = "LazyObjectOptionType";
4
+ readonly kind = "LazyObjectOption";
5
5
  }
6
6
  //# sourceMappingURL=LazyObjectOptionType.d.ts.map
@@ -1,5 +1,5 @@
1
1
  import { AbstractLazyObjectType } from "./AbstractLazyObjectType.js";
2
2
  export class LazyObjectOptionType extends AbstractLazyObjectType {
3
- kind = "LazyObjectOptionType";
3
+ kind = "LazyObjectOption";
4
4
  }
5
5
  //# sourceMappingURL=LazyObjectOptionType.js.map
@@ -1,6 +1,6 @@
1
1
  import { AbstractLazyObjectType } from "./AbstractLazyObjectType.js";
2
2
  import type { SetType } from "./SetType.js";
3
3
  export declare class LazyObjectSetType extends AbstractLazyObjectType<SetType<AbstractLazyObjectType.ObjectTypeConstraint>, SetType<AbstractLazyObjectType.ObjectTypeConstraint>> {
4
- readonly kind = "LazyObjectSetType";
4
+ readonly kind = "LazyObjectSet";
5
5
  }
6
6
  //# sourceMappingURL=LazyObjectSetType.d.ts.map
@@ -1,5 +1,5 @@
1
1
  import { AbstractLazyObjectType } from "./AbstractLazyObjectType.js";
2
2
  export class LazyObjectSetType extends AbstractLazyObjectType {
3
- kind = "LazyObjectSetType";
3
+ kind = "LazyObjectSet";
4
4
  }
5
5
  //# sourceMappingURL=LazyObjectSetType.js.map
@@ -1,5 +1,5 @@
1
1
  import { AbstractLazyObjectType } from "./AbstractLazyObjectType.js";
2
2
  export declare class LazyObjectType extends AbstractLazyObjectType<AbstractLazyObjectType.ObjectTypeConstraint, AbstractLazyObjectType.ObjectTypeConstraint> {
3
- readonly kind = "LazyObjectType";
3
+ readonly kind = "LazyObject";
4
4
  }
5
5
  //# sourceMappingURL=LazyObjectType.d.ts.map
@@ -1,5 +1,5 @@
1
1
  import { AbstractLazyObjectType } from "./AbstractLazyObjectType.js";
2
2
  export class LazyObjectType extends AbstractLazyObjectType {
3
- kind = "LazyObjectType";
3
+ kind = "LazyObject";
4
4
  }
5
5
  //# sourceMappingURL=LazyObjectType.js.map
@@ -22,7 +22,7 @@ export declare class ListType<ItemTypeT extends ListType.ItemType = ListType.Ite
22
22
  * Type of identifier (blank or named node) to use for lists and sub-lists.
23
23
  */
24
24
  readonly identifierNodeKind: IdentifierNodeKind;
25
- readonly kind = "ListType";
25
+ readonly kind = "List";
26
26
  /**
27
27
  * rdf:type's that will be added to this object when it's serialized toRdf.
28
28
  *
@@ -11,7 +11,7 @@ export class ListType extends AbstractCollectionType {
11
11
  * Type of identifier (blank or named node) to use for lists and sub-lists.
12
12
  */
13
13
  identifierNodeKind;
14
- kind = "ListType";
14
+ kind = "List";
15
15
  /**
16
16
  * rdf:type's that will be added to this object when it's serialized toRdf.
17
17
  *
@@ -32,22 +32,22 @@ export class ListType extends AbstractCollectionType {
32
32
  (function (ListType) {
33
33
  function isItemType(type) {
34
34
  switch (type.kind) {
35
- case "BlankNodeType":
36
- case "IdentifierType":
37
- case "IntersectionType":
38
- case "IriType":
39
- case "LiteralType":
40
- case "ObjectType":
41
- case "TermType":
42
- case "UnionType":
35
+ case "BlankNode":
36
+ case "Identifier":
37
+ case "Intersection":
38
+ case "Iri":
39
+ case "Literal":
40
+ case "Object":
41
+ case "Term":
42
+ case "Union":
43
43
  return true;
44
- case "DefaultValueType":
45
- case "LazyObjectOptionType":
46
- case "LazyObjectSetType":
47
- case "LazyObjectType":
48
- case "ListType":
49
- case "OptionType":
50
- case "SetType":
44
+ case "DefaultValue":
45
+ case "LazyObjectOption":
46
+ case "LazyObjectSet":
47
+ case "LazyObject":
48
+ case "List":
49
+ case "Option":
50
+ case "Set":
51
51
  return false;
52
52
  }
53
53
  }