@shd101wyy/yo 0.1.13 → 0.1.15

package/out/types/src/cache.d.ts

@@ -1,3 +1,5 @@
 export declare function getGlobalCacheDir(): string;
 export declare function getGlobalDepsCacheDir(): string;
 export declare function ensureGlobalDepsCacheDir(): string;
+export declare function getGlobalVersionsCacheDir(): string;
+export declare function getVersionCacheDir(version: string): string;

package/out/types/src/doc/extractor.d.ts

@@ -17,6 +17,10 @@ export interface DocExtractionResult {
 export interface InlineDocResult {
     docs: Map<string, string>;
 }
+export declare function getDocCommentLookupKey(target: {
+    position: Token["position"];
+    modulePath: string;
+}): string;
 export declare function stripDocLineComment(value: string): string;
 export declare function stripDocBlockComment(value: string): string;
 export declare function extractDocComments(tokens: Token[]): DocExtractionResult;

package/out/types/src/doc/render-html.d.ts

@@ -4,8 +4,12 @@ declare function escapeHtml(text: string): string;
 declare function moduleToFilename(name: string): string;
 declare function moduleDisplayName(name: string): string;
 declare function moduleGroup(name: string): string;
+type SymbolLinks = Map<string, string>;
+declare function buildSymbolLinks(model: DocModel): SymbolLinks;
+declare function linkifyType(typeStr: string, symbolLinks: SymbolLinks, currentModuleFilename?: string): string;
 declare function generateCSS(): string;
 declare function generateSearchJS(): string;
+declare function generateHighlightJS(): string;
 interface SearchEntry {
     name: string;
     kind: string;
@@ -20,4 +24,4 @@ export interface RenderHtmlOptions {
     outputDir: string;
 }
 export declare function renderDocSite(options: RenderHtmlOptions): Promise<void>;
-export { escapeHtml, buildSearchIndex, firstSentence, generateCSS, generateSearchJS, moduleToFilename, moduleDisplayName, moduleGroup, };
+export { escapeHtml, buildSearchIndex, buildSymbolLinks, linkifyType, firstSentence, generateCSS, generateSearchJS, generateHighlightJS, moduleToFilename, moduleDisplayName, moduleGroup, };

package/out/types/src/evaluator/values/impl.d.ts

@@ -1,6 +1,6 @@
 import { type Environment } from "../../env";
 import { type Expr, type FnCallExpr } from "../../expr";
-import type { FunctionType, SomeType, TraitType, Type } from "../../types/definitions";
+import type { FunctionType, SomeType, TraitField, TraitType, Type } from "../../types/definitions";
 import { type TraitValue, type UnknownValue, type Value } from "../../value";
 import type { EvaluatorContext } from "../context";
 export type ForallParameter = {
@@ -44,6 +44,13 @@ export declare function findMethodsFromGenericImpls({ concreteType, methodName,
     type: FunctionType;
     value: Value | undefined;
 }[];
+export declare function enumerateMethodNamesFromGenericImpls({ concreteType, env, }: {
+    concreteType: Type;
+    env: Environment;
+}): {
+    name: string;
+    type: FunctionType;
+}[];
 export declare function findAssociatedTypeFromGenericImpls({ concreteType, propertyName, env, }: {
     concreteType: Type;
     propertyName: string;
@@ -62,6 +69,7 @@ export declare function findMethodFromGenericImplForTrait({ concreteType, traitT
     value: Value | undefined;
 } | undefined;
 export declare function clearImplsFromModule(modulePath: string): void;
+export declare function snapshotAllImplTraitFields(): Map<TraitType, TraitField[]>;
 export declare function evaluateModuleValue({ expr, env, context, }: {
     expr: FnCallExpr;
     env: Environment;

package/out/types/src/lsp/completion.d.ts

@@ -0,0 +1,3 @@
+import type { CompletionItem } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleCompletion(uri: string, line: number, character: number, lineText: string, docManager: LspDocumentManager): CompletionItem[];

package/out/types/src/lsp/definition.d.ts

@@ -0,0 +1,3 @@
+import type { Location } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleDefinition(uri: string, line: number, character: number, docManager: LspDocumentManager): Location | null;

package/out/types/src/lsp/diagnostics.d.ts

@@ -0,0 +1,6 @@
+import type { Diagnostic } from "vscode-languageserver";
+import { YoLexerError } from "../error";
+import type { LspDocumentManager } from "./document-manager";
+export declare function getDiagnosticsForUri(uri: string, docManager: LspDocumentManager, documentText?: string): Diagnostic[];
+export declare function errorToDiagnostics(error: Error, documentText?: string): Diagnostic[];
+export declare function lexerErrorToDiagnostic(error: YoLexerError, text: string): Diagnostic;

package/out/types/src/lsp/document-manager.d.ts

@@ -0,0 +1,31 @@
+import type { TextDocuments } from "vscode-languageserver";
+import type { TextDocument } from "vscode-languageserver-textdocument";
+import { ModuleManager } from "../module-manager";
+type ModuleData = NonNullable<ReturnType<ModuleManager["modules"]["get"]>>;
+export declare class LspDocumentManager {
+    private moduleManager;
+    private moduleManagerStdPath;
+    private evaluatedBuildProjects;
+    private lastAnalyzedTextByUri;
+    private analyzeGenerationByUri;
+    private lastGoodModules;
+    constructor(stdPath?: string);
+    getStdPath(): string | null;
+    attachToDocuments(documents: TextDocuments<TextDocument>, onDiagnostics: (uri: string) => void): void;
+    analyzeDocument(document: TextDocument, onDiagnostics: (uri: string) => void): void;
+    getModule(uri: string): {
+        moduleValue: import("../value").ModuleValue;
+        moduleError: Error | undefined;
+        evaluator: import("../evaluator").default;
+    } | undefined;
+    getModuleForCompletion(uri: string): ModuleData | undefined;
+    getLastGoodModule(uri: string): ModuleData | undefined;
+    getModuleManager(): ModuleManager;
+    private ensureStdPathForUri;
+    private findStdPath;
+    private findBuildYoForUri;
+    private ensureBuildImportsResolved;
+    private findDependencyDir;
+    private resolveDepModuleRoot;
+}
+export {};

package/out/types/src/lsp/folding.d.ts

@@ -0,0 +1,3 @@
+import { FoldingRange } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleFoldingRange(uri: string, docManager: LspDocumentManager): FoldingRange[];

package/out/types/src/lsp/hover.d.ts

@@ -0,0 +1,3 @@
+import type { Hover } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleHover(uri: string, line: number, character: number, docManager: LspDocumentManager): Hover | null;

package/out/types/src/lsp/inlay-hints.d.ts

@@ -0,0 +1,3 @@
+import { type InlayHint } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleInlayHint(uri: string, docManager: LspDocumentManager): InlayHint[];

package/out/types/src/lsp/references.d.ts

@@ -0,0 +1,3 @@
+import type { Location } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleReferences(uri: string, line: number, character: number, docManager: LspDocumentManager): Location[] | null;

package/out/types/src/lsp/rename.d.ts

@@ -0,0 +1,16 @@
+import type { RenameParams, WorkspaceEdit } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleRename(params: RenameParams, docManager: LspDocumentManager): WorkspaceEdit | null;
+export declare function handlePrepareRename(uri: string, line: number, character: number, docManager: LspDocumentManager): {
+    range: {
+        start: {
+            line: number;
+            character: number;
+        };
+        end: {
+            line: number;
+            character: number;
+        };
+    };
+    placeholder: string;
+} | null;

package/out/types/src/lsp/server.d.ts

@@ -0,0 +1 @@
+export {};

package/out/types/src/lsp/signature-help.d.ts

@@ -0,0 +1,3 @@
+import { type SignatureHelp } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleSignatureHelp(uri: string, line: number, character: number, docManager: LspDocumentManager): SignatureHelp | null;

package/out/types/src/lsp/symbols.d.ts

@@ -0,0 +1,3 @@
+import { DocumentSymbol } from "vscode-languageserver";
+import type { LspDocumentManager } from "./document-manager";
+export declare function handleDocumentSymbol(uri: string, docManager: LspDocumentManager): DocumentSymbol[];

package/out/types/src/lsp/utils.d.ts

@@ -0,0 +1,11 @@
+import type { Variable } from "../env";
+import { type AtomExpr, type Expr } from "../expr";
+import { type Token } from "../token";
+export declare function findTokenAtPosition(tokens: Token[], line: number, character: number): Token | null;
+export declare function collectExpressionCandidates(exprs: Expr[], targetToken: Token, candidateExprs: AtomExpr[]): void;
+export declare function findBestExpressionMatch(exprs: Expr[], targetToken: Token, targetLine: number): Expr | null;
+export declare function selectBestVariableAtPosition(variables: Variable[], targetToken: Pick<Token, "position" | "modulePath">): Variable | undefined;
+export declare function walkExprs(exprs: Expr[], visitor: (expr: Expr) => void): void;
+export declare function modulePathToUri(modulePath: string): string;
+export declare function uriToModulePath(uri: string): string;
+export declare function modulePathToFsPath(modulePath: string): string;

package/out/types/src/tests/lsp.test.d.ts

@@ -0,0 +1 @@
+export {};

package/out/types/src/tests/version.test.d.ts

@@ -0,0 +1 @@
+export {};

package/out/types/src/types/definitions.d.ts

@@ -97,6 +97,7 @@ export interface TypeField {
     assignedValue?: Value;
     exprs: FieldExprs;
     isEffectParam?: boolean;
+    docComment?: string;
 }
 export interface TupleType extends Type {
     tag: TypeTag.Tuple;
@@ -145,6 +146,7 @@ export interface ModuleField {
     defaultValue?: Value;
     assignedValue?: Value;
     exprs: FieldExprs;
+    docComment?: string;
 }
 export interface TraitField extends ModuleField {
     unassignedSomeType?: SomeType;

package/out/types/src/version-cache.d.ts

@@ -0,0 +1,7 @@
+export declare function isVersionCached(version: string): boolean;
+export declare function listCachedVersions(): string[];
+export declare function cleanVersionCache(version?: string): void;
+export declare function ensureCachedVersion(version: string): Promise<string>;
+export declare function downloadVersion(version: string): Promise<string>;
+export declare function fetchRemoteVersions(): Promise<string[]>;
+export declare function findJsRuntime(): string;

package/out/types/src/version.d.ts

@@ -0,0 +1,5 @@
+export declare function getCurrentYoVersion(): string;
+export declare function findYoVersionFile(startDir: string): string | null;
+export declare function parseYoVersion(content: string): string;
+export declare function readYoVersion(startDir: string): string | null;
+export declare function isPinnedVersionCurrent(pinnedVersion: string): boolean;