@shaclmate/compiler 4.0.40 → 4.0.42

package/dist/_ShapesGraphToAstTransformer/{transformPropertyShapeToAstObjectTypeProperty.js → transformPropertyShapeToAstStructTypeField.js}

@@ -1,37 +1,13 @@
 import dataFactory from "@rdfx/data-factory";
 import { Curie } from "@shaclmate/shacl-ast";
+import { sh } from "@tpluscode/rdf-ns-builders";
 import { Either, Left, Maybe } from "purify-ts";
 import { invariant } from "ts-invariant";
 import * as ast from "../ast/index.js";
 import { Eithers } from "../Eithers.js";
 import { ShapeStack } from "./ShapeStack.js";
 import { transformShapeToAstType } from "./transformShapeToAstType.js";
-function synthesizePartialAstObjectType({ identifierType, }) {
-    let syntheticName;
-    switch (identifierType.kind) {
-        case "BlankNode":
-            throw new Error("should never happen");
-        case "Identifier":
-            syntheticName = "DefaultPartial";
-            break;
-        case "Iri":
-            syntheticName = "NamedDefaultPartial";
-            break;
-    }
-    return new ast.ObjectType({
-        comment: Maybe.empty(),
-        extern: false,
-        fromRdfType: Maybe.empty(),
-        identifierType,
-        label: Maybe.empty(),
-        name: Maybe.of(syntheticName),
-        shapeIdentifier: dataFactory.namedNode(`urn:shaclmate:synthetic:${syntheticName}`),
-        synthetic: true,
-        toRdfTypes: [],
-        tsImports: [],
-    });
-}
-function propertyName(objectType, propertyShape) {
+function fieldName(propertyShape, structType) {
     // Explicit shaclmate:name or sh:name
     const name = propertyShape.shaclmateName.alt(propertyShape.name).extract();
     if (name) {
@@ -46,8 +22,8 @@ function propertyName(objectType, propertyShape) {
     // like ex:NodeShape-property
     const propertyShapeIdentifier = propertyShape.$identifier();
     if (propertyShapeIdentifier.termType === "NamedNode" &&
-        objectType.shapeIdentifier.termType === "NamedNode") {
-        const propertyShapeIdentifierPrefix = `${objectType.shapeIdentifier.value}-`;
+        structType.shapeIdentifier.termType === "NamedNode") {
+        const propertyShapeIdentifierPrefix = `${structType.shapeIdentifier.value}-`;
         if (propertyShapeIdentifier.value.startsWith(propertyShapeIdentifierPrefix) &&
             propertyShapeIdentifier.value.length >
                 propertyShapeIdentifierPrefix.length) {
@@ -72,6 +48,37 @@ function propertyName(objectType, propertyShape) {
     }
     throw new Error(`${propertyShape}: unable to infer name`);
 }
+function synthesizePartialAstStructType({ identifierType, }) {
+    let syntheticName;
+    switch (identifierType.kind) {
+        case "BlankNode":
+            throw new Error("should never happen");
+        case "Identifier":
+            syntheticName = "DefaultPartial";
+            break;
+        case "Iri":
+            syntheticName = "NamedDefaultPartial";
+            break;
+    }
+    let partialAstStructType = this.syntheticAstStructTypesByName.get(syntheticName);
+    if (partialAstStructType) {
+        return partialAstStructType;
+    }
+    partialAstStructType = new ast.StructType({
+        comment: Maybe.empty(),
+        extern: false,
+        fromRdfType: Maybe.empty(),
+        identifierType,
+        label: Maybe.empty(),
+        name: Maybe.of(syntheticName),
+        shapeIdentifier: dataFactory.namedNode(`urn:shaclmate:synthetic:${syntheticName}`),
+        synthetic: true,
+        toRdfTypes: [],
+        tsImports: [],
+    });
+    this.syntheticAstStructTypesByName.set(syntheticName, partialAstStructType);
+    return partialAstStructType;
+}
 function transformPropertyShapeToAstType(propertyShape, shapeStack) {
     // if (
     //   propertyShape.path.kind === "PredicatePath" &&
@@ -122,7 +129,23 @@ function transformPropertyShapeToAstType(propertyShape, shapeStack) {
         }));
     });
 }
-export function transformPropertyShapeToAstObjectTypeProperty({ objectType, propertyShape, }) {
+/**
+ * Try to transform a property shape to an ast.StructType.Field.
+ *
+ * Returns:
+ *  - Right<Just<ast.StructType.Field>> if the transformation succeeds
+ *  - Right<Nothing> if the property shape should be ignored
+ *  - Left<Error> if the transformation fails
+ */
+export function transformPropertyShapeToAstStructTypeField({ propertyShape, structType, }) {
+    if (propertyShape.ignore) {
+        return Either.of(Maybe.empty());
+    }
+    switch (propertyShape.severity.orDefault(sh.Violation).value) {
+        case "http://www.w3.org/ns/shacl#Info":
+        case "http://www.w3.org/ns/shacl#Warning":
+            return Either.of(Maybe.empty());
+    }
     const shapeStack = new ShapeStack(); // Start a new ShapeStack per property shape
     return Eithers.chain2(propertyShape.resolve.isJust()
         ? this.shapesGraph
@@ -135,14 +158,14 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
                 .call(this, propertyShapeResolve.unsafeCoerce(), shapeStack)
                 .chain((astResolveType) => {
                 switch (astResolveType.kind) {
-                    case "Object":
+                    case "Struct":
                         return Either.of(astResolveType);
                     case "Union":
                         if (
                         // This check relies on .members being populated, which may not happen in cycles
                         astResolveType.members.length > 0 &&
-                            !astResolveType.isObjectUnionType()) {
-                            return Left(new Error(`${propertyShape} resolve cannot refer to a ${astResolveType.kind} with non-ObjectType members`));
+                            !astResolveType.isStructUnionType()) {
+                            return Left(new Error(`${propertyShape} resolve cannot refer to a ${astResolveType.kind} with non-StructType members`));
                         }
                         return Either.of(astResolveType);
                     default:
@@ -162,10 +185,10 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
                 case "Set":
                     astItemType = astType.itemType;
                     break;
-                case "LazyObjectOption":
-                case "LazyObjectSet":
+                case "LazyOption":
+                case "LazySet":
                 // biome-ignore lint/suspicious/noFallthroughSwitchClause: break is unreachable
-                case "LazyObject":
+                case "Lazy":
                     invariant(false, `lazy types should not appear here: ${astType.kind}`);
                 default:
                     astItemType = astType;
@@ -176,16 +199,16 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
                 case "BlankNode":
                 case "Identifier":
                 case "Iri":
-                    astPartialItemType = synthesizePartialAstObjectType({
+                    astPartialItemType = synthesizePartialAstStructType.call(this, {
                         identifierType: astItemType,
                     });
                     break;
-                case "Object":
+                case "Struct":
                     astPartialItemType = astItemType;
                     break;
                 case "Union":
-                    if (!astItemType.isObjectUnionType()) {
-                        return Left(new Error(`${propertyShape} partial type cannot be a ${astItemType.kind} with non-ObjectType members`));
+                    if (!astItemType.isStructUnionType()) {
+                        return Left(new Error(`${propertyShape} partial type cannot be a ${astItemType.kind} with non-StructType members`));
                     }
                     astPartialItemType = astItemType;
                     break;
@@ -202,16 +225,16 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
                 case "BlankNode":
                 case "Identifier":
                 case "Iri":
-                case "Object":
+                case "Struct":
                 case "Union":
-                    astType = new ast.LazyObjectType({
+                    astType = new ast.LazyType({
                         ...astAbstractTypeProperties,
                         partialType: astPartialItemType,
                         resolveType: astResolveItemType,
                     });
                     break;
                 case "Option":
-                    astType = new ast.LazyObjectOptionType({
+                    astType = new ast.LazyOptionType({
                         ...astAbstractTypeProperties,
                         partialType: new ast.OptionType({
                             itemType: astPartialItemType,
@@ -222,7 +245,7 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
                     });
                     break;
                 case "Set":
-                    astType = new ast.LazyObjectSetType({
+                    astType = new ast.LazySetType({
                         ...astAbstractTypeProperties,
                         partialType: new ast.SetType({
                             itemType: astPartialItemType,
@@ -244,19 +267,19 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
             astType.nodeKinds.has("Literal")) {
             return Left(new Error(`${propertyShape}: property shapes with inverse paths can only have blank node or IRI node kinds`));
         }
-        return Either.of(new ast.ObjectType.Property({
+        return Either.of(Maybe.of(new ast.StructType.Field({
             comment: propertyShape.comment,
             description: propertyShape.description,
             display: propertyShape.display,
             label: propertyShape.label,
             mutable: propertyShape.mutable.orDefault(false),
-            name: propertyName.call(this, objectType, propertyShape),
-            objectType,
+            name: fieldName.call(this, propertyShape, structType),
             order: propertyShape.order.orDefault(0),
             path: propertyShape.path,
             shapeIdentifier: propertyShape.$identifier(),
+            structType,
             type: astType,
-        }));
+        })));
     });
 }
-//# sourceMappingURL=transformPropertyShapeToAstObjectTypeProperty.js.map
+//# sourceMappingURL=transformPropertyShapeToAstStructTypeField.js.map

package/dist/_ShapesGraphToAstTransformer/transformShapeToAstListType.d.ts

@@ -4,7 +4,7 @@ import type * as input from "../input/index.js";
 import type { ShapesGraphToAstTransformer } from "../ShapesGraphToAstTransformer.js";
 import type { ShapeStack } from "./ShapeStack.js";
 /**
- * Is an ast.ObjectType actually the shape of an RDF list?
+ * Is an ast.StructType actually the shape of an RDF list?
  * If so, return the type of its rdf:first.
  */
 export declare function transformShapeToAstListType(this: ShapesGraphToAstTransformer, shape: input.Shape, shapeStack: ShapeStack): Either<Error, Maybe<ast.ListType>>;

package/dist/_ShapesGraphToAstTransformer/transformShapeToAstListType.js

@@ -4,10 +4,9 @@ import { Either, Left, Maybe } from "purify-ts";
 import * as ast from "../ast/index.js";
 import { Eithers } from "../Eithers.js";
 import { defaultNodeShapeNodeKinds } from "./defaultNodeShapeNodeKinds.js";
-import { shapeAstTypeName } from "./shapeAstTypeName.js";
 import { shapeNodeKinds } from "./shapeNodeKinds.js";
-import { transformPropertyShapeToAstObjectTypeProperty } from "./transformPropertyShapeToAstObjectTypeProperty.js";
-const listPropertiesObjectType = new ast.ObjectType({
+import { transformPropertyShapeToAstStructTypeField } from "./transformPropertyShapeToAstStructTypeField.js";
+const listPropertiesStructType = new ast.StructType({
     extern: false,
     comment: Maybe.empty(),
     label: Maybe.empty(),
@@ -32,7 +31,7 @@ const astListTypePlaceholderItemType = new ast.BlankNodeType({
 });
 const empty = Either.of(Maybe.empty());
 /**
- * Is an ast.ObjectType actually the shape of an RDF list?
+ * Is an ast.StructType actually the shape of an RDF list?
  * If so, return the type of its rdf:first.
  */
 export function transformShapeToAstListType(shape, shapeStack) {
@@ -53,7 +52,9 @@ export function transformShapeToAstListType(shape, shapeStack) {
                 itemType: astListTypePlaceholderItemType,
                 label: nodeShape.label,
                 mutable: nodeShape.mutable.orDefault(false),
-                name: shapeAstTypeName(nodeShape),
+                // name: shapeAstTypeName(nodeShape),
+                // List types don't need names currently
+                name: Maybe.empty(),
                 shapeIdentifier: nodeShape.$identifier(),
                 toRdfTypes: nodeShape.toRdfTypes,
             });
@@ -74,10 +75,10 @@ export function transformShapeToAstListType(shape, shapeStack) {
                 if (!emptyListShape || !nonEmptyListShape) {
                     return empty;
                 }
-                return Either.sequence(nonEmptyListShape.properties.map((propertyShapeIdentifier) => this.shapesGraph.propertyShape(propertyShapeIdentifier))).chain((nonEmptyListShapeProperties) => {
+                return Either.sequence(nonEmptyListShape.properties.map((propertyShapeIdentifier) => this.shapesGraph.propertyShape(propertyShapeIdentifier))).chain((nonEmptyListShapePropertyShapes) => {
                     let firstPropertyShape;
                     let restPropertyShape;
-                    for (const propertyShape of nonEmptyListShapeProperties) {
+                    for (const propertyShape of nonEmptyListShapePropertyShapes) {
                         if (propertyShape.path.termType !== "NamedNode") {
                             continue;
                         }
@@ -102,26 +103,34 @@ export function transformShapeToAstListType(shape, shapeStack) {
                         restPropertyShape.minCount.extract() !== 1n) {
                         return Left(new Error(`${nodeShape} non-empty list shape rdf:rest property shape does not have sh:maxCount=1 and/or sh:minCount=1`));
                     }
-                    return transformPropertyShapeToAstObjectTypeProperty
+                    return transformPropertyShapeToAstStructTypeField
                         .call(this, {
-                        // Just need a dummy ast.ObjectType here to get the properties transformed.
-                        objectType: listPropertiesObjectType,
+                        // Just need a dummy ast.StructType here to get the properties transformed.
                         propertyShape: firstPropertyShape,
+                        structType: listPropertiesStructType,
                     })
-                        .chain((firstProperty) => {
-                        if (!ast.ListType.isItemType(firstProperty.type)) {
-                            return Left(new Error(`${nodeShape}: ${firstProperty.type.kind} is not a valid list item type`));
+                        .chain((firstFieldMaybe) => {
+                        const firstField = firstFieldMaybe.extract();
+                        if (!firstField) {
+                            return Left(new Error(`${nodeShape}: rdf:first field is ignored`));
                         }
-                        listType.itemType = firstProperty.type;
-                        return transformPropertyShapeToAstObjectTypeProperty
+                        if (!ast.ListType.isItemType(firstField.type)) {
+                            return Left(new Error(`${nodeShape}: ${firstField.type.kind} is not a valid list item type`));
+                        }
+                        listType.itemType = firstField.type;
+                        return transformPropertyShapeToAstStructTypeField
                             .call(this, {
-                            // Just need a dummy ast.ObjectType here to get the properties transformed.
-                            objectType: listPropertiesObjectType,
+                            // Just need a dummy ast.StructType here to get the properties transformed.
                             propertyShape: restPropertyShape,
+                            structType: listPropertiesStructType,
                         })
-                            .chain((restProperty) => {
-                            if (restProperty.type.kind !== "List" ||
-                                !restProperty.type.shapeIdentifier.equals(nodeShape.$identifier())) {
+                            .chain((restFieldMaybe) => {
+                            const restField = restFieldMaybe.extract();
+                            if (!restField) {
+                                return Left(new Error(`${nodeShape}: rdf:rest field is ignored`));
+                            }
+                            if (restField.type.kind !== "List" ||
+                                !restField.type.shapeIdentifier.equals(nodeShape.$identifier())) {
                                 return Left(new Error(`${nodeShape} rdf:rest property is not recursive into the node shape`));
                             }
                             return Either.of(Maybe.of(listType));

package/dist/_ShapesGraphToAstTransformer/{transformShapeToAstObjectType.d.ts → transformShapeToAstStructType.d.ts}

@@ -2,6 +2,6 @@ import { Either, Maybe } from "purify-ts";
 import * as ast from "../ast/index.js";
 import type * as input from "../input/index.js";
 import type { ShapesGraphToAstTransformer } from "../ShapesGraphToAstTransformer.js";
-import { ShapeStack } from "./ShapeStack.js";
-export declare function transformShapeToAstObjectType(this: ShapesGraphToAstTransformer, shape: input.Shape, shapeStack: ShapeStack): Either<Error, Maybe<ast.Type>>;
-//# sourceMappingURL=transformShapeToAstObjectType.d.ts.map
+import type { ShapeStack } from "./ShapeStack.js";
+export declare function transformShapeToAstStructType(this: ShapesGraphToAstTransformer, shape: input.Shape, shapeStack: ShapeStack): Either<Error, Maybe<ast.Type>>;
+//# sourceMappingURL=transformShapeToAstStructType.d.ts.map

package/dist/_ShapesGraphToAstTransformer/{transformShapeToAstObjectType.js → transformShapeToAstStructType.js}

@@ -4,44 +4,44 @@ import { invariant } from "ts-invariant";
 import * as ast from "../ast/index.js";
 import { Eithers } from "../Eithers.js";
 import { defaultNodeShapeNodeKinds } from "./defaultNodeShapeNodeKinds.js";
-import { ShapeStack } from "./ShapeStack.js";
 import { shapeAstTypeName } from "./shapeAstTypeName.js";
 import { shapeNodeKinds } from "./shapeNodeKinds.js";
-import { transformPropertyShapeToAstObjectTypeProperty } from "./transformPropertyShapeToAstObjectTypeProperty.js";
+import { transformPropertyShapeToAstStructTypeField } from "./transformPropertyShapeToAstStructTypeField.js";
 import { transformShapeToAstType } from "./transformShapeToAstType.js";
-function isObjectTypePropertyRequired(property) {
-    switch (property.type.kind) {
+function isStructTypeFieldRequired(field) {
+    switch (field.type.kind) {
         case "DefaultValue":
             return false;
-        case "LazyObjectOption":
+        case "LazyOption":
             return false;
-        case "LazyObjectSet":
-            return property.type.partialType.minCount > 0n;
+        case "LazySet":
+            return field.type.partialType.minCount > 0n;
         case "Option":
             return false;
         case "Set":
-            return property.type.minCount > 0;
+            return field.type.minCount > 0;
         case "Union":
-            return property.type.members.every((member) => isObjectTypePropertyRequired({ type: member.type }));
+            return field.type.members.every((member) => isStructTypeFieldRequired({ type: member.type }));
         case "BlankNode":
         case "Identifier":
         case "Iri":
-        case "LazyObject":
+        case "Lazy":
         case "List":
         case "Literal":
-        case "Object":
+        case "Struct":
         case "Term":
             return true;
         case "Intersection":
             throw new Error("unsupported");
         default:
-            property.type;
+            field.type;
             throw new Error("should never reach this point");
     }
 }
-export function transformShapeToAstObjectType(shape, shapeStack) {
+export function transformShapeToAstStructType(shape, shapeStack) {
     shapeStack.push(shape);
     try {
+        // If the shape has an sh:node itself then transform that instead
         if (shape.node.isJust()) {
             return this.shapesGraph
                 .nodeShape(shape.node.unsafeCoerce())
@@ -56,14 +56,15 @@ export function transformShapeToAstObjectType(shape, shapeStack) {
             nodeShape.xone.orDefault([]).length > 0) {
             return Either.of(Maybe.empty());
         }
-        if (nodeShape.$identifier().termType !== "NamedNode") {
-            return Either.of(Maybe.empty());
-        }
+        if (!nodeShape.extern.orDefault(false)) {
+            if (nodeShape.properties.length === 0) {
+                // A node shape must have sh:property to be considered a StructType
+                return Either.of(Maybe.empty());
+            }
+        } // else assume all extern node shapes are structs
         return Eithers.chain2(shapeNodeKinds.call(this, nodeShape, { defaultNodeShapeNodeKinds }), Either.sequence(nodeShape.properties.map((propertyShapeIdentifier) => this.shapesGraph.propertyShape(propertyShapeIdentifier)))).chain(([nodeKinds, propertyShapes]) => {
             const nodeShapeIdentifier = nodeShape.$identifier();
-            const { ancestors: ancestorNodeShapes, descendants: descendantNodeShapes, children: childNodeShapes, parents: parentNodeShapes, } = this.relatedNodeShapesByIdentifier.get(nodeShapeIdentifier);
             const isClass = nodeShape.subClassOf.length > 0 ||
-                descendantNodeShapes.length > 0 || // A node shape that is the object of an rdfs:subClassOf is itself an rdfs:Class
                 nodeShape.types.some((type) => type.equals(owl.Class) || type.equals(rdfs.Class));
             let fromRdfType = nodeShape.fromRdfType.alt(nodeShape.rdfType);
             if (isClass && nodeShapeIdentifier.termType === "NamedNode") {
@@ -117,7 +118,7 @@ export function transformShapeToAstObjectType(shape, shapeStack) {
             // Remove the placeholder if the transformation fails.
             // If this node shape's properties (directly or indirectly) refer to the node shape itself,
             // we'll return this placeholder.
-            const objectType = new ast.ObjectType({
+            const structType = new ast.StructType({
                 comment: nodeShape.comment,
                 extern: nodeShape.extern.orDefault(false),
                 fromRdfType,
@@ -129,41 +130,30 @@ export function transformShapeToAstObjectType(shape, shapeStack) {
                 toRdfTypes,
                 tsImports: nodeShape.tsImports,
             });
-            this.cachedAstTypesByShapeIdentifier.set(nodeShape.$identifier(), objectType);
+            this.cachedAstTypesByShapeIdentifier.set(nodeShape.$identifier(), structType);
             return (() => {
-                // Populate ancestor and descendant object types
-                const relatedObjectTypes = (relatedNodeShapes) => {
-                    return relatedNodeShapes
-                        .flatMap((relatedNodeShape) => transformShapeToAstType
-                        .call(this, relatedNodeShape, new ShapeStack())
-                        .toMaybe()
-                        .toList())
-                        .filter((astType) => astType.kind === "Object");
-                };
-                objectType.addAncestorObjectTypes(...relatedObjectTypes(ancestorNodeShapes));
-                objectType.addChildObjectTypes(...relatedObjectTypes(childNodeShapes));
-                objectType.addDescendantObjectTypes(...relatedObjectTypes(descendantNodeShapes));
-                objectType.addParentObjectTypes(...relatedObjectTypes(parentNodeShapes));
                 // Populate properties
                 for (const propertyShape of propertyShapes) {
-                    const propertyEither = transformPropertyShapeToAstObjectTypeProperty.call(this, {
-                        objectType,
+                    const fieldEither = transformPropertyShapeToAstStructTypeField.call(this, {
                         propertyShape,
+                        structType,
                     });
-                    if (propertyEither.isLeft()) {
-                        return propertyEither;
+                    if (fieldEither.isLeft()) {
+                        return fieldEither;
                     }
-                    propertyEither.ifRight((property) => {
-                        objectType.addProperties(property);
+                    fieldEither.ifRight((property) => {
+                        property.ifJust((property) => {
+                            structType.addFields(property);
+                        });
                     });
                 }
-                if (!objectType.extern &&
-                    objectType.fromRdfType.isNothing() &&
-                    !objectType.properties.some(isObjectTypePropertyRequired)) {
+                if (!structType.extern &&
+                    structType.fromRdfType.isNothing() &&
+                    !structType.fields.some(isStructTypeFieldRequired)) {
                     return Left(new Error(`${nodeShape} has no required properties and no implicitly required rdf:type`));
                 }
-                objectType.sortProperties();
-                return Either.of(Maybe.of(objectType));
+                structType.sortFields();
+                return Either.of(Maybe.of(structType));
             })().ifLeft(() => {
                 this.cachedAstTypesByShapeIdentifier.delete(nodeShape.$identifier());
             });
@@ -173,4 +163,4 @@ export function transformShapeToAstObjectType(shape, shapeStack) {
         shapeStack.pop(shape);
     }
 }
-//# sourceMappingURL=transformShapeToAstObjectType.js.map
+//# sourceMappingURL=transformShapeToAstStructType.js.map

package/dist/_ShapesGraphToAstTransformer/transformShapeToAstTermType.js

@@ -1,6 +1,7 @@
 import { Either, Left, Maybe } from "purify-ts";
 import { invariant } from "ts-invariant";
 import * as ast from "../ast/index.js";
+import { shapeAstTypeName } from "./shapeAstTypeName.js";
 import { shapeNodeKinds } from "./shapeNodeKinds.js";
 /**
  * Try to convert a shape to an AST TermType using some heuristics.
@@ -13,7 +14,7 @@ export function transformShapeToAstTermType(shape, shapeStack) {
             const in_ = shapeStack.constraints.in_;
             const astAbstractTypeProperties = {
                 comment: Maybe.empty(),
-                name: Maybe.empty(),
+                name: shapeAstTypeName(shape),
                 label: Maybe.empty(),
                 shapeIdentifier: shape.$identifier(),
             };

package/dist/_ShapesGraphToAstTransformer/transformShapeToAstType.d.ts

@@ -4,7 +4,7 @@ import type * as input from "../input/index.js";
 import type { ShapesGraphToAstTransformer } from "../ShapesGraphToAstTransformer.js";
 import type { ShapeStack } from "./ShapeStack.js";
 /**
- * Try to convert a shape to a type using some heuristics. All shape -> AST type transformation calls should go through this function,
+ * Try to transform a shape to an AST type using some heuristics. All shape -> AST type transformation calls should go through this function,
  * not the other transformShapeToAst*Type functions directly.
  */
 export declare function transformShapeToAstType(this: ShapesGraphToAstTransformer, shape: input.Shape, shapeStack: ShapeStack): Either<Error, ast.Type>;

package/dist/_ShapesGraphToAstTransformer/transformShapeToAstType.js

@@ -1,15 +1,15 @@
 import { Either } from "purify-ts";
 import { transformShapeToAstCompoundType } from "./transformShapeToAstCompoundType.js";
 import { transformShapeToAstListType } from "./transformShapeToAstListType.js";
-import { transformShapeToAstObjectType } from "./transformShapeToAstObjectType.js";
+import { transformShapeToAstStructType } from "./transformShapeToAstStructType.js";
 import { transformShapeToAstTermType } from "./transformShapeToAstTermType.js";
 const tryTransformShapeToAstTypeMethods = [
     transformShapeToAstListType, // List type must be before compound type since a list shape uses sh:xone
     transformShapeToAstCompoundType,
-    transformShapeToAstObjectType,
+    transformShapeToAstStructType,
 ];
 /**
- * Try to convert a shape to a type using some heuristics. All shape -> AST type transformation calls should go through this function,
+ * Try to transform a shape to an AST type using some heuristics. All shape -> AST type transformation calls should go through this function,
  * not the other transformShapeToAst*Type functions directly.
  */
 export function transformShapeToAstType(shape, shapeStack) {

package/dist/ast/AbstractCompoundType.d.ts

@@ -4,8 +4,9 @@ import type { BlankNodeType } from "./BlankNodeType.js";
 import type { IdentifierType } from "./IdentifierType.js";
 import type { IntersectionType } from "./IntersectionType.js";
 import type { IriType } from "./IriType.js";
+import type { ListType } from "./ListType.js";
 import type { LiteralType } from "./LiteralType.js";
-import type { ObjectType } from "./ObjectType.js";
+import type { StructType } from "./StructType.js";
 import type { TermType } from "./TermType.js";
 import type { Type } from "./Type.js";
 import type { UnionType } from "./UnionType.js";
@@ -38,7 +39,7 @@ export declare namespace AbstractCompoundType {
     interface Member<TypeT extends MemberType> {
         readonly type: TypeT;
     }
-    type MemberType = BlankNodeType | IdentifierType | IntersectionType | IriType | LiteralType | ObjectType | TermType | UnionType;
+    type MemberType = BlankNodeType | IdentifierType | IntersectionType | IriType | ListType | LiteralType | StructType | TermType | UnionType;
     function isMemberType(type: Type): type is MemberType;
 }
 //# sourceMappingURL=AbstractCompoundType.d.ts.map

package/dist/ast/AbstractCompoundType.js

@@ -61,16 +61,16 @@ __decorate([
             case "Identifier":
             case "Intersection":
             case "Iri":
+            case "List":
             case "Literal":
-            case "Object":
+            case "Struct":
             case "Term":
             case "Union":
                 return true;
             case "DefaultValue":
-            case "LazyObjectOption":
-            case "LazyObjectSet":
-            case "LazyObject":
-            case "List":
+            case "LazyOption":
+            case "LazySet":
+            case "Lazy":
             case "Option":
             case "Set":
                 return false;

package/dist/ast/AbstractContainerType.d.ts

@@ -6,7 +6,7 @@ import type { IntersectionType } from "./IntersectionType.js";
 import type { IriType } from "./IriType.js";
 import type { ListType } from "./ListType.js";
 import type { LiteralType } from "./LiteralType.js";
-import type { ObjectType } from "./ObjectType.js";
+import type { StructType } from "./StructType.js";
 import type { TermType } from "./TermType.js";
 import { Type } from "./Type.js";
 import type { UnionType } from "./UnionType.js";
@@ -38,7 +38,7 @@ export declare abstract class AbstractContainerType<ItemTypeT extends AbstractCo
     };
 }
 export declare namespace AbstractContainerType {
-    type ItemType = BlankNodeType | IdentifierType | IntersectionType | IriType | ListType | LiteralType | ObjectType | TermType | UnionType;
+    type ItemType = BlankNodeType | IdentifierType | IntersectionType | IriType | ListType | LiteralType | StructType | TermType | UnionType;
     function isItemType(type: Type): type is ItemType;
 }
 //# sourceMappingURL=AbstractContainerType.d.ts.map

package/dist/ast/AbstractContainerType.js

@@ -45,14 +45,14 @@ export class AbstractContainerType extends AbstractType {
             case "Iri":
             case "List":
             case "Literal":
-            case "Object":
+            case "Struct":
             case "Term":
             case "Union":
                 return true;
             case "DefaultValue":
-            case "LazyObjectOption":
-            case "LazyObjectSet":
-            case "LazyObject":
+            case "LazyOption":
+            case "LazySet":
+            case "Lazy":
             case "Option":
             case "Set":
                 return false;