semantifold 0.3.0 → 0.5.0

package/build/src/frontends/types.d.ts

@@ -0,0 +1,186 @@
+/**
+ * Resolves the value presented to list iteration after canonical optional unwrap.
+ * Semantic validation remains responsible for requiring the matching presence proof.
+ * @param {import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined} type - Parser-resolved operand type.
+ * @returns {import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined} Iterated value type.
+ */
+export declare function iterationOperandType(type: import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined): import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined;
+/**
+ * Copies a resolved list element type for one parser-owned iteration binding.
+ * The binding location is its own deterministic derived type anchor.
+ * @param {import("../semantic/types.js").SemanticValueType} type - Resolved element type.
+ * @param {import("../semantic/types.js").SourceLocation} location - Binding token location.
+ * @returns {import("../semantic/types.js").SemanticValueType} Detached semantic type.
+ */
+export declare function iterationBindingType(type: import("../semantic/types.js").SemanticValueType, location: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").SemanticValueType;
+/**
+ * Builds one recursive semantic list type with parser-owned constituent ranges.
+ * @param {import("../semantic/types.js").SemanticValueType} elementType - Element type.
+ * @param {import("../semantic/types.js").SourceLocation} location - Complete type-expression range.
+ * @param {import("../semantic/types.js").SourceLocation} elementLocation - Element type-expression range.
+ * @returns {import("../semantic/types.js").ListType} List type.
+ */
+export declare function listType(elementType: import("../semantic/types.js").SemanticValueType, location: import("../semantic/types.js").SourceLocation, elementLocation: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").ListType;
+/**
+ * Builds one recursive semantic map type with parser-owned constituent ranges.
+ * @param {import("../semantic/types.js").TypeReference} keyType - Key type.
+ * @param {import("../semantic/types.js").SemanticValueType} valueType - Value type.
+ * @param {import("../semantic/types.js").SourceLocation} location - Complete type-expression range.
+ * @param {import("../semantic/types.js").SourceLocation} keyLocation - Key type-expression range.
+ * @param {import("../semantic/types.js").SourceLocation} valueLocation - Value type-expression range.
+ * @returns {import("../semantic/types.js").MapType} Map type.
+ */
+export declare function mapType(keyType: import("../semantic/types.js").TypeReference, valueType: import("../semantic/types.js").SemanticValueType, location: import("../semantic/types.js").SourceLocation, keyLocation: import("../semantic/types.js").SourceLocation, valueLocation: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").MapType;
+/**
+ * Builds one insertion-ordered recursive semantic map type.
+ * @param {import("../semantic/types.js").TypeReference} keyType - Key type.
+ * @param {import("../semantic/types.js").SemanticValueType} valueType - Value type.
+ * @param {import("../semantic/types.js").SourceLocation} location - Complete type range.
+ * @param {import("../semantic/types.js").SourceLocation} keyLocation - Key range.
+ * @param {import("../semantic/types.js").SourceLocation} valueLocation - Value range.
+ * @returns {import("../semantic/types.js").OrderedMapType} Ordered-map type.
+ */
+export declare function orderedMapType(keyType: import("../semantic/types.js").TypeReference, valueType: import("../semantic/types.js").SemanticValueType, location: import("../semantic/types.js").SourceLocation, keyLocation: import("../semantic/types.js").SourceLocation, valueLocation: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").OrderedMapType;
+/**
+ * Promotes one parser-proven ordinary map annotation into the distinct ordered-map capability.
+ * @param {import("../semantic/types.js").MapType} type - Parsed homogeneous map type.
+ * @param {import("../semantic/types.js").SourceLocation} fallbackLocation - Owning declaration location.
+ * @returns {import("../semantic/types.js").OrderedMapType} Ordered counterpart with the same parser ranges.
+ */
+export declare function orderedMapTypeFromMap(type: import("../semantic/types.js").MapType, fallbackLocation: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").OrderedMapType;
+/**
+ * Builds one recursive semantic optional type with parser-owned constituent ranges.
+ * @param {import("../semantic/types.js").SemanticValueType} valueType - Present-value type.
+ * @param {import("../semantic/types.js").SourceLocation} location - Complete type-expression range.
+ * @param {import("../semantic/types.js").SourceLocation} valueLocation - Present-value type range.
+ * @returns {import("../semantic/types.js").OptionalType} Optional type.
+ */
+export declare function optionalType(valueType: import("../semantic/types.js").SemanticValueType, location: import("../semantic/types.js").SourceLocation, valueLocation: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").OptionalType;
+/**
+ * Builds one nominal semantic record type with a parser-owned name range.
+ * @param {string} declarationId - Stable declaration identity.
+ * @param {import("../semantic/types.js").SourceLocation} location - Record type-name range.
+ * @param {import("../semantic/types.js").SemanticValueType[]} [arguments_] - Exact generic arguments.
+ * @returns {import("../semantic/types.js").RecordType} Record type.
+ */
+export declare function recordType(declarationId: string, location: import("../semantic/types.js").SourceLocation, arguments_?: import("../semantic/types.js").SemanticValueType[]): import("../semantic/types.js").RecordType;
+/**
+ * Builds one nominal reference-class type with a parser-owned name range.
+ * @param {string} declarationId - Stable class identity.
+ * @param {import("../semantic/types.js").SourceLocation} location - Class type-name range.
+ * @returns {import("../semantic/types.js").ReferenceType} Reference type.
+ */
+export declare function referenceType(declarationId: string, location: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").ReferenceType;
+/**
+ * Builds one compiler-owned resource type with a parser-owned name range.
+ * @param {string} resourceId - Stable capability resource identity.
+ * @param {import("../semantic/types.js").SourceLocation} location - Resource type-name range.
+ * @returns {import("../semantic/types.js").OwnedResourceType} Owned resource type.
+ */
+export declare function ownedResourceType(resourceId: string, location: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").OwnedResourceType;
+/**
+ * Builds one linear owned-reference type with a parser-owned name range.
+ * @param {string} declarationId - Stable owned class identity.
+ * @param {import("../semantic/types.js").SourceLocation} location - Class type-name range.
+ * @returns {import("../semantic/types.js").OwnedReferenceType} Owned reference type.
+ */
+export declare function ownedReferenceType(declarationId: string, location: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").OwnedReferenceType;
+/**
+ * Builds parser-context signatures for compiler-authorized operations without exposing a source declaration.
+ * @param {readonly import("../semantic/types.js").EffectCapabilityDeclaration[]} capabilities - Authorized declarations.
+ * @param {import("../semantic/types.js").SourceLocation} location - Synthetic parser-context anchor.
+ * @returns {Map<string, {location: import("../semantic/types.js").SourceLocation, nameLocation: import("../semantic/types.js").SourceLocation, name: string, parameters: import("../semantic/types.js").Parameter[], returnType: import("../semantic/types.js").SemanticFunctionReturnType, typeParameters?: import("../semantic/types.js").TypeParameter[]}>} Signatures by source spelling.
+ */
+export declare function capabilityFunctionSignatures(capabilities: readonly import("../semantic/types.js").EffectCapabilityDeclaration[], location: import("../semantic/types.js").SourceLocation): Map<string, {
+    location: import("../semantic/types.js").SourceLocation;
+    nameLocation: import("../semantic/types.js").SourceLocation;
+    name: string;
+    parameters: import("../semantic/types.js").Parameter[];
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType;
+    typeParameters?: import("../semantic/types.js").TypeParameter[];
+}>;
+/**
+ * Builds one declaration-scoped type-variable reference.
+ * @param {string} parameterId - Stable type-parameter identity.
+ * @param {import("../semantic/types.js").SourceLocation} location - Exact reference range.
+ * @returns {import("../semantic/types.js").TypeVariableReference} Type-variable reference.
+ */
+export declare function typeVariable(parameterId: string, location: import("../semantic/types.js").SourceLocation): import("../semantic/types.js").TypeVariableReference;
+/**
+ * Compares semantic type expressions while ignoring parser-owned locations.
+ * @param {import("../semantic/types.js").SemanticValueType} left - Left type.
+ * @param {import("../semantic/types.js").SemanticValueType} right - Right type.
+ * @returns {boolean} Whether the semantic structures are identical.
+ */
+export declare function sameValueType(left: import("../semantic/types.js").SemanticValueType, right: import("../semantic/types.js").SemanticValueType): boolean;
+/**
+ * Resolves one generic record field against a complete application for parser
+ * contextual conversion. Invalid/raw applications remain unchanged so the
+ * semantic validator owns their stable diagnostic.
+ * @param {import("../semantic/types.js").RecordDeclaration} declaration - Resolved record declaration.
+ * @param {import("../semantic/types.js").SemanticValueType[] | undefined} arguments_ - Parsed application arguments.
+ * @param {number} index - Constructor field index.
+ * @returns {import("../semantic/types.js").SemanticValueType | undefined} Closed field type when available.
+ */
+export declare function instantiatedRecordFieldType(declaration: import("../semantic/types.js").RecordDeclaration, arguments_: import("../semantic/types.js").SemanticValueType[] | undefined, index: number): import("../semantic/types.js").SemanticValueType | undefined;
+/**
+ * Applies parser-known generic-call argument evidence to its declared return.
+ * An unresolved variable remains open: this is conservative context discovery
+ * only, while semantic validation still performs authoritative inference.
+ * @param {{parameters: import("../semantic/types.js").Parameter[], returnType: import("../semantic/types.js").SemanticFunctionReturnType}} signature - Declared signature.
+ * @param {(import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined)[]} arguments_ - Parser-known argument types.
+ * @returns {import("../semantic/types.js").SemanticFunctionReturnType | undefined} Known result with available substitutions.
+ */
+export declare function knownCallReturnType(signature: {
+    parameters: import("../semantic/types.js").Parameter[];
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType;
+}, arguments_: (import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined)[]): import("../semantic/types.js").SemanticFunctionReturnType | undefined;
+/**
+ * Applies conservative parser-known call evidence to every parameter context.
+ * Unresolved variables remain open for the language frontend to handle only in
+ * a matching lexical type-parameter scope.
+ * @param {{parameters: import("../semantic/types.js").Parameter[]}} signature - Declared signature.
+ * @param {(import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined)[]} arguments_ - Parser-known argument types.
+ * @returns {import("../semantic/types.js").SemanticValueType[] | undefined} Substituted parameter contexts.
+ */
+export declare function knownCallParameterTypes(signature: {
+    parameters: import("../semantic/types.js").Parameter[];
+}, arguments_: (import("../semantic/types.js").SemanticFunctionReturnType | import("../semantic/types.js").ErrorType | undefined)[]): import("../semantic/types.js").SemanticValueType[] | undefined;
+/**
+ * Preserves an optional binding when a generic formal needs its wrapped type as
+ * argument-only inference evidence. The semantic validator remains the sole
+ * authority for unification and presence-proof checks.
+ * @param {{parameters: import("../semantic/types.js").Parameter[], typeParameters?: import("../semantic/types.js").TypeParameter[]} | undefined} signature - Known direct-call signature.
+ * @param {number} index - Argument index.
+ * @returns {boolean} Whether frontend conversion must retain optionality.
+ */
+export declare function preservesGenericOptionalEvidence(signature: {
+    parameters: import("../semantic/types.js").Parameter[];
+    typeParameters?: import("../semantic/types.js").TypeParameter[];
+} | undefined, index: number): boolean;
+/**
+ * Converts one parser/comment-parser-owned bounded type expression. This parser
+ * recognizes only Task 006's concrete scalar/list/map grammar; it never scans
+ * source outside the already-associated type token.
+ * @param {object} input - Documented type input.
+ * @param {"javascript" | "php" | "ruby"} input.language - Comment profile.
+ * @param {import("../semantic/types.js").SourceLocation} input.location - Exact type token range.
+ * @param {import("../semantic/types.js").SourceLocation} input.ownerLocation - Owning declaration range.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [input.records] - Available nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").TypeParameter>} [input.typeParameters] - Declaration-scoped parameters by name.
+ * @param {string} input.source - Complete parser input for exact subranges.
+ * @param {string | undefined} input.sourceType - Exact comment-parser/Prism-owned type token.
+ * @param {string} input.subject - Diagnostic subject.
+ * @returns {import("../semantic/types.js").SemanticValueType} Semantic value type.
+ */
+export declare function documentedValueType({ language, location, ownerLocation, records, source, sourceType, subject, typeParameters }: {
+    language: "javascript" | "php" | "ruby";
+    location: import("../semantic/types.js").SourceLocation;
+    ownerLocation: import("../semantic/types.js").SourceLocation;
+    records?: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>;
+    typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>;
+    source: string;
+    sourceType: string | undefined;
+    subject: string;
+}): import("../semantic/types.js").SemanticValueType;
+//# sourceMappingURL=types.d.ts.map

package/build/src/frontends/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/frontends/types.js"],"names":[],"mappings":"AAQA;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAH9B,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,OAAO,sBAAsB,EAAE,SAAS,GAAG,SAGzE,GAF5B,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,OAAO,sBAAsB,EAAE,SAAS,GAAG,SAAS,CAI5H;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAJ9B,OAAO,sBAAsB,EAAE,iBAID,EAAE,QAAQ,EAHxC,OAAO,sBAAsB,EAAE,cAGS,GAFtC,OAAO,sBAAsB,EAAE,iBAAiB,CAsC5D;AAED;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,WAAW,EALzB,OAAO,sBAAsB,EAAE,iBAKN,EAAE,QAAQ,EAJnC,OAAO,sBAAsB,EAAE,cAII,EAAE,eAAe,EAHpD,OAAO,sBAAsB,EAAE,cAGqB,GAFlD,OAAO,sBAAsB,EAAE,QAAQ,CAOnD;AAED;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CAAC,OAAO,EAPpB,OAAO,sBAAsB,EAAE,aAOX,EAAE,SAAS,EAN/B,OAAO,sBAAsB,EAAE,iBAMA,EAAE,QAAQ,EALzC,OAAO,sBAAsB,EAAE,cAKU,EAAE,WAAW,EAJtD,OAAO,sBAAsB,EAAE,cAIuB,EAAE,aAAa,EAHrE,OAAO,sBAAsB,EAAE,cAGsC,GAFnE,OAAO,sBAAsB,EAAE,OAAO,CAOlD;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAP3B,OAAO,sBAAsB,EAAE,aAOJ,EAAE,SAAS,EANtC,OAAO,sBAAsB,EAAE,iBAMO,EAAE,QAAQ,EALhD,OAAO,sBAAsB,EAAE,cAKiB,EAAE,WAAW,EAJ7D,OAAO,sBAAsB,EAAE,cAI8B,EAAE,aAAa,EAH5E,OAAO,sBAAsB,EAAE,cAG6C,GAF1E,OAAO,sBAAsB,EAAE,cAAc,CAOzD;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAJ/B,OAAO,sBAAsB,EAAE,OAIA,EAAE,gBAAgB,EAHjD,OAAO,sBAAsB,EAAE,cAGkB,GAF/C,OAAO,sBAAsB,EAAE,cAAc,CAYzD;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAL3B,OAAO,sBAAsB,EAAE,iBAKJ,EAAE,QAAQ,EAJrC,OAAO,sBAAsB,EAAE,cAIM,EAAE,aAAa,EAHpD,OAAO,sBAAsB,EAAE,cAGqB,GAFlD,OAAO,sBAAsB,EAAE,YAAY,CAOvD;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,aAAa,EAL7B,MAK6B,EAAE,QAAQ,EAJvC,OAAO,sBAAsB,EAAE,cAIQ,EAAE,UAAU,AAH3D,CACA,EADQ,OAAO,sBAAsB,EAAE,iBAAiB,EAGG,GAFjD,OAAO,sBAAsB,EAAE,UAAU,CAOrD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,aAAa,EAJhC,MAIgC,EAAE,QAAQ,EAH1C,OAAO,sBAAsB,EAAE,cAGW,GAFxC,OAAO,sBAAsB,EAAE,aAAa,CAOxD;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAJjC,MAIiC,EAAE,QAAQ,EAH3C,OAAO,sBAAsB,EAAE,cAGY,GAFzC,OAAO,sBAAsB,EAAE,iBAAiB,CAM5D;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,aAAa,EAJrC,MAIqC,EAAE,QAAQ,EAH/C,OAAO,sBAAsB,EAAE,cAGgB,GAF7C,OAAO,sBAAsB,EAAE,kBAAkB,CAM7D;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,YAAY,EAJ9C,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAIrB,EAAE,QAAQ,EAHxD,OAAO,sBAAsB,EAAE,cAGyB,GAFtD,GAAG,CAAC,MAAM,EAAE;IAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,SAAS,EAAE,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,0BAA0B,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAAA;CAAC,CAAC,CAU7V;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,WAAW,EAJ7B,MAI6B,EAAE,QAAQ,EAHvC,OAAO,sBAAsB,EAAE,cAGQ,GAFrC,OAAO,sBAAsB,EAAE,qBAAqB,CAOhE;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAJvB,OAAO,sBAAsB,EAAE,iBAIR,EAAE,KAAK,EAH9B,OAAO,sBAAsB,EAAE,iBAGD,GAF5B,OAAO,CAwBnB;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CAAC,WAAW,EAL5C,OAAO,sBAAsB,EAAE,iBAKa,EAAE,UAAU,EAJxD,OAAO,sBAAsB,EAAE,iBAAiB,EAAE,GAAG,SAIG,EAAE,KAAK,EAH/D,MAG+D,GAF7D,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,SAAS,CAcxE;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAJlC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,SAAS,EAAE,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,0BAA0B,CAAA;CAI5F,EAAE,UAAU,EAH9C,CAAC,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,OAAO,sBAAsB,EAAE,SAAS,GAAG,SAAS,CAAC,EAGpE,GAF5C,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,SAAS,CAOjF;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,EAJtC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,SAAS,EAAE,CAAA;CAIjB,EAAE,UAAU,EAHlD,CAAC,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,OAAO,sBAAsB,EAAE,SAAS,GAAG,SAAS,CAAC,EAGhE,GAFhD,OAAO,sBAAsB,EAAE,iBAAiB,EAAE,GAAG,SAAS,CAQ1E;AA0BD;;;;;;;GAOG;AACH,wBAAgB,gCAAgC,CAAC,SAAS,EAJ/C;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,SAAS,EAAE,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAAA;CAAC,GAAG,SAI7E,EAAE,KAAK,EAHtD,MAGsD,GAFpD,OAAO,CAMnB;AA6CD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,mBAAmB,CAAC,EAAC,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAmB,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,cAA0B,EAAC,EAVlJ;IAA6C,QAAQ,EAA7C,YAAY,GAAG,KAAK,GAAG,MAAM,CACrC;IAA6D,QAAQ,EAA7D,OAAO,sBAAsB,EAAE,cAAc,CACrD;IAA6D,aAAa,EAAlE,OAAO,sBAAsB,EAAE,cAAc,CACrD;IAA2L,OAAO,AAAlM,CACA,EADQ,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,CAAC,CAClL;IAA0E,cAAc,AAAxF,CACA,EADQ,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CACjE;IAAsB,MAAM,EAApB,MAAM,CACd;IAAkC,UAAU,EAApC,MAAM,GAAG,SAAS,CAC1B;IAAsB,OAAO,EAArB,MAAM,CACd;CAEkJ,GAFxI,OAAO,sBAAsB,EAAE,iBAAiB,CA8E5D"}