@shaclmate/compiler 4.0.94 → 4.0.96

package/dist/generators/ts/SetType.d.ts

@@ -1,6 +1,6 @@
 import { Maybe } from "purify-ts";
 import { AbstractCollectionType } from "./AbstractCollectionType.js";
-import type { AbstractContainerType } from "./AbstractContainerType.js";
+import type { Callable } from "./Callable.js";
 import { type Code } from "./ts-poet-wrapper.js";
 export declare class SetType<ItemTypeT extends SetType.ItemType> extends AbstractCollectionType<ItemTypeT> {
     readonly graphqlArgs: AbstractCollectionType<ItemTypeT>["graphqlArgs"];
@@ -13,20 +13,23 @@ export declare class SetType<ItemTypeT extends SetType.ItemType> extends Abstrac
     constructor({ minCount, ...superParameters }: {
         minCount: bigint;
     } & ConstructorParameters<typeof AbstractCollectionType<ItemTypeT>>[0]);
+    get jsonValueType(): AbstractCollectionType<ItemTypeT>["jsonValueType"];
     get conversionFunction(): Maybe<AbstractCollectionType.ConversionFunction>;
-    get fromRdfResourceValuesFunction(): Code;
+    get jsonObjectType(): AbstractCollectionType<ItemTypeT>["jsonObjectType"];
+    get fromJsonValueFunction(): AbstractCollectionType<ItemTypeT>["fromJsonValueFunction"];
+    get fromJsonObjectFunction(): AbstractCollectionType<ItemTypeT>["fromJsonObjectFunction"];
+    get fromRdfResourceValuesFunction(): Callable;
+    get toJsonValueFunction(): AbstractCollectionType<ItemTypeT>["toJsonValueFunction"];
+    get toJsonObjectFunction(): AbstractCollectionType<ItemTypeT>["toJsonObjectFunction"];
     get toRdfResourceValueTypes(): AbstractCollectionType<ItemTypeT>["toRdfResourceValueTypes"];
-    get valueSparqlConstructTriplesFunction(): Code;
-    get valueSparqlWherePatternsFunction(): Code;
+    get valueSparqlConstructTriplesFunction(): Callable;
+    get valueSparqlWherePatternsFunction(): Callable;
     protected get schemaInitializers(): readonly Code[];
-    fromJsonExpression({ variables, }: Parameters<AbstractContainerType<ItemTypeT>["fromJsonExpression"]>[0]): Code;
-    jsonSchema(parameters: Parameters<AbstractContainerType<ItemTypeT>["jsonSchema"]>[0]): Code;
-    jsonType(): AbstractCollectionType.JsonType;
     toRdfResourceValuesExpression({ variables, }: Parameters<AbstractCollectionType<ItemTypeT>["toRdfResourceValuesExpression"]>[0]): Code;
     toStringExpression({ variables, }: Parameters<AbstractCollectionType<ItemTypeT>["toStringExpression"]>[0]): Code;
 }
 export declare namespace SetType {
     type ItemType = AbstractCollectionType.ItemType;
-    const isItemType: typeof AbstractContainerType.isItemType;
+    const isItemType: typeof import("./AbstractContainerType.js").AbstractContainerType.isItemType;
 }
 //# sourceMappingURL=SetType.d.ts.map

package/dist/generators/ts/SetType.js

@@ -8,6 +8,8 @@ import { Maybe } from "purify-ts";
 import { invariant } from "ts-invariant";
 import { Memoize } from "typescript-memoize";
 import { AbstractCollectionType } from "./AbstractCollectionType.js";
+import { InlineCallable } from "./InlineCallable.js";
+import { ReferenceCallable } from "./ReferenceCallable.js";
 import { code, joinCode } from "./ts-poet-wrapper.js";
 export class SetType extends AbstractCollectionType {
     graphqlArgs = Maybe.empty();
@@ -24,6 +26,12 @@ export class SetType extends AbstractCollectionType {
             invariant(this.minCount === 0n);
         }
     }
+    get jsonValueType() {
+        return this.jsonTypeFactory.createJsonArrayType(this.itemType.jsonValueType, {
+            minCount: this.minCount,
+            name: this.name.map((name) => [name, "Json"]).extract(),
+        });
+    }
     get conversionFunction() {
         const itemConversionFunction = this.itemType.conversionFunction.orDefault(this.itemConversionFunctionDefault);
         let conversionFunction;
@@ -58,17 +66,32 @@ export class SetType extends AbstractCollectionType {
             sourceTypes,
         });
     }
+    get jsonObjectType() {
+        throw new Error("should never be called");
+    }
+    get fromJsonValueFunction() {
+        return new ReferenceCallable(code `${this.reusables.snippets.arrayFromJsonArray}(${this.itemType.fromJsonValueFunction.annotatedUsage})`);
+    }
+    get fromJsonObjectFunction() {
+        throw new Error("should never be called");
+    }
     get fromRdfResourceValuesFunction() {
-        return code `${this._mutable ? this.reusables.snippets.mutableSetFromRdfResourceValues : this.reusables.snippets.setFromRdfResourceValues}<${this.itemType.expression}, ${this.itemType.schemaType}>(${this.itemType.fromRdfResourceValuesFunction})`;
+        return new InlineCallable(code `${this._mutable ? this.reusables.snippets.mutableSetFromRdfResourceValues : this.reusables.snippets.setFromRdfResourceValues}<${this.itemType.expression}, ${this.itemType.schemaType}>(${this.itemType.fromRdfResourceValuesFunction.unannotatedUsage})`);
+    }
+    get toJsonValueFunction() {
+        return new ReferenceCallable(code `${this.reusables.snippets.arrayToJsonArray}(${this.itemType.toJsonValueFunction.annotatedUsage})`);
+    }
+    get toJsonObjectFunction() {
+        throw new Error("should never be called");
     }
     get toRdfResourceValueTypes() {
         return this.itemType.toRdfResourceValueTypes;
     }
     get valueSparqlConstructTriplesFunction() {
-        return code `${this.reusables.snippets.setSparqlConstructTriples}<${this.itemType.filterType}, ${this.itemType.schemaType}>(${this.itemType.valueSparqlConstructTriplesFunction})`;
+        return new InlineCallable(code `${this.reusables.snippets.setSparqlConstructTriples}<${this.itemType.filterType}, ${this.itemType.schemaType}>(${this.itemType.valueSparqlConstructTriplesFunction.unannotatedUsage})`);
     }
     get valueSparqlWherePatternsFunction() {
-        return code `${this.reusables.snippets.setSparqlWherePatterns}<${this.itemType.filterType}, ${this.itemType.schemaType}>(${this.itemType.valueSparqlWherePatternsFunction})`;
+        return new InlineCallable(code `${this.reusables.snippets.setSparqlWherePatterns}<${this.itemType.filterType}, ${this.itemType.schemaType}>(${this.itemType.valueSparqlWherePatternsFunction.unannotatedUsage})`);
     }
     get schemaInitializers() {
         let schemaInitializers = super.schemaInitializers;
@@ -77,35 +100,6 @@ export class SetType extends AbstractCollectionType {
         }
         return schemaInitializers;
     }
-    fromJsonExpression({ variables, }) {
-        let expression = variables.value;
-        if (this.minCount === 0n) {
-            expression = code `(${expression} ?? [])`;
-        }
-        return code `${this.reusables.imports.Either}.sequence<Error, ${this.itemType.expression}>(${expression}.map(item => (${this.itemType.fromJsonExpression({
-            variables: { value: code `item` },
-        })})))`;
-    }
-    jsonSchema(parameters) {
-        let schema = code `${this.itemType.jsonSchema(parameters)}.array()`;
-        if (this.minCount > 0n) {
-            schema = code `${schema}.nonempty().min(${this.minCount})`;
-        }
-        else {
-            schema = code `${schema}.optional()`;
-        }
-        if (!this._mutable) {
-            schema = code `${schema}.readonly()`;
-        }
-        return schema;
-    }
-    jsonType() {
-        const name = code `${!this.mutable ? "readonly " : ""}(${this.itemType.jsonType().expression})[]`;
-        if (this.minCount === 0n) {
-            return new AbstractCollectionType.JsonType(name, { optional: true });
-        }
-        return new AbstractCollectionType.JsonType(name);
-    }
     toRdfResourceValuesExpression({ variables, }) {
         return code `${variables.value}.flatMap((item) => ${this.itemType.toRdfResourceValuesExpression({
             variables: { ...variables, value: code `item` },
@@ -115,21 +109,27 @@ export class SetType extends AbstractCollectionType {
         return code `(${variables.value}.length > 0 ? \`[\${${variables.value}.map(item => (${this.itemType.toStringExpression({ variables: { value: code `item` } })}))}]\` : undefined)`;
     }
 }
+__decorate([
+    Memoize()
+], SetType.prototype, "jsonValueType", null);
 __decorate([
     Memoize()
 ], SetType.prototype, "conversionFunction", null);
+__decorate([
+    Memoize()
+], SetType.prototype, "fromJsonValueFunction", null);
 __decorate([
     Memoize()
 ], SetType.prototype, "fromRdfResourceValuesFunction", null);
 __decorate([
     Memoize()
-], SetType.prototype, "valueSparqlConstructTriplesFunction", null);
+], SetType.prototype, "toJsonValueFunction", null);
 __decorate([
     Memoize()
-], SetType.prototype, "valueSparqlWherePatternsFunction", null);
+], SetType.prototype, "valueSparqlConstructTriplesFunction", null);
 __decorate([
     Memoize()
-], SetType.prototype, "jsonType", null);
+], SetType.prototype, "valueSparqlWherePatternsFunction", null);
 (function (SetType) {
     SetType.isItemType = AbstractCollectionType.isItemType;
 })(SetType || (SetType = {}));

package/dist/generators/ts/SnippetFactory.d.ts

@@ -9,7 +9,7 @@ export type SnippetFactory = (parameters: {
     configuration: TsGenerator.Configuration;
     imports: Imports;
     logger: Logger;
-    rdfjsTermExpression: (rdfjsTerm: Omit<BlankNode, "equals"> | Omit<Literal, "equals"> | Omit<NamedNode, "equals"> | Omit<Variable, "equals">) => Code;
+    rdfjsTermExpression: (rdfjsTerm: BlankNode | Literal | NamedNode | Variable) => Code;
     snippets: Snippets;
     syntheticNamePrefix: string;
 }) => Snippet;

package/dist/generators/ts/Snippets.d.ts

@@ -1,4 +1,6 @@
+import type { NamedNode } from "@rdfjs/types";
 import type { Logger } from "@rdfx/logger";
+import { Maybe } from "purify-ts";
 import type { Imports } from "./Imports.js";
 import type { Snippet } from "./Snippet.js";
 import type { TsGenerator } from "./TsGenerator.js";
@@ -7,6 +9,7 @@ export declare class Snippets {
     private readonly configuration;
     private readonly imports;
     private readonly logger;
+    private readonly rdfjsNamedNodeSnippets;
     constructor({ configuration, imports, logger, }: {
         configuration: TsGenerator.Configuration;
         imports: Imports;
@@ -24,40 +27,57 @@ export declare class Snippets {
     get DefaultValueSchema(): Snippet;
     get EqualsFunction(): Snippet;
     get EqualsResult(): Snippet;
+    get FilterFunction(): Snippet;
     get FocusSparqlConstructTriplesFunction(): Snippet;
     get FocusSparqlWherePatternsFunction(): Snippet;
+    get FromJsonObjectFunction(): Snippet;
+    get FromJsonValueFunction(): Snippet;
     get FromRdfResourceFunction(): Snippet;
     get FromRdfResourceValuesFunction(): Snippet;
     get HashFunction(): Snippet;
     get Hasher(): Snippet;
     get IdentifierFilter(): Snippet;
+    get IdentifierJsonObject(): Snippet;
     get IdentifierSchema(): Snippet;
     get IdentifierSet(): Snippet;
     get IriFilter(): Snippet;
     get IriSchema(): Snippet;
+    get LangStringJsonObject(): Snippet;
     get LangStringSchema(): Snippet;
     get Lazy(): Snippet;
     get LazyOption(): Snippet;
     get LazySet(): Snippet;
     get LiteralFilter(): Snippet;
+    get LiteralJsonObject(): Snippet;
     get LiteralSchema(): Snippet;
     get MaybeFilter(): Snippet;
     get MaybeSchema(): Snippet;
     get NamespaceBuilder(): Snippet;
     get NumericFilter(): Snippet;
     get NumericSchema(): Snippet;
+    get ObjectTypeGuardFunction(): Snippet;
+    get Primitive(): Snippet;
+    get ProblemDetailsJson(): Snippet;
     get PropertyPath(): Snippet;
-    get RdfVocabularies(): Snippet;
     get ShaclPropertySchema(): Snippet;
+    get SparqlConstructQueryFunction(): Snippet;
+    get SparqlConstructQueryStringFunction(): Snippet;
     get SparqlFilterPattern(): Snippet;
     get SparqlPattern(): Snippet;
     get SparqlPattern_isSolutionGenerating(): Snippet;
     get StringFilter(): Snippet;
     get StringSchema(): Snippet;
     get TermFilter(): Snippet;
+    get TermJsonObject(): Snippet;
     get TermSchema(): Snippet;
+    get ToJsonObjectFunction(): Snippet;
+    get ToJsonValueFunction(): Snippet;
+    get ToLoggableFunction(): Snippet;
     get ToRdfResourceFunction(): Snippet;
     get ToRdfResourceValuesFunction(): Snippet;
+    get ToStringFunction(): Snippet;
+    get ToStringRecordFunction(): Snippet;
+    get TypedLiteralJsonObject(): Snippet;
     get UnwrapR(): Snippet;
     get ValidationFunction(): Snippet;
     get ValueSparqlConstructTriplesFunction(): Snippet;
@@ -65,17 +85,34 @@ export declare class Snippets {
     get _FromRdfResourceFunction(): Snippet;
     get _ToRdfResourceFunction(): Snippet;
     get arrayEquals(): Snippet;
+    get arrayFromJsonArray(): Snippet;
     get arrayIntersection(): Snippet;
+    get arrayToJsonArray(): Snippet;
+    get bigDecimalFromJsonObject(): Snippet;
+    get bigDecimalFromJsonString(): Snippet;
     get bigDecimalFromRdfResourceValues(): Snippet;
     get bigDecimalLiteral(): Snippet;
     get bigDecimalSparqlWherePatterns(): Snippet;
+    get bigDecimalToJsonObject(): Snippet;
+    get bigDecimalToJsonString(): Snippet;
+    get bigIntFromJsonObject(): Snippet;
+    get bigIntFromJsonString(): Snippet;
     get bigIntFromRdfResourceValues(): Snippet;
+    get bigIntToJsonObject(): Snippet;
+    get bigIntToJsonString(): Snippet;
+    get blankNodeFromJsonObject(): Snippet;
+    get blankNodeFromJsonString(): Snippet;
     get blankNodeFromRdfResourceValues(): Snippet;
     get blankNodeSparqlWherePatterns(): Snippet;
+    get blankNodeToJsonObject(): Snippet;
+    get blankNodeToJsonString(): Snippet;
     get booleanEquals(): Snippet;
+    get booleanFromJsonBoolean(): Snippet;
+    get booleanFromJsonObject(): Snippet;
     get booleanFromRdfResourceValues(): Snippet;
     get booleanSparqlWherePatterns(): Snippet;
     get compactRecord(): Snippet;
+    get constrainPrimitive(): Snippet;
     get convertToArraySet(): Snippet;
     get convertToBigDecimal(): Snippet;
     get convertToBigInt(): Snippet;
@@ -100,13 +137,22 @@ export declare class Snippets {
     get convertToScalarSet(): Snippet;
     get convertWithDefaultValue(): Snippet;
     get dateEquals(): Snippet;
+    get dateFromJsonObject(): Snippet;
+    get dateFromJsonString(): Snippet;
     get dateFromRdfResourceValues(): Snippet;
     get dateSparqlWherePatterns(): Snippet;
+    get dateTimeFromJsonObject(): Snippet;
     get dateTimeFromRdfResourceValues(): Snippet;
+    get dateTimeToJsonString(): Snippet;
+    get dateToJsonObject(): Snippet;
+    get dateToJsonString(): Snippet;
     get deduplicateSparqlPatterns(): Snippet;
+    get defaultValueFromJsonObject(): Snippet;
+    get defaultValueFromJsonValue(): Snippet;
     get defaultValueFromRdfResourceValues(): Snippet;
     get defaultValueSparqlWherePatterns(): Snippet;
     get ensureRdfResourceType(): Snippet;
+    get errorToProblemDetailsJson(): Snippet;
     get filterArray(): Snippet;
     get filterBigDecimal(): Snippet;
     get filterBlankNode(): Snippet;
@@ -119,6 +165,8 @@ export declare class Snippets {
     get filterNumeric(): Snippet;
     get filterString(): Snippet;
     get filterTerm(): Snippet;
+    get floatFromJsonNumber(): Snippet;
+    get floatFromJsonObject(): Snippet;
     get floatFromRdfResourceValues(): Snippet;
     get hashArray(): Snippet;
     get hashBigDecimal(): Snippet;
@@ -129,28 +177,48 @@ export declare class Snippets {
     get hashNumeric(): Snippet;
     get hashString(): Snippet;
     get hashTerm(): Snippet;
+    get identifierFromJsonObject(): Snippet;
+    get identifierFromJsonString(): Snippet;
     get identifierFromRdfResourceValues(): Snippet;
     get identifierSparqlWherePatterns(): Snippet;
+    get identifierToJsonObject(): Snippet;
+    get identifierToJsonString(): Snippet;
     get identityConversionFunction(): Snippet;
     get identityValidationFunction(): Snippet;
-    get ifUsed(): Code[];
+    get intFromJsonNumber(): Snippet;
+    get intFromJsonObject(): Snippet;
     get intFromRdfResourceValues(): Snippet;
+    get iriFromJsonObject(): Snippet;
+    get iriFromJsonString(): Snippet;
     get iriFromRdfResourceValues(): Snippet;
     get iriSparqlWherePatterns(): Snippet;
+    get iriToJsonObject(): Snippet;
+    get iriToJsonString(): Snippet;
+    get langStringFromJsonObject(): Snippet;
     get langStringFromRdfResourceValues(): Snippet;
     get langStringSparqlWherePatterns(): Snippet;
+    get langStringToJsonObject(): Snippet;
     get liftSparqlPatterns(): Snippet;
+    get listFromJsonObject(): Snippet;
     get listFromRdfResourceValues(): Snippet;
     get listSparqlConstructTriples(): Snippet;
     get listSparqlWherePatterns(): Snippet;
+    get listToJsonObject(): Snippet;
     get literalFactory(): Snippet;
+    get literalFromJsonObject(): Snippet;
     get literalFromRdfResourceValues(): Snippet;
     get literalSchemaSparqlPatterns(): Snippet;
     get literalSparqlWherePatterns(): Snippet;
+    get literalToJsonObject(): Snippet;
     get maybeEquals(): Snippet;
+    get maybeFromJsonObject(): Snippet;
+    get maybeFromJsonValue(): Snippet;
     get maybeFromRdfResourceValues(): Snippet;
     get maybeSparqlConstructTriples(): Snippet;
     get maybeSparqlWherePatterns(): Snippet;
+    get maybeToJsonObject(): Snippet;
+    get maybeToJsonValue(): Snippet;
+    get missingResolver(): Snippet;
     get monkeyPatchObject(): Snippet;
     get mutableListFromRdfResourceValues(): Snippet;
     get mutableSetFromRdfResourceValues(): Snippet;
@@ -159,6 +227,8 @@ export declare class Snippets {
     get parseBlankNode(): Snippet;
     get parseIdentifier(): Snippet;
     get parseIri(): Snippet;
+    get primitiveToJsonObject(): Snippet;
+    get primitiveToJsonValue(): Snippet;
     get propertyEquals(): Snippet;
     get rdfResourceIdentifierValues(): Snippet;
     get sequenceRecord(): Snippet;
@@ -173,20 +243,28 @@ export declare class Snippets {
     get sparqlPropertyPath(): Snippet;
     get sparqlValueInPattern(): Snippet;
     get strictEquals(): Snippet;
+    get stringFromJsonObject(): Snippet;
+    get stringFromJsonString(): Snippet;
     get stringFromRdfResourceValues(): Snippet;
     get stringSparqlWherePatterns(): Snippet;
     get termFilterSparqlPatterns(): Snippet;
+    get termFromJsonObject(): Snippet;
     get termFromRdfResourceValues(): Snippet;
     get termLikeFromRdfResourceValues(): Snippet;
     get termSchemaSparqlPatterns(): Snippet;
     get termSparqlWherePatterns(): Snippet;
+    get termToJsonObject(): Snippet;
     get toIsoDateString(): Snippet;
+    get typedLiteralToJsonObject(): Snippet;
     get validateArray(): Snippet;
     get validateMaybe(): Snippet;
     get validateMutableArray(): Snippet;
     get wrap_FromRdfResourceFunction(): Snippet;
     get wrap_ToRdfResourceFunction(): Snippet;
+    get zValidator(): Snippet;
+    get ifUsed(): Code[];
     protected get snippets(): Snippets;
+    rdfjsNamedNode(namedNode: NamedNode): Maybe<Snippet>;
     private snippet;
 }
 //# sourceMappingURL=Snippets.d.ts.map