@shaclmate/compiler 4.0.78 → 4.0.80

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 (82) hide show
  1. package/dist/ast/AbstractCompoundType.d.ts +1 -1
  2. package/dist/ast/AbstractCompoundType.js +1 -1
  3. package/dist/ast/AbstractContainerType.d.ts +1 -1
  4. package/dist/ast/AbstractContainerType.js +1 -1
  5. package/dist/ast/ListType.d.ts +1 -1
  6. package/dist/ast/ListType.js +1 -1
  7. package/dist/ast/Type.d.ts +1 -1
  8. package/dist/ast/Type.js +2 -2
  9. package/dist/generators/ts/AbstractContainerType.d.ts +1 -1
  10. package/dist/generators/ts/AbstractContainerType.js +2 -2
  11. package/dist/generators/ts/AbstractDiscriminatedUnionType.d.ts +74 -0
  12. package/dist/generators/ts/AbstractDiscriminatedUnionType.js +430 -0
  13. package/dist/generators/ts/AbstractType.d.ts +5 -1
  14. package/dist/generators/ts/AbstractType.js +5 -0
  15. package/dist/generators/ts/DiscriminatedUnionType.d.ts +3 -70
  16. package/dist/generators/ts/DiscriminatedUnionType.js +2 -424
  17. package/dist/generators/ts/LazyOptionType.d.ts +1 -0
  18. package/dist/generators/ts/ListType.d.ts +1 -1
  19. package/dist/generators/ts/ListType.js +1 -1
  20. package/dist/generators/ts/ObjectDiscriminatedUnionType.d.ts +2 -3
  21. package/dist/generators/ts/ObjectDiscriminatedUnionType.js +2 -10
  22. package/dist/generators/ts/ObjectType.js +10 -2
  23. package/dist/generators/ts/Type.d.ts +1 -1
  24. package/dist/generators/ts/TypeFactory.d.ts +1 -1
  25. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_Discriminant.d.ts → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_Discriminant.d.ts} +2 -2
  26. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_Discriminant.js +2 -0
  27. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_conversionFunctionExpression.d.ts +6 -0
  28. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_conversionFunctionExpression.js +86 -0
  29. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_equalsFunctionExpression.d.ts +5 -0
  30. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_equalsFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_equalsFunctionExpression.js} +2 -2
  31. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_filterFunctionExpression.d.ts +5 -0
  32. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_filterFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_filterFunctionExpression.js} +2 -2
  33. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_filterTypeExpression.d.ts +5 -0
  34. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_filterTypeExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_filterTypeExpression.js} +2 -2
  35. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_fromJsonFunctionExpression.d.ts +5 -0
  36. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_fromJsonFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_fromJsonFunctionExpression.js} +2 -2
  37. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_fromRdfResourceValuesFunctionExpression.d.ts +5 -0
  38. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_fromRdfResourceValuesFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_fromRdfResourceValuesFunctionExpression.js} +2 -2
  39. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_hashFunctionExpression.d.ts +5 -0
  40. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_hashFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_hashFunctionExpression.js} +2 -2
  41. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_inferDiscriminant.d.ts +8 -0
  42. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_inferDiscriminant.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_inferDiscriminant.js} +2 -2
  43. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_inlineExpression.d.ts +5 -0
  44. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_inlineExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_inlineExpression.js} +2 -2
  45. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_jsonSchemaExpression.d.ts +5 -0
  46. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_jsonSchemaExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_jsonSchemaExpression.js} +2 -2
  47. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_jsonTypeLiteral.d.ts +5 -0
  48. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_jsonTypeLiteral.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_jsonTypeLiteral.js} +2 -2
  49. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_schemaTypeExpression.d.ts +5 -0
  50. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_schemaTypeExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_schemaTypeExpression.js} +2 -2
  51. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_toJsonFunctionExpression.d.ts +5 -0
  52. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_toJsonFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_toJsonFunctionExpression.js} +2 -2
  53. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_toRdfResourceValuesFunctionExpression.d.ts +5 -0
  54. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_toRdfResourceValuesFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_toRdfResourceValuesFunctionExpression.js} +2 -2
  55. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_toStringFunctionExpression.d.ts +5 -0
  56. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_toStringFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_toStringFunctionExpression.js} +2 -2
  57. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_valueSparqlConstructTriplesFunctionExpression.d.ts +5 -0
  58. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_valueSparqlConstructTriplesFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_valueSparqlConstructTriplesFunctionExpression.js} +2 -2
  59. package/dist/generators/ts/_AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_valueSparqlWherePatternsFunctionExpression.d.ts +5 -0
  60. package/dist/generators/ts/{_DiscriminatedUnionType/DiscriminatedUnionType_valueSparqlWherePatternsFunctionExpression.js → _AbstractDiscriminatedUnionType/AbstractDiscriminatedUnionType_valueSparqlWherePatternsFunctionExpression.js} +2 -2
  61. package/dist/generators/ts/_AbstractType/AbstractType_ConversionFunction.d.ts +9 -3
  62. package/dist/generators/ts/_AbstractType/AbstractType_ConversionFunction.js +18 -1
  63. package/dist/input/input.shaclmate.d.ts +116 -100
  64. package/dist/input/input.shaclmate.js +144 -130
  65. package/package.json +40 -36
  66. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_Discriminant.js +0 -2
  67. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_equalsFunctionExpression.d.ts +0 -5
  68. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_filterFunctionExpression.d.ts +0 -5
  69. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_filterTypeExpression.d.ts +0 -5
  70. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_fromJsonFunctionExpression.d.ts +0 -5
  71. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_fromRdfResourceValuesFunctionExpression.d.ts +0 -5
  72. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_hashFunctionExpression.d.ts +0 -5
  73. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_inferDiscriminant.d.ts +0 -8
  74. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_inlineExpression.d.ts +0 -5
  75. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_jsonSchemaExpression.d.ts +0 -5
  76. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_jsonTypeLiteral.d.ts +0 -5
  77. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_schemaTypeExpression.d.ts +0 -5
  78. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_toJsonFunctionExpression.d.ts +0 -5
  79. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_toRdfResourceValuesFunctionExpression.d.ts +0 -5
  80. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_toStringFunctionExpression.d.ts +0 -5
  81. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_valueSparqlConstructTriplesFunctionExpression.d.ts +0 -5
  82. package/dist/generators/ts/_DiscriminatedUnionType/DiscriminatedUnionType_valueSparqlWherePatternsFunctionExpression.d.ts +0 -5
@@ -23,6 +23,10 @@ export type $FromRdfResourceValuesFunction<ValueT, ValueSchemaT> = (resourceValu
23
23
  propertyPath: $PropertyPath;
24
24
  schema: ValueSchemaT;
25
25
  }) => Either<Error, Resource.Values<ValueT>>;
26
+ /**
27
+ * NamespaceBuilder type excerpted from @rdfjs/namespace (MIT license) in lieu of a type import.
28
+ */
29
+ type $NamespaceBuilder<TermNames extends string = any> = Record<TermNames, NamedNode> & ((property?: TemplateStringsArray | TermNames) => NamedNode);
26
30
  export type $PropertyPath = RdfxResourcePropertyPath;
27
31
  export declare namespace $PropertyPath {
28
32
  const fromRdfResource: $FromRdfResourceFunction<$PropertyPath>;
@@ -89,23 +93,24 @@ export type NodeShape = {
89
93
  export declare namespace NodeShape {
90
94
  const _fromRdfResource: $_FromRdfResourceFunction<NodeShape>;
91
95
  const $toString: (_nodeShape: NodeShape) => string;
92
- const create: (parameters?: {
93
- readonly $identifier?: (() => NodeShape.Identifier) | BlankNode | NamedNode | string;
94
- readonly and?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
95
- readonly classes?: string | NamedNode | readonly (string | NamedNode)[];
96
+ const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
97
+ readonly $defaultNamespace?: $DefaultNamespaceT;
98
+ readonly $identifier?: (() => NodeShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
99
+ readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
100
+ readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
96
101
  readonly closed?: boolean | Maybe<boolean>;
97
102
  readonly comment?: string | Maybe<string>;
98
- readonly datatype?: string | NamedNode | Maybe<NamedNode>;
103
+ readonly datatype?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
99
104
  readonly deactivated?: boolean | Maybe<boolean>;
100
105
  readonly discriminantValue?: string | Maybe<string>;
101
106
  readonly extern?: boolean | Maybe<boolean>;
102
107
  readonly flags?: string | Maybe<string>;
103
- readonly fromRdfType?: string | NamedNode | Maybe<NamedNode>;
108
+ readonly fromRdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
104
109
  readonly hasValues?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
105
110
  readonly ignore?: boolean;
106
- readonly ignoredProperties?: readonly (string | NamedNode)[] | Maybe<readonly NamedNode[]>;
111
+ readonly ignoredProperties?: readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[] | Maybe<readonly NamedNode[]>;
107
112
  readonly in_?: readonly (NamedNode | Literal)[] | Maybe<readonly (NamedNode | Literal)[]>;
108
- readonly isDefinedBy?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
113
+ readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
109
114
  readonly label?: string | Maybe<string>;
110
115
  readonly languageIn?: readonly string[] | Maybe<readonly string[]>;
111
116
  readonly maxExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
@@ -116,42 +121,43 @@ export declare namespace NodeShape {
116
121
  readonly minInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
117
122
  readonly minLength?: bigint | Maybe<bigint>;
118
123
  readonly mutable?: boolean | Maybe<boolean>;
119
- readonly node?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
124
+ readonly node?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
120
125
  readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
121
- readonly not?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
122
- readonly or?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
126
+ readonly not?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
127
+ readonly or?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
123
128
  readonly pattern?: string | Maybe<string>;
124
- readonly properties?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
125
- readonly rdfType?: string | NamedNode | Maybe<NamedNode>;
129
+ readonly properties?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
130
+ readonly rdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
126
131
  readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
127
132
  readonly shaclmateName?: string | Maybe<string>;
128
- readonly subClassOf?: string | NamedNode | readonly (string | NamedNode)[];
129
- readonly targetClasses?: string | NamedNode | readonly (string | NamedNode)[];
133
+ readonly subClassOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
134
+ readonly targetClasses?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
130
135
  readonly targetNodes?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
131
- readonly targetObjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
132
- readonly targetSubjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
133
- readonly toRdfTypes?: string | NamedNode | readonly (string | NamedNode)[];
136
+ readonly targetObjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
137
+ readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
138
+ readonly toRdfTypes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
134
139
  readonly tsImports?: string | readonly string[];
135
- readonly types?: string | NamedNode | readonly (string | NamedNode)[];
136
- readonly xone?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
140
+ readonly types?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
141
+ readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
137
142
  }) => Either<Error, NodeShape>;
138
- function createUnsafe(parameters?: {
139
- readonly $identifier?: (() => NodeShape.Identifier) | BlankNode | NamedNode | string;
140
- readonly and?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
141
- readonly classes?: string | NamedNode | readonly (string | NamedNode)[];
143
+ function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
144
+ readonly $defaultNamespace?: $DefaultNamespaceT;
145
+ readonly $identifier?: (() => NodeShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
146
+ readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
147
+ readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
142
148
  readonly closed?: boolean | Maybe<boolean>;
143
149
  readonly comment?: string | Maybe<string>;
144
- readonly datatype?: string | NamedNode | Maybe<NamedNode>;
150
+ readonly datatype?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
145
151
  readonly deactivated?: boolean | Maybe<boolean>;
146
152
  readonly discriminantValue?: string | Maybe<string>;
147
153
  readonly extern?: boolean | Maybe<boolean>;
148
154
  readonly flags?: string | Maybe<string>;
149
- readonly fromRdfType?: string | NamedNode | Maybe<NamedNode>;
155
+ readonly fromRdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
150
156
  readonly hasValues?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
151
157
  readonly ignore?: boolean;
152
- readonly ignoredProperties?: readonly (string | NamedNode)[] | Maybe<readonly NamedNode[]>;
158
+ readonly ignoredProperties?: readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[] | Maybe<readonly NamedNode[]>;
153
159
  readonly in_?: readonly (NamedNode | Literal)[] | Maybe<readonly (NamedNode | Literal)[]>;
154
- readonly isDefinedBy?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
160
+ readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
155
161
  readonly label?: string | Maybe<string>;
156
162
  readonly languageIn?: readonly string[] | Maybe<readonly string[]>;
157
163
  readonly maxExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
@@ -162,24 +168,24 @@ export declare namespace NodeShape {
162
168
  readonly minInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
163
169
  readonly minLength?: bigint | Maybe<bigint>;
164
170
  readonly mutable?: boolean | Maybe<boolean>;
165
- readonly node?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
171
+ readonly node?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
166
172
  readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
167
- readonly not?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
168
- readonly or?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
173
+ readonly not?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
174
+ readonly or?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
169
175
  readonly pattern?: string | Maybe<string>;
170
- readonly properties?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
171
- readonly rdfType?: string | NamedNode | Maybe<NamedNode>;
176
+ readonly properties?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
177
+ readonly rdfType?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
172
178
  readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
173
179
  readonly shaclmateName?: string | Maybe<string>;
174
- readonly subClassOf?: string | NamedNode | readonly (string | NamedNode)[];
175
- readonly targetClasses?: string | NamedNode | readonly (string | NamedNode)[];
180
+ readonly subClassOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
181
+ readonly targetClasses?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
176
182
  readonly targetNodes?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
177
- readonly targetObjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
178
- readonly targetSubjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
179
- readonly toRdfTypes?: string | NamedNode | readonly (string | NamedNode)[];
183
+ readonly targetObjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
184
+ readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
185
+ readonly toRdfTypes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
180
186
  readonly tsImports?: string | readonly string[];
181
- readonly types?: string | NamedNode | readonly (string | NamedNode)[];
182
- readonly xone?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
187
+ readonly types?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
188
+ readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
183
189
  }): NodeShape;
184
190
  const fromRdfResource: $FromRdfResourceFunction<NodeShape>;
185
191
  const fromRdfResourceValues: $FromRdfResourceValuesFunction<NodeShape, NodeShape.Schema>;
@@ -672,13 +678,15 @@ export type Ontology = {
672
678
  export declare namespace Ontology {
673
679
  const _fromRdfResource: $_FromRdfResourceFunction<Ontology>;
674
680
  const $toString: (_ontology: Ontology) => string;
675
- const create: (parameters?: {
676
- readonly $identifier?: (() => Ontology.Identifier) | BlankNode | NamedNode | string;
681
+ const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
682
+ readonly $defaultNamespace?: $DefaultNamespaceT;
683
+ readonly $identifier?: (() => Ontology.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
677
684
  readonly comment?: string | Maybe<string>;
678
685
  readonly label?: string | Maybe<string>;
679
686
  }) => Either<Error, Ontology>;
680
- function createUnsafe(parameters?: {
681
- readonly $identifier?: (() => Ontology.Identifier) | BlankNode | NamedNode | string;
687
+ function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
688
+ readonly $defaultNamespace?: $DefaultNamespaceT;
689
+ readonly $identifier?: (() => Ontology.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
682
690
  readonly comment?: string | Maybe<string>;
683
691
  readonly label?: string | Maybe<string>;
684
692
  }): Ontology;
@@ -738,13 +746,15 @@ export type PropertyGroup = {
738
746
  export declare namespace PropertyGroup {
739
747
  const _fromRdfResource: $_FromRdfResourceFunction<PropertyGroup>;
740
748
  const $toString: (_propertyGroup: PropertyGroup) => string;
741
- const create: (parameters?: {
742
- readonly $identifier?: (() => PropertyGroup.Identifier) | BlankNode | NamedNode | string;
749
+ const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
750
+ readonly $defaultNamespace?: $DefaultNamespaceT;
751
+ readonly $identifier?: (() => PropertyGroup.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
743
752
  readonly comment?: string | Maybe<string>;
744
753
  readonly label?: string | Maybe<string>;
745
754
  }) => Either<Error, PropertyGroup>;
746
- function createUnsafe(parameters?: {
747
- readonly $identifier?: (() => PropertyGroup.Identifier) | BlankNode | NamedNode | string;
755
+ function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters?: {
756
+ readonly $defaultNamespace?: $DefaultNamespaceT;
757
+ readonly $identifier?: (() => PropertyGroup.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
748
758
  readonly comment?: string | Maybe<string>;
749
759
  readonly label?: string | Maybe<string>;
750
760
  }): PropertyGroup;
@@ -859,28 +869,29 @@ export type PropertyShape = {
859
869
  export declare namespace PropertyShape {
860
870
  const _fromRdfResource: $_FromRdfResourceFunction<PropertyShape>;
861
871
  const $toString: (_propertyShape: PropertyShape) => string;
862
- const create: (parameters: {
863
- readonly $identifier?: (() => PropertyShape.Identifier) | BlankNode | NamedNode | string;
864
- readonly and?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
865
- readonly classes?: string | NamedNode | readonly (string | NamedNode)[];
872
+ const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
873
+ readonly $defaultNamespace?: $DefaultNamespaceT;
874
+ readonly $identifier?: (() => PropertyShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
875
+ readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
876
+ readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
866
877
  readonly comment?: string | Maybe<string>;
867
- readonly datatype?: string | NamedNode | Maybe<NamedNode>;
878
+ readonly datatype?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
868
879
  readonly deactivated?: boolean | Maybe<boolean>;
869
880
  readonly defaultValue?: (NamedNode | Literal) | Maybe<NamedNode | Literal>;
870
881
  readonly description?: string | Maybe<string>;
871
- readonly disjoint?: string | NamedNode | readonly (string | NamedNode)[];
882
+ readonly disjoint?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
872
883
  readonly display?: boolean;
873
- readonly equals?: string | NamedNode | readonly (string | NamedNode)[];
884
+ readonly equals?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
874
885
  readonly flags?: string | Maybe<string>;
875
- readonly groups?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
886
+ readonly groups?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
876
887
  readonly hasValues?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
877
888
  readonly ignore?: boolean;
878
889
  readonly in_?: readonly (NamedNode | Literal)[] | Maybe<readonly (NamedNode | Literal)[]>;
879
- readonly isDefinedBy?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
890
+ readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
880
891
  readonly label?: string | Maybe<string>;
881
892
  readonly languageIn?: readonly string[] | Maybe<readonly string[]>;
882
- readonly lessThan?: string | NamedNode | readonly (string | NamedNode)[];
883
- readonly lessThanOrEquals?: string | NamedNode | readonly (string | NamedNode)[];
893
+ readonly lessThan?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
894
+ readonly lessThanOrEquals?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
884
895
  readonly maxCount?: bigint | Maybe<bigint>;
885
896
  readonly maxExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
886
897
  readonly maxInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
@@ -892,49 +903,50 @@ export declare namespace PropertyShape {
892
903
  readonly minLength?: bigint | Maybe<bigint>;
893
904
  readonly mutable?: boolean | Maybe<boolean>;
894
905
  readonly name?: string | Maybe<string>;
895
- readonly node?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
906
+ readonly node?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
896
907
  readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
897
- readonly not?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
898
- readonly or?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
908
+ readonly not?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
909
+ readonly or?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
899
910
  readonly order?: number | Maybe<number>;
900
911
  readonly path: $PropertyPath;
901
912
  readonly pattern?: string | Maybe<string>;
902
913
  readonly qualifiedMaxCount?: bigint | Maybe<bigint>;
903
914
  readonly qualifiedMinCount?: bigint | Maybe<bigint>;
904
- readonly qualifiedValueShape?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
915
+ readonly qualifiedValueShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
905
916
  readonly qualifiedValueShapesDisjoint?: boolean | Maybe<boolean>;
906
- readonly resolve?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
917
+ readonly resolve?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
907
918
  readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
908
919
  readonly shaclmateName?: string | Maybe<string>;
909
- readonly targetClasses?: string | NamedNode | readonly (string | NamedNode)[];
920
+ readonly targetClasses?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
910
921
  readonly targetNodes?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
911
- readonly targetObjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
912
- readonly targetSubjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
922
+ readonly targetObjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
923
+ readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
913
924
  readonly uniqueLang?: boolean | Maybe<boolean>;
914
- readonly xone?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
925
+ readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
915
926
  }) => Either<Error, PropertyShape>;
916
- function createUnsafe(parameters: {
917
- readonly $identifier?: (() => PropertyShape.Identifier) | BlankNode | NamedNode | string;
918
- readonly and?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
919
- readonly classes?: string | NamedNode | readonly (string | NamedNode)[];
927
+ function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
928
+ readonly $defaultNamespace?: $DefaultNamespaceT;
929
+ readonly $identifier?: (() => PropertyShape.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
930
+ readonly and?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
931
+ readonly classes?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
920
932
  readonly comment?: string | Maybe<string>;
921
- readonly datatype?: string | NamedNode | Maybe<NamedNode>;
933
+ readonly datatype?: (keyof $DefaultNamespaceT & string) | NamedNode | Maybe<NamedNode>;
922
934
  readonly deactivated?: boolean | Maybe<boolean>;
923
935
  readonly defaultValue?: (NamedNode | Literal) | Maybe<NamedNode | Literal>;
924
936
  readonly description?: string | Maybe<string>;
925
- readonly disjoint?: string | NamedNode | readonly (string | NamedNode)[];
937
+ readonly disjoint?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
926
938
  readonly display?: boolean;
927
- readonly equals?: string | NamedNode | readonly (string | NamedNode)[];
939
+ readonly equals?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
928
940
  readonly flags?: string | Maybe<string>;
929
- readonly groups?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
941
+ readonly groups?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
930
942
  readonly hasValues?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
931
943
  readonly ignore?: boolean;
932
944
  readonly in_?: readonly (NamedNode | Literal)[] | Maybe<readonly (NamedNode | Literal)[]>;
933
- readonly isDefinedBy?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
945
+ readonly isDefinedBy?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
934
946
  readonly label?: string | Maybe<string>;
935
947
  readonly languageIn?: readonly string[] | Maybe<readonly string[]>;
936
- readonly lessThan?: string | NamedNode | readonly (string | NamedNode)[];
937
- readonly lessThanOrEquals?: string | NamedNode | readonly (string | NamedNode)[];
948
+ readonly lessThan?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
949
+ readonly lessThanOrEquals?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
938
950
  readonly maxCount?: bigint | Maybe<bigint>;
939
951
  readonly maxExclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
940
952
  readonly maxInclusive?: bigint | boolean | number | string | Date | Literal | Maybe<Literal>;
@@ -946,26 +958,26 @@ export declare namespace PropertyShape {
946
958
  readonly minLength?: bigint | Maybe<bigint>;
947
959
  readonly mutable?: boolean | Maybe<boolean>;
948
960
  readonly name?: string | Maybe<string>;
949
- readonly node?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
961
+ readonly node?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
950
962
  readonly nodeKind?: ("http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal") | NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal"> | Maybe<NamedNode<"http://www.w3.org/ns/shacl#BlankNode" | "http://www.w3.org/ns/shacl#BlankNodeOrIRI" | "http://www.w3.org/ns/shacl#BlankNodeOrLiteral" | "http://www.w3.org/ns/shacl#IRI" | "http://www.w3.org/ns/shacl#IRIOrLiteral" | "http://www.w3.org/ns/shacl#Literal">>;
951
- readonly not?: BlankNode | NamedNode | string | readonly (BlankNode | NamedNode | string | undefined)[];
952
- readonly or?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
963
+ readonly not?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[];
964
+ readonly or?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
953
965
  readonly order?: number | Maybe<number>;
954
966
  readonly path: $PropertyPath;
955
967
  readonly pattern?: string | Maybe<string>;
956
968
  readonly qualifiedMaxCount?: bigint | Maybe<bigint>;
957
969
  readonly qualifiedMinCount?: bigint | Maybe<bigint>;
958
- readonly qualifiedValueShape?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
970
+ readonly qualifiedValueShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
959
971
  readonly qualifiedValueShapesDisjoint?: boolean | Maybe<boolean>;
960
- readonly resolve?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
972
+ readonly resolve?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
961
973
  readonly severity?: Severity["value"] | Severity | Maybe<Severity>;
962
974
  readonly shaclmateName?: string | Maybe<string>;
963
- readonly targetClasses?: string | NamedNode | readonly (string | NamedNode)[];
975
+ readonly targetClasses?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
964
976
  readonly targetNodes?: (NamedNode | Literal) | readonly (NamedNode | Literal)[];
965
- readonly targetObjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
966
- readonly targetSubjectsOf?: string | NamedNode | readonly (string | NamedNode)[];
977
+ readonly targetObjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
978
+ readonly targetSubjectsOf?: (keyof $DefaultNamespaceT & string) | NamedNode | readonly ((keyof $DefaultNamespaceT & string) | NamedNode)[];
967
979
  readonly uniqueLang?: boolean | Maybe<boolean>;
968
- readonly xone?: readonly (BlankNode | NamedNode | string | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
980
+ readonly xone?: readonly (BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | undefined)[] | Maybe<readonly (BlankNode | NamedNode)[]>;
969
981
  }): PropertyShape;
970
982
  const fromRdfResource: $FromRdfResourceFunction<PropertyShape>;
971
983
  const fromRdfResourceValues: $FromRdfResourceValuesFunction<PropertyShape, PropertyShape.Schema>;
@@ -1541,14 +1553,16 @@ export type ValidationReport = {
1541
1553
  export declare namespace ValidationReport {
1542
1554
  const _fromRdfResource: $_FromRdfResourceFunction<ValidationReport>;
1543
1555
  const $toString: (_validationReport: ValidationReport) => string;
1544
- const create: (parameters: {
1545
- readonly $identifier?: (() => ValidationReport.Identifier) | BlankNode | NamedNode | string;
1556
+ const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
1557
+ readonly $defaultNamespace?: $DefaultNamespaceT;
1558
+ readonly $identifier?: (() => ValidationReport.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
1546
1559
  readonly conforms: boolean;
1547
1560
  readonly results?: ValidationResult | readonly ValidationResult[];
1548
1561
  readonly shapesGraphWellFormed?: boolean | Maybe<boolean>;
1549
1562
  }) => Either<Error, ValidationReport>;
1550
- function createUnsafe(parameters: {
1551
- readonly $identifier?: (() => ValidationReport.Identifier) | BlankNode | NamedNode | string;
1563
+ function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
1564
+ readonly $defaultNamespace?: $DefaultNamespaceT;
1565
+ readonly $identifier?: (() => ValidationReport.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
1552
1566
  readonly conforms: boolean;
1553
1567
  readonly results?: ValidationResult | readonly ValidationResult[];
1554
1568
  readonly shapesGraphWellFormed?: boolean | Maybe<boolean>;
@@ -1709,26 +1723,28 @@ export type ValidationResult = {
1709
1723
  export declare namespace ValidationResult {
1710
1724
  const _fromRdfResource: $_FromRdfResourceFunction<ValidationResult>;
1711
1725
  const $toString: (_validationResult: ValidationResult) => string;
1712
- const create: (parameters: {
1713
- readonly $identifier?: (() => ValidationResult.Identifier) | BlankNode | NamedNode | string;
1726
+ const create: <$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
1727
+ readonly $defaultNamespace?: $DefaultNamespaceT;
1728
+ readonly $identifier?: (() => ValidationResult.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
1714
1729
  readonly details?: (BlankNode | NamedNode | Literal) | readonly (BlankNode | NamedNode | Literal)[];
1715
1730
  readonly focusNode: BlankNode | NamedNode | Literal;
1716
1731
  readonly message?: string | Maybe<string>;
1717
1732
  readonly path?: $PropertyPath | Maybe<$PropertyPath>;
1718
1733
  readonly severity: Severity["value"] | Severity;
1719
- readonly sourceConstraintComponent: string | NamedNode;
1720
- readonly sourceShape?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
1734
+ readonly sourceConstraintComponent: (keyof $DefaultNamespaceT & string) | NamedNode;
1735
+ readonly sourceShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
1721
1736
  readonly value?: (BlankNode | NamedNode | Literal) | Maybe<BlankNode | NamedNode | Literal>;
1722
1737
  }) => Either<Error, ValidationResult>;
1723
- function createUnsafe(parameters: {
1724
- readonly $identifier?: (() => ValidationResult.Identifier) | BlankNode | NamedNode | string;
1738
+ function createUnsafe<$DefaultNamespaceT extends $NamespaceBuilder = $NamespaceBuilder>(parameters: {
1739
+ readonly $defaultNamespace?: $DefaultNamespaceT;
1740
+ readonly $identifier?: (() => ValidationResult.Identifier) | BlankNode | NamedNode | (keyof $DefaultNamespaceT & string);
1725
1741
  readonly details?: (BlankNode | NamedNode | Literal) | readonly (BlankNode | NamedNode | Literal)[];
1726
1742
  readonly focusNode: BlankNode | NamedNode | Literal;
1727
1743
  readonly message?: string | Maybe<string>;
1728
1744
  readonly path?: $PropertyPath | Maybe<$PropertyPath>;
1729
1745
  readonly severity: Severity["value"] | Severity;
1730
- readonly sourceConstraintComponent: string | NamedNode;
1731
- readonly sourceShape?: BlankNode | NamedNode | string | Maybe<BlankNode | NamedNode>;
1746
+ readonly sourceConstraintComponent: (keyof $DefaultNamespaceT & string) | NamedNode;
1747
+ readonly sourceShape?: BlankNode | NamedNode | (keyof $DefaultNamespaceT & string) | Maybe<BlankNode | NamedNode>;
1732
1748
  readonly value?: (BlankNode | NamedNode | Literal) | Maybe<BlankNode | NamedNode | Literal>;
1733
1749
  }): ValidationResult;
1734
1750
  const fromRdfResource: $FromRdfResourceFunction<ValidationResult>;