@zipbul/baker 3.1.0 → 3.3.0

package/CHANGELOG.md

@@ -1,5 +1,35 @@
 # @zipbul/baker
 
+## 3.3.0
+
+### Minor Changes
+
+- 317e536: Add the `isStatelessRegExp` type-checker rule: a value is valid if it is a `RegExp`
+  without the `g` (global) or `y` (sticky) flag. Those two flags make
+  `RegExp.prototype.test`/`exec` mutate `lastIndex` across calls, so a regex carrying them
+  produces order-dependent results when reused as a single-shot matcher. `isStatelessRegExp`
+  rejects them at validation time (all other flags — `d`, `i`, `m`, `s`, `u`, `v` — are
+  stateless and pass). It is the safe-form sibling of `isRegExp` (which is unchanged).
+  Exported from `@zipbul/baker/rules`.
+
+## 3.2.0
+
+### Minor Changes
+
+- 6b07d8d: Add the `oneOf` rule combinator and `arrayEvery`, `isRegExp`, `isFunction` rules.
+
+  - `oneOf(...rules)` — OR combinator: a value is valid if it matches at least one of the
+    given rules (first match wins, short-circuit). Fills baker's union-validation gap for
+    native-type unions (e.g. `boolean | string | RegExp | ...`) that the object discriminator
+    can't express. Sync branches compile to an inlined `||`; an async branch makes the rule
+    async. Note: semantics is "matches at least one" — not JSON-Schema `oneOf` (exactly-one).
+  - `arrayEvery(...rules)` — value is an array and every element satisfies all given rules.
+    Composable as a rule (e.g. `oneOf(isString, arrayEvery(isString))` for `string | string[]`).
+  - `isRegExp` / `isFunction` — the two missing type-checker primitives (`instanceof RegExp`,
+    `typeof === 'function'`).
+
+  All exported from `@zipbul/baker/rules`.
+
 ## 3.1.0
 
 ### Minor Changes

package/dist/src/rules/combinators.d.ts

@@ -0,0 +1,4 @@
+import type { EmittableRule } from '../types';
+declare function oneOf(...branches: EmittableRule[]): EmittableRule;
+declare function arrayEvery(...rules: EmittableRule[]): EmittableRule;
+export { oneOf, arrayEvery };

package/dist/src/rules/combinators.js

@@ -0,0 +1,111 @@
+import { BakerError } from '../errors.js';
+import { makeRule } from '../rule-plan.js';
+// ─────────────────────────────────────────────────────────────────────────────
+// Helpers
+// ─────────────────────────────────────────────────────────────────────────────
+/** Assert that a value is a baker rule (callable with `.emit` fn + `.ruleName` string). */
+function assertRuleArg(value, combinator) {
+    if (typeof value === 'function' &&
+        typeof value.emit === 'function' &&
+        typeof value.ruleName === 'string') {
+        return;
+    }
+    throw new BakerError(`${combinator}: every argument must be a baker rule (function with .emit and .ruleName). Use createRule() or import a rule from @zipbul/baker/rules.`);
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// oneOf — OR combinator: value matches at least one of the given rules.
+// (Not JSON-Schema `oneOf`/exactly-one — semantics is "matches at least one",
+//  first matching branch wins, short-circuit.)
+// ─────────────────────────────────────────────────────────────────────────────
+function oneOf(...branches) {
+    if (branches.length === 0) {
+        throw new BakerError('oneOf requires at least one rule.');
+    }
+    for (const b of branches) {
+        assertRuleArg(b, 'oneOf');
+    }
+    const constraints = { oneOf: branches.map(b => b.ruleName) };
+    const isAsync = branches.some(b => b.isAsync === true);
+    if (isAsync) {
+        const validate = async (value) => {
+            for (const b of branches) {
+                if (await b(value)) {
+                    return true;
+                }
+            }
+            return false;
+        };
+        return makeRule({
+            name: 'oneOf',
+            constraints,
+            isAsync: true,
+            validate,
+            emit: (varName, ctx) => {
+                const i = ctx.addRef(validate);
+                return `if (!(await refs[${i}](${varName}))) ${ctx.fail('oneOf')};`;
+            },
+        });
+    }
+    const validate = (value) => branches.some(b => b(value));
+    return makeRule({
+        name: 'oneOf',
+        constraints,
+        validate,
+        emit: (varName, ctx) => {
+            const calls = branches.map(b => `refs[${ctx.addRef(b)}](${varName})`).join(' || ');
+            return `if (!(${calls})) ${ctx.fail('oneOf')};`;
+        },
+    });
+}
+// ─────────────────────────────────────────────────────────────────────────────
+// arrayEvery — value is an array and every element satisfies all given rules
+// (AND over the rules, applied per element). Arrays only — Set/Map element
+// validation stays at the @Field level via arrayOf.
+// ─────────────────────────────────────────────────────────────────────────────
+function arrayEvery(...rules) {
+    if (rules.length === 0) {
+        throw new BakerError('arrayEvery requires at least one rule.');
+    }
+    for (const r of rules) {
+        assertRuleArg(r, 'arrayEvery');
+    }
+    const constraints = { arrayEvery: rules.map(r => r.ruleName) };
+    const isAsync = rules.some(r => r.isAsync === true);
+    if (isAsync) {
+        const validate = async (value) => {
+            if (!Array.isArray(value)) {
+                return false;
+            }
+            for (const el of value) {
+                for (const r of rules) {
+                    if (!(await r(el))) {
+                        return false;
+                    }
+                }
+            }
+            return true;
+        };
+        return makeRule({
+            name: 'arrayEvery',
+            constraints,
+            isAsync: true,
+            validate,
+            emit: (varName, ctx) => {
+                const i = ctx.addRef(validate);
+                return `if (!(await refs[${i}](${varName}))) ${ctx.fail('arrayEvery')};`;
+            },
+        });
+    }
+    const elementPredicate = (el) => rules.every(r => r(el));
+    const validate = (value) => Array.isArray(value) && value.every(elementPredicate);
+    return makeRule({
+        name: 'arrayEvery',
+        constraints,
+        validate,
+        emit: (varName, ctx) => {
+            const i = ctx.addRef(elementPredicate);
+            return `if (!(Array.isArray(${varName}) && ${varName}.every(refs[${i}]))) ${ctx.fail('arrayEvery')};`;
+        },
+    });
+}
+export { oneOf, arrayEvery };

package/dist/src/rules/index.d.ts

@@ -1,5 +1,6 @@
-export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject } from './typechecker';
+export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject, isRegExp, isFunction, isStatelessRegExp, } from './typechecker';
 export type { IsNumberOptions } from './typechecker';
+export { oneOf, arrayEvery } from './combinators';
 export { min, max, isPositive, isNegative, isDivisibleBy } from './number';
 export { minDate, maxDate } from './date';
 export { equals, notEquals, isEmpty, isNotEmpty, isIn, isNotIn } from './common';

package/dist/src/rules/index.js

@@ -1,4 +1,5 @@
-export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject } from './typechecker.js';
+export { isString, isNumber, isBoolean, isDate, isEnum, isInt, isArray, isObject, isRegExp, isFunction, isStatelessRegExp, } from './typechecker.js';
+export { oneOf, arrayEvery } from './combinators.js';
 export { min, max, isPositive, isNegative, isDivisibleBy } from './number.js';
 export { minDate, maxDate } from './date.js';
 export { equals, notEquals, isEmpty, isNotEmpty, isIn, isNotIn } from './common.js';

package/dist/src/rules/typechecker.d.ts

@@ -12,3 +12,6 @@ export declare function isEnum(entity: object): EmittableRule;
 export declare const isInt: import("../types").InternalRule;
 export declare const isArray: import("../types").InternalRule;
 export declare const isObject: import("../types").InternalRule;
+export declare const isRegExp: import("../types").InternalRule;
+export declare const isFunction: import("../types").InternalRule;
+export declare const isStatelessRegExp: import("../types").InternalRule;

package/dist/src/rules/typechecker.js

@@ -141,3 +141,31 @@ export const isObject = makeRule({
     validate: value => typeof value === 'object' && value !== null && !Array.isArray(value),
     emit: (varName, ctx) => `if (typeof ${varName} !== 'object' || ${varName} === null || Array.isArray(${varName})) ${ctx.fail('isObject')};`,
 });
+// ─────────────────────────────────────────────────────────────────────────────
+// isRegExp — instanceof RegExp (self-narrowing, no typeof gate needed)
+// ─────────────────────────────────────────────────────────────────────────────
+export const isRegExp = makeRule({
+    name: 'isRegExp',
+    constraints: {},
+    validate: value => value instanceof RegExp,
+    emit: (varName, ctx) => `if (!(${varName} instanceof RegExp)) ${ctx.fail('isRegExp')};`,
+});
+// ─────────────────────────────────────────────────────────────────────────────
+// isFunction — typeof check (accepts arrow fns, unlike isInstance(Function))
+// ─────────────────────────────────────────────────────────────────────────────
+export const isFunction = makeRule({
+    name: 'isFunction',
+    constraints: {},
+    validate: value => typeof value === 'function',
+    emit: (varName, ctx) => `if (typeof ${varName} !== 'function') ${ctx.fail('isFunction')};`,
+});
+// ─────────────────────────────────────────────────────────────────────────────
+// isStatelessRegExp — RegExp without g/y (the only flags that mutate lastIndex
+// across repeated test()/exec()). Safe for reuse as a single-shot matcher.
+// ─────────────────────────────────────────────────────────────────────────────
+export const isStatelessRegExp = makeRule({
+    name: 'isStatelessRegExp',
+    constraints: {},
+    validate: value => value instanceof RegExp && !value.global && !value.sticky,
+    emit: (varName, ctx) => `if (!(${varName} instanceof RegExp) || ${varName}.global || ${varName}.sticky) ${ctx.fail('isStatelessRegExp')};`,
+});

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zipbul/baker",
-  "version": "3.1.0",
+  "version": "3.3.0",
   "description": "Bun-only AOT decorator-based DTO validation & serialization. class-validator DX, sealed code generation, zero reflect-metadata.",
   "keywords": [
     "aot",