@modulify/validator 0.2.1 → 0.3.1

package/dist/assertions.cjs

@@ -1,187 +1,284 @@
-"use strict";
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const assert = require("./assert.cjs");
-const predicates = require("./predicates.cjs");
-const isEqual = (value, exact) => value === exact;
-const isGte = (value, min) => value >= min;
-const isLte = (value, max) => value <= max;
-const inRange = (value, [min, max]) => value >= min && value <= max;
-const startsWith$1 = (value, prefix) => value.startsWith(prefix);
-const endsWith$1 = (value, suffix) => value.endsWith(suffix);
-const matchesPattern = (value, pattern) => new RegExp(pattern.source, pattern.flags).test(value);
-const isMultipleOf = (value, step) => {
-  if (step === 0) {
-    return false;
-  }
-  const quotient = value / step;
-  const nearestInteger = Math.round(quotient);
-  const delta = Math.abs(quotient - nearestInteger);
-  return Number.isFinite(quotient) && delta <= Number.EPSILON * Math.max(1, Math.abs(quotient)) * 16;
+const require_assert = require("./assert.cjs");
+const require_checkers = require("./checkers.cjs");
+const require_extractors = require("./extractors.cjs");
+const require_predicates = require("./predicates.cjs");
+//#region src/assertions.ts
+var buildLengthConstraints = (options) => {
+	const { exact = null, max = null, min = null, range = null } = options;
+	const constraints = [];
+	if (exact !== null) constraints.push([
+		require_extractors.length,
+		require_checkers.isEqual,
+		"length.exact",
+		exact
+	]);
+	if (max !== null) constraints.push([
+		require_extractors.length,
+		require_checkers.isLte,
+		"length.max",
+		max
+	]);
+	if (min !== null) constraints.push([
+		require_extractors.length,
+		require_checkers.isGte,
+		"length.min",
+		min
+	]);
+	if (range !== null) constraints.push([
+		require_extractors.length,
+		require_checkers.inRange,
+		"length.range",
+		range
+	]);
+	return constraints;
 };
-const length = (value) => value.length;
-const size = (value) => value.size;
-const isBoolean = assert.assert(predicates.isBoolean, { name: "isBoolean", bail: true, code: "type.boolean" });
-const isBigInt = assert.assert(predicates.isBigInt, { name: "isBigInt", bail: true, code: "type.bigint" });
-const isBlob = assert.assert(predicates.isBlob, { name: "isBlob", bail: true, code: "type.blob" });
-const isDate = assert.assert(predicates.isDate, { name: "isDate", bail: true, code: "type.date" });
-const isDefined = assert.assert((value) => value !== void 0, {
-  name: "isDefined",
-  bail: true,
-  code: "value.defined"
-});
-const isEmail = assert.assert(predicates.isEmail, { name: "isEmail", bail: true, code: "string.email" });
-const isFile = assert.assert(predicates.isFile, { name: "isFile", bail: true, code: "type.file" });
-const isFunction = assert.assert(predicates.isFunction, { name: "isFunction", bail: true, code: "type.function" });
-const isMap = assert.assert(predicates.isMap, { name: "isMap", bail: true, code: "type.map" });
-const isNaN = assert.assert(predicates.isNaN, { name: "isNaN", bail: true, code: "number.nan" });
-const isNull = assert.assert(predicates.isNull, { name: "isNull", bail: true, code: "type.null" });
-const isNumber = assert.assert(predicates.isNumber, { name: "isNumber", bail: true, code: "type.number" });
-const isSet = assert.assert(predicates.isSet, { name: "isSet", bail: true, code: "type.set" });
-const isString = assert.assert(predicates.isString, { name: "isString", bail: true, code: "type.string" });
-const isSymbol = assert.assert(predicates.isSymbol, { name: "isSymbol", bail: true, code: "type.symbol" });
-const hasLength = ({
-  exact = null,
-  max = null,
-  min = null,
-  range = null,
-  bail = false
-} = {}) => {
-  const constraints = [];
-  if (exact !== null) constraints.push([length, isEqual, "length.exact", exact]);
-  if (max !== null) constraints.push([length, isLte, "length.max", max]);
-  if (min !== null) constraints.push([length, isGte, "length.min", min]);
-  if (range !== null) constraints.push([length, inRange, "length.range", range]);
-  return assert.assert(
-    (value) => predicates.isArray(value) || predicates.isString(value),
-    {
-      name: "hasLength",
-      bail,
-      code: "length.unsupported-type"
-    },
-    constraints
-  );
+var buildSizeConstraints = (options) => {
+	const { exact = null, max = null, min = null, range = null } = options;
+	const constraints = [];
+	if (exact !== null) constraints.push([
+		require_extractors.size,
+		require_checkers.isEqual,
+		"size.exact",
+		exact
+	]);
+	if (max !== null) constraints.push([
+		require_extractors.size,
+		require_checkers.isLte,
+		"size.max",
+		max
+	]);
+	if (min !== null) constraints.push([
+		require_extractors.size,
+		require_checkers.isGte,
+		"size.min",
+		min
+	]);
+	if (range !== null) constraints.push([
+		require_extractors.size,
+		require_checkers.inRange,
+		"size.range",
+		range
+	]);
+	return constraints;
 };
-const hasSize = ({
-  exact = null,
-  max = null,
-  min = null,
-  range = null,
-  bail = false
-} = {}) => {
-  const constraints = [];
-  if (exact !== null) constraints.push([size, isEqual, "size.exact", exact]);
-  if (max !== null) constraints.push([size, isLte, "size.max", max]);
-  if (min !== null) constraints.push([size, isGte, "size.min", min]);
-  if (range !== null) constraints.push([size, inRange, "size.range", range]);
-  return assert.assert(
-    (value) => predicates.isMap(value) || predicates.isSet(value),
-    {
-      name: "hasSize",
-      bail,
-      code: "size.unsupported-type"
-    },
-    constraints
-  );
+var buildValueConstraints = (options) => {
+	const { exact = null, max = null, min = null, range = null } = options;
+	const constraints = [];
+	if (exact !== null) constraints.push([
+		(value) => value,
+		require_checkers.isEqual,
+		"number.exact",
+		exact
+	]);
+	if (max !== null) constraints.push([
+		(value) => value,
+		require_checkers.isLte,
+		"number.max",
+		max
+	]);
+	if (min !== null) constraints.push([
+		(value) => value,
+		require_checkers.isGte,
+		"number.min",
+		min
+	]);
+	if (range !== null) constraints.push([
+		(value) => value,
+		require_checkers.inRange,
+		"number.range",
+		range
+	]);
+	return constraints;
 };
-const hasPattern = (pattern, {
-  bail = false
-} = {}) => assert.assert(
-  predicates.isString,
-  {
-    name: "hasPattern",
-    bail,
-    code: "string.unsupported-type"
-  },
-  [[
-    (value) => value,
-    matchesPattern,
-    "string.pattern",
-    pattern
-  ]]
-);
-const startsWith = (prefix, {
-  bail = false
-} = {}) => assert.assert(
-  predicates.isString,
-  {
-    name: "startsWith",
-    bail,
-    code: "string.unsupported-type"
-  },
-  [[
-    (value) => value,
-    startsWith$1,
-    "string.starts-with",
-    prefix
-  ]]
-);
-const endsWith = (suffix, {
-  bail = false
-} = {}) => assert.assert(
-  predicates.isString,
-  {
-    name: "endsWith",
-    bail,
-    code: "string.unsupported-type"
-  },
-  [[
-    (value) => value,
-    endsWith$1,
-    "string.ends-with",
-    suffix
-  ]]
-);
-const hasValue = ({
-  exact = null,
-  max = null,
-  min = null,
-  range = null,
-  bail = false
-} = {}) => {
-  const constraints = [];
-  if (exact !== null) constraints.push([(value) => value, isEqual, "number.exact", exact]);
-  if (max !== null) constraints.push([(value) => value, isLte, "number.max", max]);
-  if (min !== null) constraints.push([(value) => value, isGte, "number.min", min]);
-  if (range !== null) constraints.push([(value) => value, inRange, "number.range", range]);
-  return assert.assert(
-    predicates.isNumber,
-    {
-      name: "hasValue",
-      bail,
-      code: "number.unsupported-type"
-    },
-    constraints
-  );
+var isBoolean = /* @__PURE__ */ require_assert.assert(require_predicates.isBoolean, {
+	name: "isBoolean",
+	bail: true,
+	code: "type.boolean"
+});
+var isBigInt = /* @__PURE__ */ require_assert.assert(require_predicates.isBigInt, {
+	name: "isBigInt",
+	bail: true,
+	code: "type.bigint"
+});
+var isBlob = /* @__PURE__ */ require_assert.assert(require_predicates.isBlob, {
+	name: "isBlob",
+	bail: true,
+	code: "type.blob"
+});
+var isDate = /* @__PURE__ */ require_assert.assert(require_predicates.isDate, {
+	name: "isDate",
+	bail: true,
+	code: "type.date"
+});
+var isDefined = /* @__PURE__ */ require_assert.assert((value) => value !== void 0, {
+	name: "isDefined",
+	bail: true,
+	code: "value.defined"
+});
+var isEmail = /* @__PURE__ */ require_assert.assert(require_predicates.isEmail, {
+	name: "isEmail",
+	bail: true,
+	code: "string.email"
+});
+var isError = /* @__PURE__ */ require_assert.assert(require_predicates.isError, {
+	name: "isError",
+	bail: true,
+	code: "type.error"
+});
+var isFiniteNumber = /* @__PURE__ */ require_assert.assert(require_predicates.isFiniteNumber, {
+	name: "isFiniteNumber",
+	bail: true,
+	code: "number.finite"
+});
+var isFile = /* @__PURE__ */ require_assert.assert(require_predicates.isFile, {
+	name: "isFile",
+	bail: true,
+	code: "type.file"
+});
+var isFunction = /* @__PURE__ */ require_assert.assert(require_predicates.isFunction, {
+	name: "isFunction",
+	bail: true,
+	code: "type.function"
+});
+var isInteger = /* @__PURE__ */ require_assert.assert(require_predicates.isInteger, {
+	name: "isInteger",
+	bail: true,
+	code: "number.integer"
+});
+var isMap = /* @__PURE__ */ require_assert.assert(require_predicates.isMap, {
+	name: "isMap",
+	bail: true,
+	code: "type.map"
+});
+var isNaN = /* @__PURE__ */ require_assert.assert(require_predicates.isNaN, {
+	name: "isNaN",
+	bail: true,
+	code: "number.nan"
+});
+var isNull = /* @__PURE__ */ require_assert.assert(require_predicates.isNull, {
+	name: "isNull",
+	bail: true,
+	code: "type.null"
+});
+var isNumber = /* @__PURE__ */ require_assert.assert(require_predicates.isNumber, {
+	name: "isNumber",
+	bail: true,
+	code: "type.number"
+});
+var isPromiseLike = /* @__PURE__ */ require_assert.assert(require_predicates.isPromiseLike, {
+	name: "isPromiseLike",
+	bail: true,
+	code: "type.promise-like"
+});
+var isRegExp = /* @__PURE__ */ require_assert.assert(require_predicates.isRegExp, {
+	name: "isRegExp",
+	bail: true,
+	code: "type.regexp"
+});
+var isSafeInteger = /* @__PURE__ */ require_assert.assert(require_predicates.isSafeInteger, {
+	name: "isSafeInteger",
+	bail: true,
+	code: "number.safe-integer"
+});
+var isSet = /* @__PURE__ */ require_assert.assert(require_predicates.isSet, {
+	name: "isSet",
+	bail: true,
+	code: "type.set"
+});
+var isString = /* @__PURE__ */ require_assert.assert(require_predicates.isString, {
+	name: "isString",
+	bail: true,
+	code: "type.string"
+});
+var isSymbol = /* @__PURE__ */ require_assert.assert(require_predicates.isSymbol, {
+	name: "isSymbol",
+	bail: true,
+	code: "type.symbol"
+});
+var isValidDate = /* @__PURE__ */ require_assert.assert(require_predicates.isValidDate, {
+	name: "isValidDate",
+	bail: true,
+	code: "date.valid"
+});
+var hasLength = (options = {}) => {
+	const { bail = false } = options;
+	const constraints = buildLengthConstraints(options);
+	return /* @__PURE__ */ require_assert.createRefinement({
+		name: "hasLength",
+		bail,
+		code: "length.unsupported-type"
+	}, constraints);
+};
+var hasSize = (options = {}) => {
+	const { bail = false } = options;
+	const constraints = buildSizeConstraints(options);
+	return /* @__PURE__ */ require_assert.createRefinement({
+		name: "hasSize",
+		bail,
+		code: "size.unsupported-type"
+	}, constraints);
+};
+var hasPattern = (pattern, { bail = false } = {}) => /* @__PURE__ */ require_assert.createRefinement({
+	name: "hasPattern",
+	bail,
+	code: "string.unsupported-type"
+}, [[
+	(value) => value,
+	require_checkers.matchesPattern,
+	"string.pattern",
+	pattern
+]]);
+var startsWith = (prefix, { bail = false } = {}) => /* @__PURE__ */ require_assert.createRefinement({
+	name: "startsWith",
+	bail,
+	code: "string.unsupported-type"
+}, [[
+	(value) => value,
+	require_checkers.startsWith,
+	"string.starts-with",
+	prefix
+]]);
+var endsWith = (suffix, { bail = false } = {}) => /* @__PURE__ */ require_assert.createRefinement({
+	name: "endsWith",
+	bail,
+	code: "string.unsupported-type"
+}, [[
+	(value) => value,
+	require_checkers.endsWith,
+	"string.ends-with",
+	suffix
+]]);
+var hasValue = (options = {}) => {
+	const { bail = false } = options;
+	const constraints = buildValueConstraints(options);
+	return /* @__PURE__ */ require_assert.createRefinement({
+		name: "hasValue",
+		bail,
+		code: "number.unsupported-type"
+	}, constraints);
 };
-const multipleOf = (step, {
-  bail = false
-} = {}) => assert.assert(
-  predicates.isNumber,
-  {
-    name: "multipleOf",
-    bail,
-    code: "number.unsupported-type"
-  },
-  [[
-    (value) => value,
-    isMultipleOf,
-    "number.multiple-of",
-    step
-  ]]
-);
-const oneOf = (values, {
-  equalTo = (a, b) => a === b,
-  bail = false
-} = {}) => {
-  const haystack = predicates.isArray(values) ? values : Object.values(values);
-  return assert.assert((value) => haystack.some((item) => equalTo(item, value)), {
-    name: "oneOf",
-    bail,
-    code: "value.one-of",
-    args: [haystack]
-  });
+var multipleOf = (step, { bail = false } = {}) => /* @__PURE__ */ require_assert.createRefinement({
+	name: "multipleOf",
+	bail,
+	code: "number.unsupported-type"
+}, [[
+	(value) => value,
+	require_checkers.isMultipleOf,
+	"number.multiple-of",
+	step
+]]);
+var oneOf = (values, { equalTo = (a, b) => a === b, bail = false } = {}) => {
+	const haystack = require_predicates.isArray(values) ? values : Object.values(values);
+	return /* @__PURE__ */ require_assert.assert((value) => haystack.some((item) => equalTo(item, value)), {
+		name: "oneOf",
+		bail,
+		code: "value.one-of",
+		args: [haystack]
+	});
 };
-exports.assert = assert.assert;
+//#endregion
+exports.assert = require_assert.assert;
 exports.endsWith = endsWith;
 exports.hasLength = hasLength;
 exports.hasPattern = hasPattern;
@@ -193,15 +290,23 @@ exports.isBoolean = isBoolean;
 exports.isDate = isDate;
 exports.isDefined = isDefined;
 exports.isEmail = isEmail;
+exports.isError = isError;
 exports.isFile = isFile;
+exports.isFiniteNumber = isFiniteNumber;
 exports.isFunction = isFunction;
+exports.isInteger = isInteger;
 exports.isMap = isMap;
 exports.isNaN = isNaN;
 exports.isNull = isNull;
 exports.isNumber = isNumber;
+exports.isPromiseLike = isPromiseLike;
+exports.isRegExp = isRegExp;
+exports.isSafeInteger = isSafeInteger;
 exports.isSet = isSet;
 exports.isString = isString;
 exports.isSymbol = isSymbol;
+exports.isValidDate = isValidDate;
 exports.multipleOf = multipleOf;
 exports.oneOf = oneOf;
+exports.refine = require_assert.refine;
 exports.startsWith = startsWith;

package/dist/assertions.d.cts

@@ -0,0 +1,56 @@
+import { AssertionConstraint, Guard, Refinement, Extractor, Checker } from './types/index.cjs';
+import { assert, refine } from './assert.cjs';
+export { assert, refine, };
+type Defined = {} | null;
+type EmptyOptions = Record<never, never>;
+type BoundedAssertionOptions = {
+    exact?: number | null;
+    max?: number | null;
+    min?: number | null;
+    range?: readonly [number, number] | null;
+    bail?: boolean;
+};
+type OptionNumber<O, K extends PropertyKey> = K extends keyof O ? Extract<O[K], number> : never;
+type OptionRange<O, K extends PropertyKey> = K extends keyof O ? Extract<O[K], readonly [number, number] | [number, number]> extends infer R ? R extends readonly [infer Min extends number, infer Max extends number] ? readonly [Min, Max] : never : never : never;
+type IncludeConstraint<Value, C extends AssertionConstraint> = [Value] extends [never] ? [] : [C];
+export declare const isBoolean: Guard<boolean, [], "type.boolean", [], "isBoolean">;
+export declare const isBigInt: Guard<bigint, [], "type.bigint", [], "isBigInt">;
+export declare const isBlob: Guard<Blob, [], "type.blob", [], "isBlob">;
+export declare const isDate: Guard<Date, [], "type.date", [], "isDate">;
+export declare const isDefined: Guard<Defined, [], "value.defined", [], "isDefined">;
+export declare const isEmail: Guard<string, [], "string.email", [], "isEmail">;
+export declare const isError: Guard<Error, [], "type.error", [], "isError">;
+export declare const isFiniteNumber: Guard<number, [], "number.finite", [], "isFiniteNumber">;
+export declare const isFile: Guard<File, [], "type.file", [], "isFile">;
+export declare const isFunction: Guard<(...args: never[]) => unknown, [], "type.function", [], "isFunction">;
+export declare const isInteger: Guard<number, [], "number.integer", [], "isInteger">;
+export declare const isMap: Guard<Map<unknown, unknown>, [], "type.map", [], "isMap">;
+export declare const isNaN: Guard<number, [], "number.nan", [], "isNaN">;
+export declare const isNull: Guard<null, [], "type.null", [], "isNull">;
+export declare const isNumber: Guard<number, [], "type.number", [], "isNumber">;
+export declare const isPromiseLike: Guard<PromiseLike<unknown>, [], "type.promise-like", [], "isPromiseLike">;
+export declare const isRegExp: Guard<RegExp, [], "type.regexp", [], "isRegExp">;
+export declare const isSafeInteger: Guard<number, [], "number.safe-integer", [], "isSafeInteger">;
+export declare const isSet: Guard<Set<unknown>, [], "type.set", [], "isSet">;
+export declare const isString: Guard<string, [], "type.string", [], "isString">;
+export declare const isSymbol: Guard<symbol, [], "type.symbol", [], "isSymbol">;
+export declare const isValidDate: Guard<Date, [], "date.valid", [], "isValidDate">;
+export declare const hasLength: <const O extends BoundedAssertionOptions = EmptyOptions>(options?: O) => Refinement<[...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<string | unknown[], number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "length.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<string | unknown[], number>, Checker<number, [max: OptionNumber<O, "max">]>, "length.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<string | unknown[], number>, Checker<number, [min: OptionNumber<O, "min">]>, "length.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<string | unknown[], number>, Checker<number, [range: OptionRange<O, "range">]>, "length.range", range: OptionRange<O, "range">]>] extends infer T ? T extends [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<string | unknown[], number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "length.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<string | unknown[], number>, Checker<number, [max: OptionNumber<O, "max">]>, "length.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<string | unknown[], number>, Checker<number, [min: OptionNumber<O, "min">]>, "length.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<string | unknown[], number>, Checker<number, [range: OptionRange<O, "range">]>, "length.range", range: OptionRange<O, "range">]>] ? T extends readonly [] ? unknown : (T[number] extends infer T_1 ? T_1 extends T[number] ? T_1 extends unknown ? (value: Parameters<T_1[0]>[0]) => void : never : never : never) extends (value: infer Input) => void ? Input : never : never : never, [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<string | unknown[], number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "length.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<string | unknown[], number>, Checker<number, [max: OptionNumber<O, "max">]>, "length.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<string | unknown[], number>, Checker<number, [min: OptionNumber<O, "min">]>, "length.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<string | unknown[], number>, Checker<number, [range: OptionRange<O, "range">]>, "length.range", range: OptionRange<O, "range">]>], "length.unsupported-type", [], "hasLength">;
+export declare const hasSize: <const O extends BoundedAssertionOptions = EmptyOptions>(options?: O) => Refinement<[...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "size.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [max: OptionNumber<O, "max">]>, "size.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [min: OptionNumber<O, "min">]>, "size.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [range: OptionRange<O, "range">]>, "size.range", range: OptionRange<O, "range">]>] extends infer T ? T extends [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "size.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [max: OptionNumber<O, "max">]>, "size.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [min: OptionNumber<O, "min">]>, "size.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [range: OptionRange<O, "range">]>, "size.range", range: OptionRange<O, "range">]>] ? T extends readonly [] ? unknown : (T[number] extends infer T_1 ? T_1 extends T[number] ? T_1 extends unknown ? (value: Parameters<T_1[0]>[0]) => void : never : never : never) extends (value: infer Input) => void ? Input : never : never : never, [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "size.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [max: OptionNumber<O, "max">]>, "size.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [min: OptionNumber<O, "min">]>, "size.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [range: OptionRange<O, "range">]>, "size.range", range: OptionRange<O, "range">]>], "size.unsupported-type", [], "hasSize">;
+export declare const hasPattern: (pattern: RegExp, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<string, readonly [readonly [(value: string) => string, (value: string, pattern: RegExp) => boolean, "string.pattern", RegExp]], "string.unsupported-type", [], "hasPattern">;
+export declare const startsWith: (prefix: string, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<string, readonly [readonly [(value: string) => string, (value: string, prefix: string) => boolean, "string.starts-with", string]], "string.unsupported-type", [], "startsWith">;
+export declare const endsWith: (suffix: string, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<string, readonly [readonly [(value: string) => string, (value: string, suffix: string) => boolean, "string.ends-with", string]], "string.unsupported-type", [], "endsWith">;
+export declare const hasValue: <const O extends BoundedAssertionOptions = EmptyOptions>(options?: O) => Refinement<[...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<number, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "number.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<number, number>, Checker<number, [max: OptionNumber<O, "max">]>, "number.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<number, number>, Checker<number, [min: OptionNumber<O, "min">]>, "number.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<number, number>, Checker<number, [range: OptionRange<O, "range">]>, "number.range", range: OptionRange<O, "range">]>] extends infer T ? T extends [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<number, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "number.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<number, number>, Checker<number, [max: OptionNumber<O, "max">]>, "number.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<number, number>, Checker<number, [min: OptionNumber<O, "min">]>, "number.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<number, number>, Checker<number, [range: OptionRange<O, "range">]>, "number.range", range: OptionRange<O, "range">]>] ? T extends readonly [] ? unknown : (T[number] extends infer T_1 ? T_1 extends T[number] ? T_1 extends unknown ? (value: Parameters<T_1[0]>[0]) => void : never : never : never) extends (value: infer Input) => void ? Input : never : never : never, [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<number, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "number.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<number, number>, Checker<number, [max: OptionNumber<O, "max">]>, "number.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<number, number>, Checker<number, [min: OptionNumber<O, "min">]>, "number.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<number, number>, Checker<number, [range: OptionRange<O, "range">]>, "number.range", range: OptionRange<O, "range">]>], "number.unsupported-type", [], "hasValue">;
+export declare const multipleOf: <const Step extends number>(step: Step, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<number, readonly [readonly [(value: number) => number, (value: number, step: number) => boolean, "number.multiple-of", Step]], "number.unsupported-type", [], "multipleOf">;
+export declare const oneOf: <Actual = unknown>(values: Actual[] | Record<string, Actual>, { equalTo, bail, }?: {
+    equalTo?: (a: Actual, b: unknown) => boolean;
+    bail?: boolean;
+}) => Guard<Actual, [], "value.one-of", readonly [Actual[]], "oneOf">;

package/dist/assertions.d.mts

@@ -0,0 +1,56 @@
+import { AssertionConstraint, Guard, Refinement, Extractor, Checker } from './types/index.mjs';
+import { assert, refine } from './assert.mjs';
+export { assert, refine, };
+type Defined = {} | null;
+type EmptyOptions = Record<never, never>;
+type BoundedAssertionOptions = {
+    exact?: number | null;
+    max?: number | null;
+    min?: number | null;
+    range?: readonly [number, number] | null;
+    bail?: boolean;
+};
+type OptionNumber<O, K extends PropertyKey> = K extends keyof O ? Extract<O[K], number> : never;
+type OptionRange<O, K extends PropertyKey> = K extends keyof O ? Extract<O[K], readonly [number, number] | [number, number]> extends infer R ? R extends readonly [infer Min extends number, infer Max extends number] ? readonly [Min, Max] : never : never : never;
+type IncludeConstraint<Value, C extends AssertionConstraint> = [Value] extends [never] ? [] : [C];
+export declare const isBoolean: Guard<boolean, [], "type.boolean", [], "isBoolean">;
+export declare const isBigInt: Guard<bigint, [], "type.bigint", [], "isBigInt">;
+export declare const isBlob: Guard<Blob, [], "type.blob", [], "isBlob">;
+export declare const isDate: Guard<Date, [], "type.date", [], "isDate">;
+export declare const isDefined: Guard<Defined, [], "value.defined", [], "isDefined">;
+export declare const isEmail: Guard<string, [], "string.email", [], "isEmail">;
+export declare const isError: Guard<Error, [], "type.error", [], "isError">;
+export declare const isFiniteNumber: Guard<number, [], "number.finite", [], "isFiniteNumber">;
+export declare const isFile: Guard<File, [], "type.file", [], "isFile">;
+export declare const isFunction: Guard<(...args: never[]) => unknown, [], "type.function", [], "isFunction">;
+export declare const isInteger: Guard<number, [], "number.integer", [], "isInteger">;
+export declare const isMap: Guard<Map<unknown, unknown>, [], "type.map", [], "isMap">;
+export declare const isNaN: Guard<number, [], "number.nan", [], "isNaN">;
+export declare const isNull: Guard<null, [], "type.null", [], "isNull">;
+export declare const isNumber: Guard<number, [], "type.number", [], "isNumber">;
+export declare const isPromiseLike: Guard<PromiseLike<unknown>, [], "type.promise-like", [], "isPromiseLike">;
+export declare const isRegExp: Guard<RegExp, [], "type.regexp", [], "isRegExp">;
+export declare const isSafeInteger: Guard<number, [], "number.safe-integer", [], "isSafeInteger">;
+export declare const isSet: Guard<Set<unknown>, [], "type.set", [], "isSet">;
+export declare const isString: Guard<string, [], "type.string", [], "isString">;
+export declare const isSymbol: Guard<symbol, [], "type.symbol", [], "isSymbol">;
+export declare const isValidDate: Guard<Date, [], "date.valid", [], "isValidDate">;
+export declare const hasLength: <const O extends BoundedAssertionOptions = EmptyOptions>(options?: O) => Refinement<[...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<string | unknown[], number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "length.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<string | unknown[], number>, Checker<number, [max: OptionNumber<O, "max">]>, "length.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<string | unknown[], number>, Checker<number, [min: OptionNumber<O, "min">]>, "length.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<string | unknown[], number>, Checker<number, [range: OptionRange<O, "range">]>, "length.range", range: OptionRange<O, "range">]>] extends infer T ? T extends [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<string | unknown[], number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "length.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<string | unknown[], number>, Checker<number, [max: OptionNumber<O, "max">]>, "length.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<string | unknown[], number>, Checker<number, [min: OptionNumber<O, "min">]>, "length.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<string | unknown[], number>, Checker<number, [range: OptionRange<O, "range">]>, "length.range", range: OptionRange<O, "range">]>] ? T extends readonly [] ? unknown : (T[number] extends infer T_1 ? T_1 extends T[number] ? T_1 extends unknown ? (value: Parameters<T_1[0]>[0]) => void : never : never : never) extends (value: infer Input) => void ? Input : never : never : never, [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<string | unknown[], number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "length.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<string | unknown[], number>, Checker<number, [max: OptionNumber<O, "max">]>, "length.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<string | unknown[], number>, Checker<number, [min: OptionNumber<O, "min">]>, "length.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<string | unknown[], number>, Checker<number, [range: OptionRange<O, "range">]>, "length.range", range: OptionRange<O, "range">]>], "length.unsupported-type", [], "hasLength">;
+export declare const hasSize: <const O extends BoundedAssertionOptions = EmptyOptions>(options?: O) => Refinement<[...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "size.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [max: OptionNumber<O, "max">]>, "size.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [min: OptionNumber<O, "min">]>, "size.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [range: OptionRange<O, "range">]>, "size.range", range: OptionRange<O, "range">]>] extends infer T ? T extends [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "size.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [max: OptionNumber<O, "max">]>, "size.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [min: OptionNumber<O, "min">]>, "size.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [range: OptionRange<O, "range">]>, "size.range", range: OptionRange<O, "range">]>] ? T extends readonly [] ? unknown : (T[number] extends infer T_1 ? T_1 extends T[number] ? T_1 extends unknown ? (value: Parameters<T_1[0]>[0]) => void : never : never : never) extends (value: infer Input) => void ? Input : never : never : never, [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "size.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [max: OptionNumber<O, "max">]>, "size.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [min: OptionNumber<O, "min">]>, "size.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<Map<unknown, unknown> | Set<unknown>, number>, Checker<number, [range: OptionRange<O, "range">]>, "size.range", range: OptionRange<O, "range">]>], "size.unsupported-type", [], "hasSize">;
+export declare const hasPattern: (pattern: RegExp, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<string, readonly [readonly [(value: string) => string, (value: string, pattern: RegExp) => boolean, "string.pattern", RegExp]], "string.unsupported-type", [], "hasPattern">;
+export declare const startsWith: (prefix: string, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<string, readonly [readonly [(value: string) => string, (value: string, prefix: string) => boolean, "string.starts-with", string]], "string.unsupported-type", [], "startsWith">;
+export declare const endsWith: (suffix: string, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<string, readonly [readonly [(value: string) => string, (value: string, suffix: string) => boolean, "string.ends-with", string]], "string.unsupported-type", [], "endsWith">;
+export declare const hasValue: <const O extends BoundedAssertionOptions = EmptyOptions>(options?: O) => Refinement<[...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<number, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "number.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<number, number>, Checker<number, [max: OptionNumber<O, "max">]>, "number.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<number, number>, Checker<number, [min: OptionNumber<O, "min">]>, "number.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<number, number>, Checker<number, [range: OptionRange<O, "range">]>, "number.range", range: OptionRange<O, "range">]>] extends infer T ? T extends [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<number, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "number.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<number, number>, Checker<number, [max: OptionNumber<O, "max">]>, "number.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<number, number>, Checker<number, [min: OptionNumber<O, "min">]>, "number.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<number, number>, Checker<number, [range: OptionRange<O, "range">]>, "number.range", range: OptionRange<O, "range">]>] ? T extends readonly [] ? unknown : (T[number] extends infer T_1 ? T_1 extends T[number] ? T_1 extends unknown ? (value: Parameters<T_1[0]>[0]) => void : never : never : never) extends (value: infer Input) => void ? Input : never : never : never, [...IncludeConstraint<OptionNumber<O, "exact">, readonly [ Extractor<number, number>, Checker<number, [exact: OptionNumber<O, "exact">]>, "number.exact", exact: OptionNumber<O, "exact">]>, ...IncludeConstraint<OptionNumber<O, "max">, readonly [ Extractor<number, number>, Checker<number, [max: OptionNumber<O, "max">]>, "number.max", max: OptionNumber<O, "max">]>, ...IncludeConstraint<OptionNumber<O, "min">, readonly [ Extractor<number, number>, Checker<number, [min: OptionNumber<O, "min">]>, "number.min", min: OptionNumber<O, "min">]>, ...IncludeConstraint<OptionRange<O, "range">, readonly [ Extractor<number, number>, Checker<number, [range: OptionRange<O, "range">]>, "number.range", range: OptionRange<O, "range">]>], "number.unsupported-type", [], "hasValue">;
+export declare const multipleOf: <const Step extends number>(step: Step, { bail, }?: {
+    bail?: boolean;
+}) => Refinement<number, readonly [readonly [(value: number) => number, (value: number, step: number) => boolean, "number.multiple-of", Step]], "number.unsupported-type", [], "multipleOf">;
+export declare const oneOf: <Actual = unknown>(values: Actual[] | Record<string, Actual>, { equalTo, bail, }?: {
+    equalTo?: (a: Actual, b: unknown) => boolean;
+    bail?: boolean;
+}) => Guard<Actual, [], "value.one-of", readonly [Actual[]], "oneOf">;