@shd101wyy/yo 0.1.21 → 0.1.23

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (30) hide show
  1. package/.github/skills/yo-core-patterns/core-patterns-cheatsheet.md +2 -0
  2. package/.github/skills/yo-syntax/syntax-cheatsheet.md +3 -1
  3. package/out/cjs/index.cjs +560 -548
  4. package/out/cjs/yo-cli.cjs +710 -698
  5. package/out/cjs/yo-lsp.cjs +579 -567
  6. package/out/esm/index.mjs +546 -534
  7. package/out/types/src/codegen/exprs/drop-dup.d.ts +1 -0
  8. package/out/types/src/evaluator/context.d.ts +6 -0
  9. package/out/types/src/evaluator/trait-checking.d.ts +11 -1
  10. package/out/types/src/evaluator/values/impl.d.ts +1 -0
  11. package/out/types/tsconfig.tsbuildinfo +1 -1
  12. package/package.json +1 -1
  13. package/scripts/install.ps1 +143 -0
  14. package/scripts/install.sh +139 -0
  15. package/std/cli/arg_parser.yo +148 -24
  16. package/std/collections/array_list.yo +77 -0
  17. package/std/collections/hash_map.yo +87 -0
  18. package/std/collections/hash_set.yo +44 -0
  19. package/std/collections/ordered_map.yo +244 -0
  20. package/std/{process.yo → env.yo} +27 -78
  21. package/std/fs/temp.yo +2 -1
  22. package/std/{glob/index.yo → glob.yo} +2 -2
  23. package/std/{log/index.yo → log.yo} +3 -3
  24. package/std/os/env.yo +2 -1
  25. package/std/prelude.yo +404 -3
  26. package/std/process/command.yo +303 -0
  27. package/std/process/index.yo +45 -0
  28. package/std/string/index.yo +3 -1
  29. package/std/string/string.yo +245 -1
  30. package/std/string/string_builder.yo +173 -0
package/out/types/src/codegen/exprs/drop-dup.d.ts CHANGED
@@ -2,6 +2,7 @@ import { type Expr } from "../../expr";
2
2
  import type { Type } from "../../types/definitions";
3
3
  import type { FunctionGenerationContext } from "../functions/context";
4
4
  import { type CodeGenContext } from "../utils";
5
+ export declare function resolveSomeTypeParamType(valueArg: Expr, valueType: Type, context: CodeGenContext): Type;
5
6
  export declare function generateDropCodeForValue(valueCode: string, valueType: Type, context: CodeGenContext): string;
6
7
  export declare function generateDupCodeForValue(valueCode: string, valueType: Type, context: CodeGenContext): string;
7
8
  export declare function getDropFunctionForType(type: Type, context: CodeGenContext): string | undefined;
package/out/types/src/evaluator/context.d.ts CHANGED
@@ -76,6 +76,12 @@ export interface EvaluatorContext {
76
76
  specializedReturnType: Type;
77
77
  originalFunction: FunctionValue;
78
78
  };
79
+ currentlySpecializingFunctionStack?: Array<{
80
+ originalFuncId: string;
81
+ specializedFuncId: string;
82
+ specializedReturnType: Type;
83
+ originalFunction: FunctionValue;
84
+ }>;
79
85
  docCommentLookup?: Map<string, string>;
80
86
  }
81
87
  export interface ArgValues {
package/out/types/src/evaluator/trait-checking.d.ts CHANGED
@@ -2,10 +2,20 @@ import { type Environment } from "../env";
2
2
  import type { Token } from "../token";
3
3
  import type { DynType, FnTraitType, FutureTraitType, SomeType, TraitType, Type } from "../types/definitions";
4
4
  import type { EvaluatorContext } from "./context";
5
+ export declare function markConcreteImplBeingRegistered(typeId: string, traitId: string): void;
6
+ export declare function unmarkConcreteImplBeingRegistered(typeId: string, traitId: string): void;
5
7
  export declare function typeImplementsTrait({ targetType, traitType, env, }: {
6
8
  targetType: Type;
7
9
  traitType: TraitType;
8
10
  env: Environment;
11
+ }): {
12
+ implemented: boolean;
13
+ env: Environment;
14
+ };
15
+ export declare function typeImplementsTraitBool({ targetType, traitType, env, }: {
16
+ targetType: Type;
17
+ traitType: TraitType;
18
+ env: Environment;
9
19
  }): boolean;
10
20
  export declare function checkTypeImplementsSelfConstraints({ targetType, traitType, env, errorToken, }: {
11
21
  targetType: Type;
@@ -26,7 +36,7 @@ export declare function typeIsRuntimeOnly(type: Type, env: Environment): boolean
26
36
  export declare function typeImplementsFn(type: Type | undefined): type is (SomeType | DynType) & {
27
37
  isFn: true;
28
38
  };
29
- export declare function extractFnTraitFromType(type: Type): FnTraitType | undefined;
39
+ export declare function extractFnTraitFromType(type: Type, env?: Environment): FnTraitType | undefined;
30
40
  export declare function typeImplementsFuture(type: Type | undefined): type is (SomeType | DynType) & {
31
41
  isFuture: true;
32
42
  };
package/out/types/src/evaluator/values/impl.d.ts CHANGED
@@ -29,6 +29,7 @@ export interface GenericImpl {
29
29
  traitTypeArgExprs?: Expr[];
30
30
  traitFunctionParamNames?: string[];
31
31
  }
32
+ export declare function isConcreteImplBeingRegistered(receiverTypeId: string, traitTypeId: string): boolean;
32
33
  export declare function clearGenericImplsFromModule(modulePath: string): void;
33
34
  export declare function clearAllGlobalImplState(): void;
34
35
  export declare function findMatchingGenericImpl({ concreteType, traitType, env, }: {