@kalada/core 0.3.0 → 0.4.0

package/dist/kalada-v1/types.d.cts

@@ -8,7 +8,58 @@ type KaladaV1Expression<R extends JsonValue = string> = {
 } | {
     readonly kind: "ref";
     readonly ref: R;
-} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R>;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R> | FunctionExpression<R> | CallExpression<R> | FunctionGroupExpression<R> | CoreFunctionExpression;
+type KaladaPrimitiveTypeName = "null" | "boolean" | "number" | "string" | "json" | "Instant" | "Duration";
+type KaladaType = {
+    readonly kind: "primitive-type";
+    readonly name: KaladaPrimitiveTypeName;
+} | {
+    readonly kind: "option-type";
+    readonly value: KaladaType;
+} | {
+    readonly kind: "result-type";
+    readonly ok: KaladaType;
+    readonly error: KaladaType;
+} | {
+    readonly kind: "array-type";
+    readonly element: KaladaType;
+} | KaladaFunctionType;
+interface KaladaFunctionType {
+    readonly kind: "function-type";
+    readonly parameters: readonly KaladaType[];
+    readonly returns: KaladaType;
+}
+interface KaladaFunctionParameter {
+    readonly name: string;
+    readonly type: KaladaType;
+}
+interface FunctionExpression<R extends JsonValue> {
+    readonly kind: "function";
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+}
+interface CallExpression<R extends JsonValue> {
+    readonly kind: "call";
+    readonly callee: KaladaV1Expression<R>;
+    readonly arguments: readonly KaladaV1Expression<R>[];
+}
+interface NamedFunction<R extends JsonValue> {
+    readonly name: string;
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+}
+interface FunctionGroupExpression<R extends JsonValue> {
+    readonly kind: "function-group";
+    readonly functions: readonly NamedFunction<R>[];
+    readonly body: KaladaV1Expression<R>;
+}
+type KaladaCoreFunctionName = "map" | "filter" | "some" | "every";
+interface CoreFunctionExpression {
+    readonly kind: "core-function";
+    readonly name: KaladaCoreFunctionName;
+}
 interface InstantExpression {
     readonly kind: "instant";
     readonly milliseconds: number;
@@ -68,11 +119,17 @@ interface KaladaV1Program<R extends JsonValue = string> {
     readonly profile: "kalada-v1";
     readonly expression: KaladaV1Expression<R>;
 }
-type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT" | "KALADA_INSTANT_REQUIRED" | "KALADA_TEMPORAL_TYPE_MISMATCH" | "KALADA_TEMPORAL_OVERFLOW" | "KALADA_CLOCK_ERROR" | "KALADA_INVALID_CLOCK";
+type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT" | "KALADA_INSTANT_REQUIRED" | "KALADA_TEMPORAL_TYPE_MISMATCH" | "KALADA_TEMPORAL_OVERFLOW" | "KALADA_CLOCK_ERROR" | "KALADA_INVALID_CLOCK" | "KALADA_DUPLICATE_BINDING" | "KALADA_INVALID_FUNCTION_TYPE" | "KALADA_CAPTURE_LIMIT" | "KALADA_NOT_CALLABLE" | "KALADA_FUNCTION_ARITY" | "KALADA_FUNCTION_TYPE_MISMATCH" | "KALADA_CLOSURE_LIMIT" | "KALADA_CALL_DEPTH_LIMIT" | "KALADA_CONTINUATION_LIMIT" | "KALADA_COLLECTION_TYPE_MISMATCH" | "KALADA_COLLECTION_LIMIT" | "KALADA_FUNCTION_ESCAPE";
+interface KaladaV1DiagnosticContextFrame {
+    readonly kind: "function-call" | "core-call";
+    readonly name: string | null;
+    readonly path: readonly (string | number)[];
+}
 interface KaladaV1Diagnostic {
     readonly code: KaladaV1DiagnosticCode;
     readonly path: readonly (string | number)[];
     readonly message: string;
+    readonly context?: readonly KaladaV1DiagnosticContextFrame[];
 }
 type KaladaV1Outcome<T> = {
     readonly ok: true;
@@ -90,13 +147,29 @@ interface KaladaV1Limits {
     readonly maxReferenceLength: number;
     readonly maxEvaluationSteps: number;
 }
+interface KaladaV1FunctionLimits {
+    readonly maxFunctionParameters: number;
+    readonly maxFunctionGroupSize: number;
+    readonly maxCapturesPerClosure: number;
+    readonly maxCapturedBindings: number;
+    readonly maxClosures: number;
+    readonly maxCallDepth: number;
+    readonly maxContinuationFrames: number;
+    readonly maxCollectionLength: number;
+    readonly maxCollectionIterations: number;
+}
+interface KaladaV1FunctionCapture {
+    readonly path: readonly (string | number)[];
+    readonly name: string | null;
+    readonly captures: readonly string[];
+}
 interface KaladaV1ReferenceCodec<R extends JsonValue> {
     readonly validate: (input: unknown) => input is R;
     readonly canonicalize?: (reference: R) => R;
 }
 interface KaladaV1Options<R extends JsonValue> {
     readonly reference?: KaladaV1ReferenceCodec<R>;
-    readonly limits?: Partial<KaladaV1Limits>;
+    readonly limits?: Partial<KaladaV1Limits & KaladaV1FunctionLimits>;
 }
 type KaladaV1Resolution = {
     readonly found: true;
@@ -113,8 +186,9 @@ type KaladaV1Clock = () => InstantValue;
 interface CompiledKaladaV1Program<R extends JsonValue> {
     readonly program: KaladaV1Program<R>;
     readonly dependencies: readonly R[];
+    readonly functions: readonly KaladaV1FunctionCapture[];
     evaluate(resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
     evaluateWithClock(resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock): KaladaV1Outcome<KaladaValue>;
 }
 
-export type { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };
+export type { BindingExpression, CallExpression, CompiledKaladaV1Program, CoreFunctionExpression, CurrentInstantExpression, DurationExpression, FunctionExpression, FunctionGroupExpression, InstantExpression, KaladaCoreFunctionName, KaladaFunctionParameter, KaladaFunctionType, KaladaPrimitiveTypeName, KaladaType, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1DiagnosticContextFrame, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1FunctionCapture, KaladaV1FunctionLimits, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, NamedFunction, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };

package/dist/kalada-v1/types.d.ts

@@ -8,7 +8,58 @@ type KaladaV1Expression<R extends JsonValue = string> = {
 } | {
     readonly kind: "ref";
     readonly ref: R;
-} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R>;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R> | InstantExpression | DurationExpression | CurrentInstantExpression | TemporalArithmeticExpression<R> | TemporalComparisonExpression<R> | FunctionExpression<R> | CallExpression<R> | FunctionGroupExpression<R> | CoreFunctionExpression;
+type KaladaPrimitiveTypeName = "null" | "boolean" | "number" | "string" | "json" | "Instant" | "Duration";
+type KaladaType = {
+    readonly kind: "primitive-type";
+    readonly name: KaladaPrimitiveTypeName;
+} | {
+    readonly kind: "option-type";
+    readonly value: KaladaType;
+} | {
+    readonly kind: "result-type";
+    readonly ok: KaladaType;
+    readonly error: KaladaType;
+} | {
+    readonly kind: "array-type";
+    readonly element: KaladaType;
+} | KaladaFunctionType;
+interface KaladaFunctionType {
+    readonly kind: "function-type";
+    readonly parameters: readonly KaladaType[];
+    readonly returns: KaladaType;
+}
+interface KaladaFunctionParameter {
+    readonly name: string;
+    readonly type: KaladaType;
+}
+interface FunctionExpression<R extends JsonValue> {
+    readonly kind: "function";
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+}
+interface CallExpression<R extends JsonValue> {
+    readonly kind: "call";
+    readonly callee: KaladaV1Expression<R>;
+    readonly arguments: readonly KaladaV1Expression<R>[];
+}
+interface NamedFunction<R extends JsonValue> {
+    readonly name: string;
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+}
+interface FunctionGroupExpression<R extends JsonValue> {
+    readonly kind: "function-group";
+    readonly functions: readonly NamedFunction<R>[];
+    readonly body: KaladaV1Expression<R>;
+}
+type KaladaCoreFunctionName = "map" | "filter" | "some" | "every";
+interface CoreFunctionExpression {
+    readonly kind: "core-function";
+    readonly name: KaladaCoreFunctionName;
+}
 interface InstantExpression {
     readonly kind: "instant";
     readonly milliseconds: number;
@@ -68,11 +119,17 @@ interface KaladaV1Program<R extends JsonValue = string> {
     readonly profile: "kalada-v1";
     readonly expression: KaladaV1Expression<R>;
 }
-type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT" | "KALADA_INSTANT_REQUIRED" | "KALADA_TEMPORAL_TYPE_MISMATCH" | "KALADA_TEMPORAL_OVERFLOW" | "KALADA_CLOCK_ERROR" | "KALADA_INVALID_CLOCK";
+type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT" | "KALADA_INSTANT_REQUIRED" | "KALADA_TEMPORAL_TYPE_MISMATCH" | "KALADA_TEMPORAL_OVERFLOW" | "KALADA_CLOCK_ERROR" | "KALADA_INVALID_CLOCK" | "KALADA_DUPLICATE_BINDING" | "KALADA_INVALID_FUNCTION_TYPE" | "KALADA_CAPTURE_LIMIT" | "KALADA_NOT_CALLABLE" | "KALADA_FUNCTION_ARITY" | "KALADA_FUNCTION_TYPE_MISMATCH" | "KALADA_CLOSURE_LIMIT" | "KALADA_CALL_DEPTH_LIMIT" | "KALADA_CONTINUATION_LIMIT" | "KALADA_COLLECTION_TYPE_MISMATCH" | "KALADA_COLLECTION_LIMIT" | "KALADA_FUNCTION_ESCAPE";
+interface KaladaV1DiagnosticContextFrame {
+    readonly kind: "function-call" | "core-call";
+    readonly name: string | null;
+    readonly path: readonly (string | number)[];
+}
 interface KaladaV1Diagnostic {
     readonly code: KaladaV1DiagnosticCode;
     readonly path: readonly (string | number)[];
     readonly message: string;
+    readonly context?: readonly KaladaV1DiagnosticContextFrame[];
 }
 type KaladaV1Outcome<T> = {
     readonly ok: true;
@@ -90,13 +147,29 @@ interface KaladaV1Limits {
     readonly maxReferenceLength: number;
     readonly maxEvaluationSteps: number;
 }
+interface KaladaV1FunctionLimits {
+    readonly maxFunctionParameters: number;
+    readonly maxFunctionGroupSize: number;
+    readonly maxCapturesPerClosure: number;
+    readonly maxCapturedBindings: number;
+    readonly maxClosures: number;
+    readonly maxCallDepth: number;
+    readonly maxContinuationFrames: number;
+    readonly maxCollectionLength: number;
+    readonly maxCollectionIterations: number;
+}
+interface KaladaV1FunctionCapture {
+    readonly path: readonly (string | number)[];
+    readonly name: string | null;
+    readonly captures: readonly string[];
+}
 interface KaladaV1ReferenceCodec<R extends JsonValue> {
     readonly validate: (input: unknown) => input is R;
     readonly canonicalize?: (reference: R) => R;
 }
 interface KaladaV1Options<R extends JsonValue> {
     readonly reference?: KaladaV1ReferenceCodec<R>;
-    readonly limits?: Partial<KaladaV1Limits>;
+    readonly limits?: Partial<KaladaV1Limits & KaladaV1FunctionLimits>;
 }
 type KaladaV1Resolution = {
     readonly found: true;
@@ -113,8 +186,9 @@ type KaladaV1Clock = () => InstantValue;
 interface CompiledKaladaV1Program<R extends JsonValue> {
     readonly program: KaladaV1Program<R>;
     readonly dependencies: readonly R[];
+    readonly functions: readonly KaladaV1FunctionCapture[];
     evaluate(resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
     evaluateWithClock(resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock): KaladaV1Outcome<KaladaValue>;
 }
 
-export type { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };
+export type { BindingExpression, CallExpression, CompiledKaladaV1Program, CoreFunctionExpression, CurrentInstantExpression, DurationExpression, FunctionExpression, FunctionGroupExpression, InstantExpression, KaladaCoreFunctionName, KaladaFunctionParameter, KaladaFunctionType, KaladaPrimitiveTypeName, KaladaType, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1DiagnosticContextFrame, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1FunctionCapture, KaladaV1FunctionLimits, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, NamedFunction, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kalada/core",
-  "version": "0.3.0",
+  "version": "0.4.0",
   "description": "Canonical runtime contracts for the Kalada expression language",
   "license": "MIT",
   "repository": {