@mojir/lits 2.5.2 → 2.6.1

package/dist/cli/src/builtin/bindingNode.d.ts

@@ -4,3 +4,8 @@ import type { MaybePromise } from '../utils/maybePromise';
 export declare function walkDefaults(bindingTarget: BindingTarget, onDefault: (Node: AstNode) => void): void;
 export declare function evaluateBindingNodeValues(target: BindingTarget, value: Any, evaluate: (Node: AstNode) => MaybePromise<Any>): MaybePromise<Record<string, Any>>;
 export declare function getAllBindingTargetNames(bindingTarget: BindingTarget): Record<string, true>;
+/**
+ * Non-throwing pattern matching. Returns bindings on match, null on mismatch.
+ * Used by `switch` pattern matching.
+ */
+export declare function tryMatch(target: BindingTarget, value: Any, evaluate: (Node: AstNode) => MaybePromise<Any>): MaybePromise<Record<string, Any> | null>;

package/dist/cli/src/builtin/core/assertion.d.ts

@@ -0,0 +1,2 @@
+import type { BuiltinNormalExpressions } from '../interface';
+export declare const assertionNormalExpression: BuiltinNormalExpressions;

package/dist/cli/src/builtin/index.d.ts

@@ -1,11 +1,11 @@
 import type { Builtin } from './interface';
 import { specialExpressionTypes } from './specialExpressionTypes';
-export declare const specialExpressions: readonly [import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/qq").QqNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/and").AndNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/or").OrNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/array").ArrayNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/cond").CondNode>, import("./interface").BuiltinSpecialExpression<boolean, import("./specialExpressions/defined").DefinedNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/block").DoNode>, import("./interface").BuiltinSpecialExpression<null, import("./specialExpressions/loops").DoSeqNode>, import("./interface").BuiltinSpecialExpression<import("..").LitsFunction, import("./specialExpressions/functions").LambdaNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/loops").ForNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/if").IfNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/let").LetNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/loop").LoopNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/object").ObjectNode>, import("./interface").BuiltinSpecialExpression<null, import("./specialExpressions/recur").RecurNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/switch").SwitchNode>, import("./interface").BuiltinSpecialExpression<null, import("./specialExpressions/throw").ThrowNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/try").TryNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/unless").UnlessNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/import").ImportNode>];
+export declare const specialExpressions: readonly [import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/qq").QqNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/and").AndNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/or").OrNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/array").ArrayNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/cond").CondNode>, import("./interface").BuiltinSpecialExpression<boolean, import("./specialExpressions/defined").DefinedNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/block").DoNode>, import("./interface").BuiltinSpecialExpression<null, import("./specialExpressions/loops").DoSeqNode>, import("./interface").BuiltinSpecialExpression<import("..").LitsFunction, import("./specialExpressions/functions").LambdaNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/loops").ForNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/if").IfNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/let").LetNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/loop").LoopNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/object").ObjectNode>, import("./interface").BuiltinSpecialExpression<null, import("./specialExpressions/recur").RecurNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/match").MatchNode>, import("./interface").BuiltinSpecialExpression<null, import("./specialExpressions/throw").ThrowNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/try").TryNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/unless").UnlessNode>, import("./interface").BuiltinSpecialExpression<import("../interface").Any, import("./specialExpressions/import").ImportNode>];
 export type SpecialExpressions = typeof specialExpressions;
 export type SpecialExpression = SpecialExpressions[number];
 export type SpecialExpressionName = keyof typeof specialExpressionTypes;
 export type CommonSpecialExpressionType = [
-    typeof specialExpressionTypes['??'] | typeof specialExpressionTypes['&&'] | typeof specialExpressionTypes['cond'] | typeof specialExpressionTypes['switch'] | typeof specialExpressionTypes['defined?'] | typeof specialExpressionTypes['block'] | typeof specialExpressionTypes['if'] | typeof specialExpressionTypes['unless'] | typeof specialExpressionTypes['||'] | typeof specialExpressionTypes['throw'] | typeof specialExpressionTypes['array'] | typeof specialExpressionTypes['object']
+    typeof specialExpressionTypes['??'] | typeof specialExpressionTypes['&&'] | typeof specialExpressionTypes['cond'] | typeof specialExpressionTypes['match'] | typeof specialExpressionTypes['defined?'] | typeof specialExpressionTypes['block'] | typeof specialExpressionTypes['if'] | typeof specialExpressionTypes['unless'] | typeof specialExpressionTypes['||'] | typeof specialExpressionTypes['throw'] | typeof specialExpressionTypes['array'] | typeof specialExpressionTypes['object']
 ];
 export type SpecialExpressionType = typeof specialExpressionTypes[SpecialExpressionName];
 export declare const builtin: Builtin;

package/dist/cli/src/builtin/interface.d.ts

@@ -27,7 +27,7 @@ export declare const categoryRecord: {
     readonly bitwise: true;
     readonly misc: true;
     readonly meta: true;
-    readonly assert: true;
+    readonly assertion: true;
     readonly vector: true;
     readonly 'linear-algebra': true;
     readonly matrix: true;

package/dist/cli/src/builtin/specialExpressionTypes.d.ts

@@ -14,7 +14,7 @@ export declare const specialExpressionTypes: {
     readonly loop: 12;
     readonly object: 13;
     readonly recur: 14;
-    readonly switch: 15;
+    readonly match: 15;
     readonly throw: 16;
     readonly try: 17;
     readonly unless: 18;

package/dist/cli/src/builtin/specialExpressions/match.d.ts

@@ -0,0 +1,7 @@
+import type { Any } from '../../interface';
+import type { AstNode, BindingTarget, SpecialExpressionNode } from '../../parser/types';
+import type { BuiltinSpecialExpression } from '../interface';
+import type { specialExpressionTypes } from '../specialExpressionTypes';
+export type MatchCase = [BindingTarget, AstNode, AstNode | undefined];
+export type MatchNode = SpecialExpressionNode<[typeof specialExpressionTypes['match'], AstNode, MatchCase[]]>;
+export declare const matchSpecialExpression: BuiltinSpecialExpression<Any, MatchNode>;

package/dist/cli/src/parser/subParsers/parseBindingTarget.d.ts

@@ -1,6 +1,8 @@
 import type { BindingTarget } from '../types';
 import type { ParserContext } from '../ParserContext';
-export declare function parseBindingTarget(ctx: ParserContext, { requireDefaultValue, noRest }?: {
+export interface ParseBindingTargetOptions {
     requireDefaultValue?: true;
     noRest?: true;
-}): BindingTarget;
+    allowLiteralPatterns?: true;
+}
+export declare function parseBindingTarget(ctx: ParserContext, { requireDefaultValue, noRest, allowLiteralPatterns }?: ParseBindingTargetOptions): BindingTarget;

package/dist/cli/src/parser/subParsers/parseMatch.d.ts

@@ -0,0 +1,4 @@
+import type { MatchNode } from '../../builtin/specialExpressions/match';
+import { type SymbolToken } from '../../tokenizer/token';
+import type { ParserContext } from '../ParserContext';
+export declare function parseMatch(ctx: ParserContext, token: SymbolToken): MatchNode;

package/dist/cli/src/parser/types.d.ts

@@ -106,6 +106,8 @@ export declare const bindingTargetTypes: {
     readonly rest: 12;
     readonly object: 13;
     readonly array: 14;
+    readonly literal: 15;
+    readonly wildcard: 16;
 };
 export type BindingTargetType = typeof bindingTargetTypes[keyof typeof bindingTargetTypes];
 type GenericTarget<T extends BindingTargetType, Payload extends unknown[]> = [T, Payload] | [T, Payload, SourceCodeInfo];
@@ -113,7 +115,9 @@ export type SymbolBindingTarget = GenericTarget<typeof bindingTargetTypes.symbol
 export type RestBindingTarget = GenericTarget<typeof bindingTargetTypes.rest, [string, AstNode | undefined]>;
 export type ObjectBindingTarget = GenericTarget<typeof bindingTargetTypes.object, [Record<string, BindingTarget>, AstNode | undefined]>;
 export type ArrayBindingTarget = GenericTarget<typeof bindingTargetTypes.array, [(BindingTarget | null)[], AstNode | undefined]>;
-export type BindingTarget = SymbolBindingTarget | RestBindingTarget | ObjectBindingTarget | ArrayBindingTarget;
+export type LiteralBindingTarget = GenericTarget<typeof bindingTargetTypes.literal, [AstNode]>;
+export type WildcardBindingTarget = GenericTarget<typeof bindingTargetTypes.wildcard, []>;
+export type BindingTarget = SymbolBindingTarget | RestBindingTarget | ObjectBindingTarget | ArrayBindingTarget | LiteralBindingTarget | WildcardBindingTarget;
 export type BindingNode = AstNode<typeof NodeTypes.Binding, [BindingTarget, AstNode]>;
 type AstBody = AstNode[];
 export interface Ast {