@shd101wyy/yo 0.1.8 → 0.1.9

package/out/types/src/evaluator/builtins/comptime-list-fns.d.ts

@@ -31,3 +31,8 @@ export declare function evaluateYoComptimeListElementType({ expr, env, context,
     env: Environment;
     context: EvaluatorContext;
 }): FnCallExpr;
+export declare function evaluateYoComptimeListGet({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;

package/out/types/src/evaluator/builtins/derive-rule.d.ts

@@ -0,0 +1,8 @@
+import type { Environment } from "../../env";
+import { type FnCallExpr } from "../../expr";
+import type { EvaluatorContext } from "../context";
+export declare function evaluateDeriveRule({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;

package/out/types/src/evaluator/builtins/derive.d.ts

@@ -0,0 +1,8 @@
+import type { Environment } from "../../env";
+import { type FnCallExpr } from "../../expr";
+import type { EvaluatorContext } from "../context";
+export declare function evaluateDerive({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;

package/out/types/src/evaluator/builtins/type-fns.d.ts

@@ -11,6 +11,11 @@ export declare function evaluateYoAreTypesCompatible({ expr, env, context, }: {
     env: Environment;
     context: EvaluatorContext;
 }): FnCallExpr;
+export declare function evaluateYoAreTypesEqual({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
 export declare function evaluateYoTypeContainsRcType({ expr, env, context, }: {
     expr: FnCallExpr;
     env: Environment;
@@ -26,3 +31,28 @@ export declare function evaluateYoTypeImpls({ expr, env, context, }: {
     env: Environment;
     context: EvaluatorContext;
 }): FnCallExpr;
+export declare function evaluateYoTypeGetInfo({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateComptimeEval({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateComptimeStringToExpr({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateTypeJoinFields({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;
+export declare function evaluateTypeMapVariants({ expr, env, context, }: {
+    expr: FnCallExpr;
+    env: Environment;
+    context: EvaluatorContext;
+}): FnCallExpr;

package/out/types/src/evaluator/calls/comptime-fn.d.ts

@@ -16,4 +16,5 @@ export declare function evaluateComptimeFunctionCall({ functionCalleeExpr, funct
     value: Value;
     callerEnv: Environment;
     calleeEnv: Environment;
+    comptimeRef?: import("../../expr").ComptimeRef;
 };

package/out/types/src/evaluator/calls/index-trait.d.ts

@@ -1,10 +1,12 @@
 import type { Environment } from "../../env";
 import { type Expr, type FnCallExpr } from "../../expr";
 import type { Type } from "../../types/definitions";
+import type { Value } from "../../value";
 import type { EvaluatorContext, IndexCallResult } from "../context";
-export declare function tryToCallWithIndexTrait({ expr, valueType, argExprs, callerEnv, context, }: {
+export declare function tryToCallWithIndexTrait({ expr, valueType, selfValue, argExprs, callerEnv, context, }: {
     expr: FnCallExpr;
     valueType: Type;
+    selfValue?: Value;
     argExprs: Expr[];
     callerEnv: Environment;
     context: EvaluatorContext;

package/out/types/src/evaluator/context.d.ts

@@ -1,10 +1,10 @@
 import type { Environment } from "../env";
 import { YoError } from "../error";
-import type { Expr, FnCallExpr, PathCollection } from "../expr";
+import type { Expr, FnCallExpr, PathCollection, ComptimeRef } from "../expr";
 import type { FunctionValue } from "../function-value";
 import type { Token } from "../token";
 import type { FunctionType, TraitType, Type } from "../types/definitions";
-import type { ArrayValue, ModuleValue, TraitValue, Value } from "../value";
+import type { ModuleValue, TraitValue, Value } from "../value";
 export interface FunctionEvaluationContext {
     kind: "function-body";
     type: FunctionType;
@@ -141,10 +141,7 @@ export interface IndexCallResult {
     indexMethodValue: Value | undefined;
     callerEnv: Environment;
     index?: number;
-    arrayElementRef?: {
-        arrayValue: ArrayValue;
-        index: number;
-    };
+    comptimeRef?: ComptimeRef;
 }
 export interface FunctionToCall {
     type: Type;

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

@@ -4,10 +4,27 @@ import type { EvaluatorContext } from "./evaluator/context";
 import type { EffectAnalysisResult } from "./evaluator/effects/effect-analysis-types";
 import { type Token } from "./token";
 import type { FunctionType, StructType, Type } from "./types/definitions";
-import { type ArrayValue, type TraitValue, type Value } from "./value";
+import { type ArrayValue, type ComptimeListValue, type StructValue, type TupleValue, type TraitValue, type Value } from "./value";
 import { ValueTag } from "./value-tag";
 export type Path = string[];
 export type PathCollection = Path[];
+export type ComptimeRef = {
+    kind: "array";
+    arrayValue: ArrayValue;
+    index: number;
+} | {
+    kind: "comptime_list";
+    listValue: ComptimeListValue;
+    index: number;
+} | {
+    kind: "struct";
+    structValue: StructValue;
+    fieldIndex: number;
+} | {
+    kind: "tuple";
+    tupleValue: TupleValue;
+    fieldIndex: number;
+};
 export declare function pathContainsPath(path1: Path, path2: Path): boolean;
 export declare function pathCollectionConflictsWithPathCollection(collection1: PathCollection, collection2: PathCollection): boolean;
 export declare function pathConflictsWithPath(path1: Path, path2: Path): boolean;
@@ -63,10 +80,7 @@ export interface EvaluatedExprData {
     poppedEnvFrame?: Frame;
     originalExpr?: Expr;
     sourceVariable?: Variable;
-    arrayElementRef?: {
-        arrayValue: ArrayValue;
-        index: number;
-    };
+    comptimeRef?: ComptimeRef;
     indexTraitPtrType?: Type;
     indexMethodType?: FunctionType;
     indexMethodValue?: Value;
@@ -225,6 +239,10 @@ export declare const BuiltinFunctions: {
     __yo_comptime_list_append: string[];
     __yo_comptime_list_length: string[];
     __yo_comptime_list_element_type: string[];
+    __yo_comptime_list_get: string[];
+    __yo_comptime_list_index: string[];
+    __yo_comptime_list_index_range: string[];
+    __yo_comptime_list_index_range_inclusive: string[];
     __yo_comptime_int_add: string[];
     __yo_comptime_int_sub: string[];
     __yo_comptime_int_mul: string[];
@@ -494,7 +512,15 @@ export declare const BuiltinFunctions: {
     __yo_type_contains_rc_type: string[];
     __yo_type_can_form_rc_cycle: string[];
     __yo_are_types_compatible: string[];
+    __yo_are_types_equal: string[];
     __yo_type_impls: string[];
+    __yo_type_get_info: string[];
+    comptime_eval: string[];
+    derive: string[];
+    derive_rule: string[];
+    __yo_comptime_string_to_expr: string[];
+    __yo_type_join_fields: string[];
+    __yo_type_map_variants: string[];
     __yo_var_print_info: string[];
     __yo_var_is_owning_the_rc_value: string[];
     __yo_var_has_other_aliases: string[];

package/out/types/src/function-value.d.ts

@@ -35,6 +35,7 @@ export type FunctionValue = {
     closureInfo?: ClosureInfo;
     isModuleEffectMember?: boolean;
     isIoAsyncStateMachineClosure?: boolean;
+    deriveRule?: FunctionValue;
 };
 export interface FunctionCapturedVariableInfo extends CapturedVariableInfo {
     value: Value | undefined;

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

@@ -33,3 +33,4 @@ export default class Parser {
     getTokens(): Token[];
 }
 export declare function generateExprFromCode(code: string): Expr;
+export declare function generateExprsFromCode(code: string): Expr[];

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

@@ -181,6 +181,7 @@ export interface TraitType extends Type {
         label: string;
         constraintType: Type;
     }[];
+    deriveRule?: FunctionValue;
 }
 export type FnTraitType = TraitType & {
     isFn: {