@shaclmate/compiler 4.0.22 → 4.0.24

package/dist/input/generated.d.ts

@@ -1,5 +1,5 @@
 import type { BlankNode, DatasetCore, Literal, NamedNode, Quad_Graph, Variable } from "@rdfjs/types";
-import { PropertyPath as RdfjsResourcePropertyPath, Resource, ResourceSet } from "@rdfx/resource";
+import { PropertyPath as RdfxResourcePropertyPath, Resource, ResourceSet } from "@rdfx/resource";
 import { NTriplesTerm } from "@rdfx/string";
 import { Either, Maybe } from "purify-ts";
 interface $BooleanFilter {
@@ -9,6 +9,43 @@ type $CollectionFilter<ItemFilterT> = ItemFilterT & {
     readonly $maxCount?: number;
     readonly $minCount?: number;
 };
+export type $EqualsResult = Either<$EqualsResult.Unequal, true>;
+export declare namespace $EqualsResult {
+    const Equal: $EqualsResult;
+    function fromBooleanEqualsResult(left: any, right: any, equalsResult: boolean | $EqualsResult): $EqualsResult;
+    type Unequal = {
+        readonly left: {
+            readonly array: readonly any[];
+            readonly element: any;
+            readonly elementIndex: number;
+        };
+        readonly right: {
+            readonly array: readonly any[];
+            readonly unequals: readonly Unequal[];
+        };
+        readonly type: "array-element";
+    } | {
+        readonly left: readonly any[];
+        readonly right: readonly any[];
+        readonly type: "array-length";
+    } | {
+        readonly left: any;
+        readonly right: any;
+        readonly type: "boolean";
+    } | {
+        readonly right: any;
+        readonly type: "left-null";
+    } | {
+        readonly left: any;
+        readonly right: any;
+        readonly propertyName: string;
+        readonly propertyValuesUnequal: Unequal;
+        readonly type: "property";
+    } | {
+        readonly left: any;
+        readonly type: "right-null";
+    };
+}
 export type $FromRdfResourceFunction<T> = (resource: Resource, options?: {
     context?: unknown;
     graph?: Exclude<Quad_Graph, Variable>;
@@ -50,7 +87,7 @@ type $PropertiesFromRdfResourceFunction<T> = (resource: Resource, options: {
     objectSet: $ObjectSet;
     preferredLanguages?: readonly string[];
 }) => Either<Error, T>;
-export type $PropertyPath = RdfjsResourcePropertyPath;
+export type $PropertyPath = RdfxResourcePropertyPath;
 export declare namespace $PropertyPath {
     type $Filter = object;
     function $filter(_filter: $Filter, _value: $PropertyPath): boolean;
@@ -58,6 +95,7 @@ export declare namespace $PropertyPath {
     const $fromRdfResourceValues: $FromRdfResourceValuesFunction<$PropertyPath>;
     const $schema: Readonly<object>;
     const $toRdfResource: $ToRdfResourceFunction<$PropertyPath>;
+    const $toString: typeof RdfxResourcePropertyPath.toString;
 }
 export interface $ShaclPropertySchema<TypeSchemaT = object> {
     readonly kind: "Shacl";
@@ -88,7 +126,7 @@ export type $ToRdfResourceValuesFunction<ValueT, ReturnT extends BlankNode | Lit
     resourceSet: ResourceSet;
 }) => ReturnT[];
 export interface PropertyShape {
-    readonly $identifier: PropertyShape.$Identifier;
+    readonly $identifier: () => PropertyShape.$Identifier;
     readonly $type: "PropertyShape";
     readonly and: Maybe<readonly (BlankNode | NamedNode)[]>;
     readonly classes: readonly NamedNode[];
@@ -96,7 +134,10 @@ export interface PropertyShape {
     readonly datatype: Maybe<NamedNode>;
     readonly deactivated: Maybe<boolean>;
     readonly defaultValue: Maybe<NamedNode | Literal>;
-    readonly description: Maybe<string>;
+    readonly description: Maybe<string> /**
+     * Whether to include this property in a toString()-type display, defaults to false
+     */;
+    readonly display: boolean;
     readonly flags: readonly string[];
     readonly groups: readonly (BlankNode | NamedNode)[];
     readonly hasValues: readonly (NamedNode | Literal)[];
@@ -129,7 +170,7 @@ export interface PropertyShape {
 }
 export declare namespace PropertyShape {
     function $create(parameters: {
-        readonly $identifier?: (BlankNode | NamedNode) | string;
+        readonly $identifier?: (() => PropertyShape.$Identifier) | (BlankNode | NamedNode) | string;
         readonly and?: Maybe<readonly (BlankNode | NamedNode)[]> | readonly (BlankNode | NamedNode)[] | readonly string[];
         readonly classes?: readonly NamedNode[] | readonly string[];
         readonly comment?: Maybe<string> | string;
@@ -137,6 +178,7 @@ export declare namespace PropertyShape {
         readonly deactivated?: Maybe<boolean> | boolean;
         readonly defaultValue?: Maybe<NamedNode | Literal> | bigint | boolean | Date | number | string | (NamedNode | Literal);
         readonly description?: Maybe<string> | string;
+        readonly display?: boolean;
         readonly flags?: readonly string[];
         readonly groups?: readonly (BlankNode | NamedNode)[] | readonly string[];
         readonly hasValues?: readonly (NamedNode | Literal)[] | readonly bigint[] | readonly boolean[] | readonly number[] | readonly string[];
@@ -182,6 +224,7 @@ export declare namespace PropertyShape {
         readonly deactivated?: $MaybeFilter<$BooleanFilter>;
         readonly defaultValue?: $MaybeFilter<$TermFilter>;
         readonly description?: $MaybeFilter<$StringFilter>;
+        readonly display?: $BooleanFilter;
         readonly flags?: $CollectionFilter<$StringFilter>;
         readonly groups?: $CollectionFilter<$IdentifierFilter>;
         readonly hasValues?: $CollectionFilter<$TermFilter>;
@@ -226,6 +269,7 @@ export declare namespace PropertyShape {
         deactivated: Maybe<boolean>;
         defaultValue: Maybe<NamedNode | Literal>;
         description: Maybe<string>;
+        display: boolean;
         flags: readonly string[];
         groups: readonly (BlankNode | NamedNode)[];
         hasValues: readonly (NamedNode | Literal)[];
@@ -344,6 +388,17 @@ export declare namespace PropertyShape {
                 };
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#description">;
             };
+            readonly display: {
+                readonly kind: "Shacl";
+                readonly type: () => {
+                    kind: "DefaultValue";
+                    item: () => {
+                        kind: "Boolean";
+                    };
+                    defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
+                };
+                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#display">;
+            };
             readonly flags: {
                 readonly kind: "Shacl";
                 readonly type: () => {
@@ -646,16 +701,19 @@ export declare namespace PropertyShape {
         };
     };
     function $toRdfResource(_propertyShape: PropertyShape, options?: Parameters<$ToRdfResourceFunction<PropertyShape>>[1]): Resource;
+    function $propertiesToStrings(_propertyShape: PropertyShape): Record<string, string>;
+    function $toString(this: PropertyShape): string;
+    function $toString(_propertyShape: PropertyShape): string;
 }
 export interface PropertyGroup {
-    readonly $identifier: PropertyGroup.$Identifier;
+    readonly $identifier: () => PropertyGroup.$Identifier;
     readonly $type: "PropertyGroup";
     readonly comment: Maybe<string>;
     readonly label: Maybe<string>;
 }
 export declare namespace PropertyGroup {
     function $create(parameters?: {
-        readonly $identifier?: (BlankNode | NamedNode) | string;
+        readonly $identifier?: (() => PropertyGroup.$Identifier) | (BlankNode | NamedNode) | string;
         readonly comment?: Maybe<string> | string;
         readonly label?: Maybe<string> | string;
     }): PropertyGroup;
@@ -718,9 +776,12 @@ export declare namespace PropertyGroup {
         };
     };
     function $toRdfResource(_propertyGroup: PropertyGroup, options?: Parameters<$ToRdfResourceFunction<PropertyGroup>>[1]): Resource;
+    function $propertiesToStrings(_propertyGroup: PropertyGroup): Record<string, string>;
+    function $toString(this: PropertyGroup): string;
+    function $toString(_propertyGroup: PropertyGroup): string;
 }
 export interface Ontology {
-    readonly $identifier: Ontology.$Identifier;
+    readonly $identifier: () => Ontology.$Identifier;
     readonly $type: "Ontology";
     readonly comment: Maybe<string>;
     readonly label: Maybe<string>;
@@ -731,7 +792,7 @@ export interface Ontology {
 }
 export declare namespace Ontology {
     function $create(parameters?: {
-        readonly $identifier?: (BlankNode | NamedNode) | string;
+        readonly $identifier?: (() => Ontology.$Identifier) | (BlankNode | NamedNode) | string;
         readonly comment?: Maybe<string> | string;
         readonly label?: Maybe<string> | string;
         readonly tsFeatureExcludes?: readonly NamedNode<"http://purl.org/shaclmate/ontology#_TsFeatures_All" | "http://purl.org/shaclmate/ontology#_TsFeature_Create" | "http://purl.org/shaclmate/ontology#_TsFeatures_Default" | "http://purl.org/shaclmate/ontology#_TsFeature_Equals" | "http://purl.org/shaclmate/ontology#_TsFeature_Graphql" | "http://purl.org/shaclmate/ontology#_TsFeature_Hash" | "http://purl.org/shaclmate/ontology#_TsFeature_Json" | "http://purl.org/shaclmate/ontology#_TsFeatures_None" | "http://purl.org/shaclmate/ontology#_TsFeature_Rdf" | "http://purl.org/shaclmate/ontology#_TsFeature_Sparql">[] | readonly ("http://purl.org/shaclmate/ontology#_TsFeatures_All" | "http://purl.org/shaclmate/ontology#_TsFeature_Create" | "http://purl.org/shaclmate/ontology#_TsFeatures_Default" | "http://purl.org/shaclmate/ontology#_TsFeature_Equals" | "http://purl.org/shaclmate/ontology#_TsFeature_Graphql" | "http://purl.org/shaclmate/ontology#_TsFeature_Hash" | "http://purl.org/shaclmate/ontology#_TsFeature_Json" | "http://purl.org/shaclmate/ontology#_TsFeatures_None" | "http://purl.org/shaclmate/ontology#_TsFeature_Rdf" | "http://purl.org/shaclmate/ontology#_TsFeature_Sparql")[];
@@ -849,9 +910,12 @@ export declare namespace Ontology {
         };
     };
     function $toRdfResource(_ontology: Ontology, options?: Parameters<$ToRdfResourceFunction<Ontology>>[1]): Resource;
+    function $propertiesToStrings(_ontology: Ontology): Record<string, string>;
+    function $toString(this: Ontology): string;
+    function $toString(_ontology: Ontology): string;
 }
 export interface NodeShape {
-    readonly $identifier: NodeShape.$Identifier;
+    readonly $identifier: () => NodeShape.$Identifier;
     readonly $type: "NodeShape";
     readonly abstract: Maybe<boolean>;
     readonly and: Maybe<readonly (BlankNode | NamedNode)[]>;
@@ -865,7 +929,6 @@ export interface NodeShape {
     readonly flags: readonly string[];
     readonly fromRdfType: Maybe<NamedNode>;
     readonly hasValues: readonly (NamedNode | Literal)[];
-    readonly identifierMintingStrategy: Maybe<NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4">>;
     readonly ignoredProperties: Maybe<readonly NamedNode[]>;
     readonly in_: Maybe<readonly (NamedNode | Literal)[]>;
     readonly isDefinedBy: Maybe<BlankNode | NamedNode>;
@@ -899,7 +962,7 @@ export interface NodeShape {
 }
 export declare namespace NodeShape {
     function $create(parameters?: {
-        readonly $identifier?: (BlankNode | NamedNode) | string;
+        readonly $identifier?: (() => NodeShape.$Identifier) | (BlankNode | NamedNode) | string;
         readonly abstract?: Maybe<boolean> | boolean;
         readonly and?: Maybe<readonly (BlankNode | NamedNode)[]> | readonly (BlankNode | NamedNode)[] | readonly string[];
         readonly classes?: readonly NamedNode[] | readonly string[];
@@ -912,7 +975,6 @@ export declare namespace NodeShape {
         readonly flags?: readonly string[];
         readonly fromRdfType?: Maybe<NamedNode> | NamedNode | string;
         readonly hasValues?: readonly (NamedNode | Literal)[] | readonly bigint[] | readonly boolean[] | readonly number[] | readonly string[];
-        readonly identifierMintingStrategy?: Maybe<NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4">> | NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4"> | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4";
         readonly ignoredProperties?: Maybe<readonly NamedNode[]> | readonly NamedNode[] | readonly string[];
         readonly in_?: Maybe<readonly (NamedNode | Literal)[]> | readonly (NamedNode | Literal)[] | readonly bigint[] | readonly boolean[] | readonly number[] | readonly string[];
         readonly isDefinedBy?: Maybe<BlankNode | NamedNode> | (BlankNode | NamedNode) | string;
@@ -964,7 +1026,6 @@ export declare namespace NodeShape {
         readonly flags?: $CollectionFilter<$StringFilter>;
         readonly fromRdfType?: $MaybeFilter<$IriFilter>;
         readonly hasValues?: $CollectionFilter<$TermFilter>;
-        readonly identifierMintingStrategy?: $MaybeFilter<$IriFilter>;
         readonly ignoredProperties?: $MaybeFilter<$CollectionFilter<$IriFilter>>;
         readonly in_?: $MaybeFilter<$CollectionFilter<$TermFilter>>;
         readonly isDefinedBy?: $MaybeFilter<$IdentifierFilter>;
@@ -1015,7 +1076,6 @@ export declare namespace NodeShape {
         flags: readonly string[];
         fromRdfType: Maybe<NamedNode>;
         hasValues: readonly (NamedNode | Literal)[];
-        identifierMintingStrategy: Maybe<NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256" | "http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4">>;
         ignoredProperties: Maybe<readonly NamedNode[]>;
         in_: Maybe<readonly (NamedNode | Literal)[]>;
         isDefinedBy: Maybe<BlankNode | NamedNode>;
@@ -1185,17 +1245,6 @@ export declare namespace NodeShape {
                 };
                 readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#hasValue">;
             };
-            readonly identifierMintingStrategy: {
-                readonly kind: "Shacl";
-                readonly type: () => {
-                    kind: "Maybe";
-                    item: () => {
-                        kind: "Iri";
-                        in: (import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode"> | import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256"> | import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4">)[];
-                    };
-                };
-                readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#identifierMintingStrategy">;
-            };
             readonly ignoredProperties: {
                 readonly kind: "Shacl";
                 readonly type: () => {
@@ -1518,6 +1567,9 @@ export declare namespace NodeShape {
         };
     };
     function $toRdfResource(_nodeShape: NodeShape, options?: Parameters<$ToRdfResourceFunction<NodeShape>>[1]): Resource;
+    function $propertiesToStrings(_nodeShape: NodeShape): Record<string, string>;
+    function $toString(this: NodeShape): string;
+    function $toString(_nodeShape: NodeShape): string;
 }
 export type Shape = NodeShape | PropertyShape;
 export declare namespace Shape {
@@ -1679,17 +1731,6 @@ export declare namespace Shape {
                             };
                             readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#hasValue">;
                         };
-                        readonly identifierMintingStrategy: {
-                            readonly kind: "Shacl";
-                            readonly type: () => {
-                                kind: "Maybe";
-                                item: () => {
-                                    kind: "Iri";
-                                    in: (import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode"> | import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256"> | import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4">)[];
-                                };
-                            };
-                            readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#identifierMintingStrategy">;
-                        };
                         readonly ignoredProperties: {
                             readonly kind: "Shacl";
                             readonly type: () => {
@@ -2102,6 +2143,17 @@ export declare namespace Shape {
                             };
                             readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#description">;
                         };
+                        readonly display: {
+                            readonly kind: "Shacl";
+                            readonly type: () => {
+                                kind: "DefaultValue";
+                                item: () => {
+                                    kind: "Boolean";
+                                };
+                                defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
+                            };
+                            readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#display">;
+                        };
                         readonly flags: {
                             readonly kind: "Shacl";
                             readonly type: () => {
@@ -2702,6 +2754,7 @@ export declare namespace Shape {
         resource: Resource;
         resourceSet: ResourceSet;
     }) => (BlankNode | NamedNode)[];
+    const $toString: (value: Shape) => string;
     function isShape(object: $Object): object is Shape;
 }
 export type $Object = NodeShape | Ontology | PropertyGroup | PropertyShape;
@@ -2866,17 +2919,6 @@ export declare namespace $Object {
                             };
                             readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#hasValue">;
                         };
-                        readonly identifierMintingStrategy: {
-                            readonly kind: "Shacl";
-                            readonly type: () => {
-                                kind: "Maybe";
-                                item: () => {
-                                    kind: "Iri";
-                                    in: (import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_BlankNode"> | import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_SHA256"> | import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#_IdentifierMintingStrategy_UUIDv4">)[];
-                                };
-                            };
-                            readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#identifierMintingStrategy">;
-                        };
                         readonly ignoredProperties: {
                             readonly kind: "Shacl";
                             readonly type: () => {
@@ -3412,6 +3454,17 @@ export declare namespace $Object {
                             };
                             readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://www.w3.org/ns/shacl#description">;
                         };
+                        readonly display: {
+                            readonly kind: "Shacl";
+                            readonly type: () => {
+                                kind: "DefaultValue";
+                                item: () => {
+                                    kind: "Boolean";
+                                };
+                                defaultValue: import("@rdfx/data-factory/dist/Literal.js").Literal;
+                            };
+                            readonly path: import("@rdfx/data-factory/dist/NamedNode.js").NamedNode<"http://purl.org/shaclmate/ontology#display">;
+                        };
                         readonly flags: {
                             readonly kind: "Shacl";
                             readonly type: () => {
@@ -3746,6 +3799,7 @@ export declare namespace $Object {
         resource: Resource;
         resourceSet: ResourceSet;
     }) => (BlankNode | NamedNode)[];
+    const $toString: (value: $Object) => string;
 }
 export interface $ObjectSet {
     nodeShape(identifier: NodeShape.$Identifier, options?: {
@@ -3876,14 +3930,14 @@ export declare class $RdfjsDatasetObjectSet implements $ObjectSet {
     objects(query?: $ObjectSet.Query<$Object.$Filter, $Object.$Identifier>): Promise<Either<Error, readonly $Object[]>>;
     objectsSync(query?: $ObjectSet.Query<$Object.$Filter, $Object.$Identifier>): Either<Error, readonly $Object[]>;
     protected $objectsSync<ObjectT extends {
-        readonly $identifier: ObjectIdentifierT;
+        readonly $identifier: () => ObjectIdentifierT;
     }, ObjectFilterT, ObjectIdentifierT extends BlankNode | NamedNode>(namedObjectType: {
         $filter: (filter: ObjectFilterT, value: ObjectT) => boolean;
         $fromRdfResource: $FromRdfResourceFunction<ObjectT>;
         $fromRdfTypes: readonly NamedNode[];
     }, query?: $ObjectSet.Query<ObjectFilterT, ObjectIdentifierT>): Either<Error, readonly ObjectT[]>;
     protected $objectUnionsSync<ObjectT extends {
-        readonly $identifier: ObjectIdentifierT;
+        readonly $identifier: () => ObjectIdentifierT;
     }, ObjectFilterT, ObjectIdentifierT extends BlankNode | NamedNode>(namedObjectTypes: readonly {
         $filter: (filter: ObjectFilterT, value: ObjectT) => boolean;
         $fromRdfResource: $FromRdfResourceFunction<ObjectT>;