@shaclmate/shacl-ast 4.0.42 → 4.0.44

package/dist/generated.js

@@ -1002,16 +1002,20 @@ export var NodeShape;
             severity: {
                 kind: "Shacl",
                 path: dataFactory.namedNode("http://www.w3.org/ns/shacl#severity"),
-                type: {
-                    kind: "Option",
-                    itemType: {
-                        kind: "Iri",
-                        in: [
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
-                        ],
-                    },
+                get type() {
+                    return {
+                        kind: "Option",
+                        get itemType() {
+                            return {
+                                kind: "Iri",
+                                in: [
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
+                                ],
+                            };
+                        },
+                    };
                 },
             },
             subClassOf: {
@@ -1296,7 +1300,7 @@ export var Ontology;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: Ontology.schema.properties.comment,
+            propertySchema: NodeShape.schema.properties.comment,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         label: $shaclPropertyFromRdf({
@@ -1305,7 +1309,7 @@ export var Ontology;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: Ontology.schema.properties.label,
+            propertySchema: NodeShape.schema.properties.label,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
     }).chain((properties) => Ontology.create(properties)));
@@ -1403,7 +1407,7 @@ export var PropertyGroup;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyGroup.schema.properties.comment,
+            propertySchema: NodeShape.schema.properties.comment,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         label: $shaclPropertyFromRdf({
@@ -1412,7 +1416,7 @@ export var PropertyGroup;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyGroup.schema.properties.label,
+            propertySchema: NodeShape.schema.properties.label,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
     }).chain((properties) => PropertyGroup.create(properties)));
@@ -1554,7 +1558,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.and,
+            propertySchema: NodeShape.schema.properties.and,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($listFromRdfResourceValues($identifierFromRdfResourceValues)),
         }),
         classes: $shaclPropertyFromRdf({
@@ -1563,7 +1567,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.classes,
+            propertySchema: NodeShape.schema.properties.classes,
             typeFromRdfResourceValues: $setFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         comment: $shaclPropertyFromRdf({
@@ -1572,7 +1576,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.comment,
+            propertySchema: NodeShape.schema.properties.comment,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         datatype: $shaclPropertyFromRdf({
@@ -1581,7 +1585,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.datatype,
+            propertySchema: NodeShape.schema.properties.datatype,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         deactivated: $shaclPropertyFromRdf({
@@ -1590,7 +1594,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.deactivated,
+            propertySchema: NodeShape.schema.properties.deactivated,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($booleanFromRdfResourceValues)),
         }),
         defaultValue: $shaclPropertyFromRdf({
@@ -1635,7 +1639,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.flags,
+            propertySchema: NodeShape.schema.properties.flags,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         groups: $shaclPropertyFromRdf({
@@ -1653,7 +1657,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.hasValues,
+            propertySchema: NodeShape.schema.properties.hasValues,
             typeFromRdfResourceValues: $setFromRdfResourceValues(($termFromRdfResourceValues)),
         }),
         in_: $shaclPropertyFromRdf({
@@ -1662,7 +1666,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.in_,
+            propertySchema: NodeShape.schema.properties.in_,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($listFromRdfResourceValues(($termFromRdfResourceValues))),
         }),
         isDefinedBy: $shaclPropertyFromRdf({
@@ -1671,7 +1675,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.isDefinedBy,
+            propertySchema: NodeShape.schema.properties.isDefinedBy,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($identifierFromRdfResourceValues),
         }),
         label: $shaclPropertyFromRdf({
@@ -1680,7 +1684,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.label,
+            propertySchema: NodeShape.schema.properties.label,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         languageIn: $shaclPropertyFromRdf({
@@ -1689,7 +1693,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.languageIn,
+            propertySchema: NodeShape.schema.properties.languageIn,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($listFromRdfResourceValues(($stringFromRdfResourceValues))),
         }),
         lessThan: $shaclPropertyFromRdf({
@@ -1725,7 +1729,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.maxExclusive,
+            propertySchema: NodeShape.schema.properties.maxExclusive,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($literalFromRdfResourceValues),
         }),
         maxInclusive: $shaclPropertyFromRdf({
@@ -1734,7 +1738,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.maxInclusive,
+            propertySchema: NodeShape.schema.properties.maxInclusive,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($literalFromRdfResourceValues),
         }),
         maxLength: $shaclPropertyFromRdf({
@@ -1743,7 +1747,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.maxLength,
+            propertySchema: NodeShape.schema.properties.maxLength,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($bigIntFromRdfResourceValues)),
         }),
         message: $shaclPropertyFromRdf({
@@ -1752,7 +1756,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.message,
+            propertySchema: NodeShape.schema.properties.message,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         minCount: $shaclPropertyFromRdf({
@@ -1770,7 +1774,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.minExclusive,
+            propertySchema: NodeShape.schema.properties.minExclusive,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($literalFromRdfResourceValues),
         }),
         minInclusive: $shaclPropertyFromRdf({
@@ -1779,7 +1783,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.minInclusive,
+            propertySchema: NodeShape.schema.properties.minInclusive,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($literalFromRdfResourceValues),
         }),
         minLength: $shaclPropertyFromRdf({
@@ -1788,7 +1792,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.minLength,
+            propertySchema: NodeShape.schema.properties.minLength,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($bigIntFromRdfResourceValues)),
         }),
         name: $shaclPropertyFromRdf({
@@ -1806,7 +1810,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.node,
+            propertySchema: NodeShape.schema.properties.node,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($identifierFromRdfResourceValues),
         }),
         nodeKind: $shaclPropertyFromRdf({
@@ -1815,7 +1819,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.nodeKind,
+            propertySchema: NodeShape.schema.properties.nodeKind,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         not: $shaclPropertyFromRdf({
@@ -1824,7 +1828,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.not,
+            propertySchema: NodeShape.schema.properties.not,
             typeFromRdfResourceValues: $setFromRdfResourceValues($identifierFromRdfResourceValues),
         }),
         or: $shaclPropertyFromRdf({
@@ -1833,7 +1837,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.or,
+            propertySchema: NodeShape.schema.properties.or,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($listFromRdfResourceValues($identifierFromRdfResourceValues)),
         }),
         order: $shaclPropertyFromRdf({
@@ -1860,7 +1864,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.pattern,
+            propertySchema: NodeShape.schema.properties.pattern,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
         }),
         qualifiedMaxCount: $shaclPropertyFromRdf({
@@ -1905,7 +1909,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.severity,
+            propertySchema: NodeShape.schema.properties.severity,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         targetClasses: $shaclPropertyFromRdf({
@@ -1914,7 +1918,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.targetClasses,
+            propertySchema: NodeShape.schema.properties.targetClasses,
             typeFromRdfResourceValues: $setFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         targetNodes: $shaclPropertyFromRdf({
@@ -1923,7 +1927,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.targetNodes,
+            propertySchema: NodeShape.schema.properties.targetNodes,
             typeFromRdfResourceValues: $setFromRdfResourceValues(($termFromRdfResourceValues)),
         }),
         targetObjectsOf: $shaclPropertyFromRdf({
@@ -1932,7 +1936,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.targetObjectsOf,
+            propertySchema: NodeShape.schema.properties.targetObjectsOf,
             typeFromRdfResourceValues: $setFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         targetSubjectsOf: $shaclPropertyFromRdf({
@@ -1941,7 +1945,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.targetSubjectsOf,
+            propertySchema: NodeShape.schema.properties.targetSubjectsOf,
             typeFromRdfResourceValues: $setFromRdfResourceValues(($iriFromRdfResourceValues)),
         }),
         uniqueLang: $shaclPropertyFromRdf({
@@ -1959,7 +1963,7 @@ export var PropertyShape;
             focusResource: $resource,
             ignoreRdfType: true,
             preferredLanguages: _$options.preferredLanguages,
-            propertySchema: PropertyShape.schema.properties.xone,
+            propertySchema: NodeShape.schema.properties.xone,
             typeFromRdfResourceValues: $maybeFromRdfResourceValues($listFromRdfResourceValues($identifierFromRdfResourceValues)),
         }),
     }).chain((properties) => PropertyShape.create(properties)));
@@ -2301,16 +2305,20 @@ export var PropertyShape;
             severity: {
                 kind: "Shacl",
                 path: dataFactory.namedNode("http://www.w3.org/ns/shacl#severity"),
-                type: {
-                    kind: "Option",
-                    itemType: {
-                        kind: "Iri",
-                        in: [
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
-                        ],
-                    },
+                get type() {
+                    return {
+                        kind: "Option",
+                        get itemType() {
+                            return {
+                                kind: "Iri",
+                                in: [
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
+                                ],
+                            };
+                        },
+                    };
                 },
             },
             targetClasses: {
@@ -2582,6 +2590,373 @@ export var PropertyShape;
         path: $PropertyPath.$toString(_propertyShape.path),
     });
 })(PropertyShape || (PropertyShape = {}));
+export var ValidationReport;
+(function (ValidationReport) {
+    ValidationReport.create = (parameters) => $sequenceRecord({
+        $identifier: $convertToIdentifierProperty(parameters.$identifier),
+        conforms: Either.of(parameters.conforms),
+        results: $convertToScalarSet($identityConversionFunction, true)(parameters.results).chain((value) => $validateArray($identityValidationFunction, true)(ValidationReport.schema.properties.results.type, value)),
+        shapesGraphWellFormed: $convertToMaybe($identityConversionFunction)(parameters.shapesGraphWellFormed).chain((value) => $validateMaybe($identityValidationFunction)(ValidationReport.schema.properties.shapesGraphWellFormed.type, value)),
+    })
+        .map((properties) => ({
+        ...properties,
+        $type: "ValidationReport",
+    }))
+        .map((object) => $monkeyPatchObject(object, { $toString: ValidationReport.$toString }));
+    function createUnsafe(parameters) {
+        return ValidationReport.create(parameters).unsafeCoerce();
+    }
+    ValidationReport.createUnsafe = createUnsafe;
+    ValidationReport._fromRdfResource = ($resource, _$options) => (!_$options.ignoreRdfType
+        ? $ensureRdfResourceType($resource, [ValidationReport.schema.fromRdfType], { graph: _$options.graph })
+        : Right(true)).chain((_rdfTypeCheck) => $sequenceRecord({
+        $identifier: $identifierFromRdfResourceValues(new Resource.Value({
+            dataFactory: dataFactory,
+            focusResource: $resource,
+            propertyPath: $RdfVocabularies.rdf.subject,
+            term: $resource.identifier,
+        }).toValues(), {
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            preferredLanguages: _$options.preferredLanguages,
+            propertyPath: $RdfVocabularies.rdf.subject,
+            schema: ValidationReport.schema.properties.$identifier.type,
+        }).chain((values) => values.head()),
+        conforms: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationReport.schema.properties.conforms,
+            typeFromRdfResourceValues: ($booleanFromRdfResourceValues),
+        }),
+        results: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationReport.schema.properties.results,
+            typeFromRdfResourceValues: $setFromRdfResourceValues(ValidationResult.fromRdfResourceValues),
+        }),
+        shapesGraphWellFormed: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationReport.schema.properties.shapesGraphWellFormed,
+            typeFromRdfResourceValues: $maybeFromRdfResourceValues(($booleanFromRdfResourceValues)),
+        }),
+    }).chain((properties) => ValidationReport.create(properties)));
+    ValidationReport.fromRdfResource = $wrap_FromRdfResourceFunction(ValidationReport._fromRdfResource);
+    ValidationReport.fromRdfResourceValues = (values, options) => values.chainMap((value) => value
+        .toResource()
+        .chain((resource) => ValidationReport.fromRdfResource(resource, options)));
+    let Identifier;
+    (function (Identifier) {
+        Identifier.parse = $parseIdentifier;
+        Identifier.stringify = NTriplesTerm.stringify;
+    })(Identifier = ValidationReport.Identifier || (ValidationReport.Identifier = {}));
+    function isValidationReport(object) {
+        return object.$type === "ValidationReport";
+    }
+    ValidationReport.isValidationReport = isValidationReport;
+    ValidationReport.schema = {
+        fromRdfType: dataFactory.namedNode("http://www.w3.org/ns/shacl#ValidationReport"),
+        properties: {
+            $identifier: {
+                kind: "Identifier",
+                type: { kind: "Identifier" },
+            },
+            conforms: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#conforms"),
+                type: { kind: "Boolean" },
+            },
+            results: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#result"),
+                get type() {
+                    return {
+                        kind: "Set",
+                        get itemType() {
+                            return ValidationResult.schema;
+                        },
+                    };
+                },
+            },
+            shapesGraphWellFormed: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#shapesGraphWellFormed"),
+                type: {
+                    kind: "Option",
+                    itemType: { kind: "Boolean" },
+                },
+            },
+        },
+    };
+    ValidationReport._toRdfResource = (parameters) => {
+        if (!parameters.ignoreRdfType) {
+            parameters.resource.add($RdfVocabularies.rdf.type, dataFactory.namedNode("http://www.w3.org/ns/shacl#ValidationReport"), parameters.graph);
+        }
+        parameters.resource.add(ValidationReport.schema.properties.conforms.path, [
+            $literalFactory.boolean(parameters.object.conforms, $RdfVocabularies.xsd.boolean),
+        ], parameters.graph);
+        parameters.resource.add(ValidationReport.schema.properties.results.path, parameters.object.results.flatMap((item) => [
+            ValidationResult.toRdfResource(item, {
+                graph: parameters.graph,
+                resourceSet: parameters.resourceSet,
+            }).identifier,
+        ]), parameters.graph);
+        parameters.resource.add(ValidationReport.schema.properties.shapesGraphWellFormed.path, parameters.object.shapesGraphWellFormed
+            .toList()
+            .flatMap((value) => [
+            $literalFactory.boolean(value, $RdfVocabularies.xsd.boolean),
+        ]), parameters.graph);
+        return parameters.resource;
+    };
+    ValidationReport.toRdfResource = $wrap_ToRdfResourceFunction(ValidationReport._toRdfResource);
+    ValidationReport.$toString = (_validationReport) => `ValidationReport(${JSON.stringify(ValidationReport.toStringRecord(_validationReport))})`;
+    ValidationReport.toStringRecord = (_validationReport) => $compactRecord({ $identifier: _validationReport.$identifier().toString() });
+})(ValidationReport || (ValidationReport = {}));
+export var ValidationResult;
+(function (ValidationResult) {
+    ValidationResult.create = (parameters) => $sequenceRecord({
+        $identifier: $convertToIdentifierProperty(parameters.$identifier),
+        details: $convertToScalarSet($identityConversionFunction, true)(parameters.details).chain((value) => $validateArray($identityValidationFunction, true)(ValidationResult.schema.properties.details.type, value)),
+        focusNode: Either.of(parameters.focusNode),
+        message: $convertToMaybe($identityConversionFunction)(parameters.message).chain((value) => $validateMaybe($identityValidationFunction)(ValidationResult.schema.properties.message.type, value)),
+        path: $convertToMaybe($identityConversionFunction)(parameters.path).chain((value) => $validateMaybe($identityValidationFunction)(ValidationResult.schema.properties.path.type, value)),
+        severity: $convertToIri(parameters.severity),
+        sourceConstraintComponent: $convertToIri(parameters.sourceConstraintComponent),
+        sourceShape: $convertToMaybe($convertToIdentifier)(parameters.sourceShape).chain((value) => $validateMaybe($identityValidationFunction)(ValidationResult.schema.properties.sourceShape.type, value)),
+        value: $convertToMaybe($identityConversionFunction)(parameters.value).chain((value) => $validateMaybe($identityValidationFunction)(ValidationResult.schema.properties.value.type, value)),
+    })
+        .map((properties) => ({
+        ...properties,
+        $type: "ValidationResult",
+    }))
+        .map((object) => $monkeyPatchObject(object, { $toString: ValidationResult.$toString }));
+    function createUnsafe(parameters) {
+        return ValidationResult.create(parameters).unsafeCoerce();
+    }
+    ValidationResult.createUnsafe = createUnsafe;
+    ValidationResult._fromRdfResource = ($resource, _$options) => (!_$options.ignoreRdfType
+        ? $ensureRdfResourceType($resource, [ValidationResult.schema.fromRdfType], { graph: _$options.graph })
+        : Right(true)).chain((_rdfTypeCheck) => $sequenceRecord({
+        $identifier: $identifierFromRdfResourceValues(new Resource.Value({
+            dataFactory: dataFactory,
+            focusResource: $resource,
+            propertyPath: $RdfVocabularies.rdf.subject,
+            term: $resource.identifier,
+        }).toValues(), {
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            preferredLanguages: _$options.preferredLanguages,
+            propertyPath: $RdfVocabularies.rdf.subject,
+            schema: ValidationResult.schema.properties.$identifier.type,
+        }).chain((values) => values.head()),
+        details: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.details,
+            typeFromRdfResourceValues: $setFromRdfResourceValues(($termFromRdfResourceValues)),
+        }),
+        focusNode: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.focusNode,
+            typeFromRdfResourceValues: ($termFromRdfResourceValues),
+        }),
+        message: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.message,
+            typeFromRdfResourceValues: $maybeFromRdfResourceValues(($stringFromRdfResourceValues)),
+        }),
+        path: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.path,
+            typeFromRdfResourceValues: $maybeFromRdfResourceValues($PropertyPath.fromRdfResourceValues),
+        }),
+        severity: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.severity,
+            typeFromRdfResourceValues: ($iriFromRdfResourceValues),
+        }),
+        sourceConstraintComponent: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.sourceConstraintComponent,
+            typeFromRdfResourceValues: ($iriFromRdfResourceValues),
+        }),
+        sourceShape: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.sourceShape,
+            typeFromRdfResourceValues: $maybeFromRdfResourceValues($identifierFromRdfResourceValues),
+        }),
+        value: $shaclPropertyFromRdf({
+            context: _$options.context,
+            graph: _$options.graph,
+            focusResource: $resource,
+            ignoreRdfType: true,
+            preferredLanguages: _$options.preferredLanguages,
+            propertySchema: ValidationResult.schema.properties.value,
+            typeFromRdfResourceValues: $maybeFromRdfResourceValues(($termFromRdfResourceValues)),
+        }),
+    }).chain((properties) => ValidationResult.create(properties)));
+    ValidationResult.fromRdfResource = $wrap_FromRdfResourceFunction(ValidationResult._fromRdfResource);
+    ValidationResult.fromRdfResourceValues = (values, options) => values.chainMap((value) => value
+        .toResource()
+        .chain((resource) => ValidationResult.fromRdfResource(resource, options)));
+    let Identifier;
+    (function (Identifier) {
+        Identifier.parse = $parseIdentifier;
+        Identifier.stringify = NTriplesTerm.stringify;
+    })(Identifier = ValidationResult.Identifier || (ValidationResult.Identifier = {}));
+    function isValidationResult(object) {
+        return object.$type === "ValidationResult";
+    }
+    ValidationResult.isValidationResult = isValidationResult;
+    ValidationResult.schema = {
+        fromRdfType: dataFactory.namedNode("http://www.w3.org/ns/shacl#ValidationResult"),
+        properties: {
+            $identifier: {
+                kind: "Identifier",
+                type: { kind: "Identifier" },
+            },
+            details: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#detail"),
+                type: {
+                    kind: "Set",
+                    itemType: {
+                        kind: "Term",
+                        types: ["BlankNode", "NamedNode", "Literal"],
+                    },
+                },
+            },
+            focusNode: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#focusNode"),
+                type: {
+                    kind: "Term",
+                    types: ["BlankNode", "NamedNode", "Literal"],
+                },
+            },
+            message: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#resultMessage"),
+                type: {
+                    kind: "Option",
+                    itemType: { kind: "String" },
+                },
+            },
+            path: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#resultPath"),
+                get type() {
+                    return {
+                        kind: "Option",
+                        get itemType() {
+                            return $PropertyPath.schema;
+                        },
+                    };
+                },
+            },
+            severity: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#resultSeverity"),
+                get type() {
+                    return {
+                        kind: "Iri",
+                        in: [
+                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
+                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
+                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
+                        ],
+                    };
+                },
+            },
+            sourceConstraintComponent: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#sourceConstraintComponent"),
+                type: { kind: "Iri" },
+            },
+            sourceShape: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#sourceShape"),
+                type: {
+                    kind: "Option",
+                    itemType: { kind: "Identifier" },
+                },
+            },
+            value: {
+                kind: "Shacl",
+                path: dataFactory.namedNode("http://www.w3.org/ns/shacl#value"),
+                type: {
+                    kind: "Option",
+                    itemType: {
+                        kind: "Term",
+                        types: ["BlankNode", "NamedNode", "Literal"],
+                    },
+                },
+            },
+        },
+    };
+    ValidationResult._toRdfResource = (parameters) => {
+        if (!parameters.ignoreRdfType) {
+            parameters.resource.add($RdfVocabularies.rdf.type, dataFactory.namedNode("http://www.w3.org/ns/shacl#ValidationResult"), parameters.graph);
+        }
+        parameters.resource.add(ValidationResult.schema.properties.details.path, parameters.object.details.flatMap((item) => [item]), parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.focusNode.path, [parameters.object.focusNode], parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.message.path, parameters.object.message
+            .toList()
+            .flatMap((value) => [$literalFactory.string(value)]), parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.path.path, parameters.object.path.toList().flatMap((value) => [
+            $PropertyPath.toRdfResource(value, {
+                graph: parameters.graph,
+                resourceSet: parameters.resourceSet,
+            }).identifier,
+        ]), parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.severity.path, [parameters.object.severity], parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.sourceConstraintComponent.path, [parameters.object.sourceConstraintComponent], parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.sourceShape.path, parameters.object.sourceShape.toList(), parameters.graph);
+        parameters.resource.add(ValidationResult.schema.properties.value.path, parameters.object.value.toList(), parameters.graph);
+        return parameters.resource;
+    };
+    ValidationResult.toRdfResource = $wrap_ToRdfResourceFunction(ValidationResult._toRdfResource);
+    ValidationResult.$toString = (_validationResult) => `ValidationResult(${JSON.stringify(ValidationResult.toStringRecord(_validationResult))})`;
+    ValidationResult.toStringRecord = (_validationResult) => $compactRecord({ $identifier: _validationResult.$identifier().toString() });
+})(ValidationResult || (ValidationResult = {}));
 export var Shape;
 (function (Shape) {
     Shape.$toString = (value) => {
@@ -2837,16 +3212,20 @@ export var Shape;
             severity: {
                 kind: "Shacl",
                 path: dataFactory.namedNode("http://www.w3.org/ns/shacl#severity"),
-                type: {
-                    kind: "Option",
-                    itemType: {
-                        kind: "Iri",
-                        in: [
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
-                            dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
-                        ],
-                    },
+                get type() {
+                    return {
+                        kind: "Option",
+                        get itemType() {
+                            return {
+                                kind: "Iri",
+                                in: [
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Info"),
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Warning"),
+                                    dataFactory.namedNode("http://www.w3.org/ns/shacl#Violation"),
+                                ],
+                            };
+                        },
+                    };
                 },
             },
             targetClasses: {
@@ -2929,6 +3308,12 @@ export var $Object;
         if (PropertyShape.isPropertyShape(value)) {
             return PropertyShape.$toString(value);
         }
+        if (ValidationReport.isValidationReport(value)) {
+            return ValidationReport.$toString(value);
+        }
+        if (ValidationResult.isValidationResult(value)) {
+            return ValidationResult.$toString(value);
+        }
         throw new Error("unable to serialize to string");
     };
     $Object.fromRdfResource = (resource, options) => NodeShape.fromRdfResource(resource, {
@@ -2946,6 +3331,14 @@ export var $Object;
         .altLazy(() => PropertyShape.fromRdfResource(resource, {
         ...options,
         ignoreRdfType: false,
+    }))
+        .altLazy(() => ValidationReport.fromRdfResource(resource, {
+        ...options,
+        ignoreRdfType: false,
+    }))
+        .altLazy(() => ValidationResult.fromRdfResource(resource, {
+        ...options,
+        ignoreRdfType: false,
     }));
     $Object.fromRdfResourceValues = ((values, options) => values.chainMap((value) => {
         const valueAsValues = value.toValues();
@@ -2964,6 +3357,14 @@ export var $Object;
             .altLazy(() => PropertyShape.fromRdfResourceValues(valueAsValues, {
             ...options,
             schema: options.schema.members["PropertyShape"].type,
+        }))
+            .altLazy(() => ValidationReport.fromRdfResourceValues(valueAsValues, {
+            ...options,
+            schema: options.schema.members["ValidationReport"].type,
+        }))
+            .altLazy(() => ValidationResult.fromRdfResourceValues(valueAsValues, {
+            ...options,
+            schema: options.schema.members["ValidationResult"].type,
         }))
             .chain((values) => values.head());
     }));
@@ -2985,25 +3386,16 @@ export var $Object;
                 discriminantValues: ["PropertyShape"],
                 type: PropertyShape.schema,
             },
-        },
-        properties: {
-            comment: {
-                kind: "Shacl",
-                path: dataFactory.namedNode("http://www.w3.org/2000/01/rdf-schema#comment"),
-                type: {
-                    kind: "Option",
-                    itemType: { kind: "String" },
-                },
+            ValidationReport: {
+                discriminantValues: ["ValidationReport"],
+                type: ValidationReport.schema,
             },
-            label: {
-                kind: "Shacl",
-                path: dataFactory.namedNode("http://www.w3.org/2000/01/rdf-schema#label"),
-                type: {
-                    kind: "Option",
-                    itemType: { kind: "String" },
-                },
+            ValidationResult: {
+                discriminantValues: ["ValidationResult"],
+                type: ValidationResult.schema,
             },
         },
+        properties: {},
     };
     $Object.toRdfResource = (object, options) => {
         if (NodeShape.isNodeShape(object)) {
@@ -3018,6 +3410,12 @@ export var $Object;
         if (PropertyShape.isPropertyShape(object)) {
             return PropertyShape.toRdfResource(object, options);
         }
+        if (ValidationReport.isValidationReport(object)) {
+            return ValidationReport.toRdfResource(object, options);
+        }
+        if (ValidationResult.isValidationResult(object)) {
+            return ValidationResult.toRdfResource(object, options);
+        }
         throw new Error("unrecognized type");
     };
     $Object.toRdfResourceValues = ((value, _options) => {
@@ -3053,6 +3451,22 @@ export var $Object;
                 }).identifier,
             ];
         }
+        if (ValidationReport.isValidationReport(value)) {
+            return [
+                ValidationReport.toRdfResource(value, {
+                    graph: _options.graph,
+                    resourceSet: _options.resourceSet,
+                }).identifier,
+            ];
+        }
+        if (ValidationResult.isValidationResult(value)) {
+            return [
+                ValidationResult.toRdfResource(value, {
+                    graph: _options.graph,
+                    resourceSet: _options.resourceSet,
+                }).identifier,
+            ];
+        }
         throw new Error("unable to serialize to RDF");
     });
 })($Object || ($Object = {}));