ascertain 3.0.0 → 3.2.0

package/build/index.cjs

@@ -30,6 +30,9 @@ _export(exports, {
     get ascertain () {
         return ascertain;
     },
+    get check () {
+        return check;
+    },
     get compile () {
         return compile;
     },
@@ -39,9 +42,39 @@ _export(exports, {
     get discriminated () {
         return discriminated;
     },
+    get format () {
+        return format;
+    },
     get fromBase64 () {
         return fromBase64;
     },
+    get gt () {
+        return gt;
+    },
+    get integer () {
+        return integer;
+    },
+    get lt () {
+        return lt;
+    },
+    get max () {
+        return max;
+    },
+    get maxLength () {
+        return maxLength;
+    },
+    get min () {
+        return min;
+    },
+    get minLength () {
+        return minLength;
+    },
+    get multipleOf () {
+        return multipleOf;
+    },
+    get oneOf () {
+        return oneOf;
+    },
     get optional () {
         return optional;
     },
@@ -53,6 +86,9 @@ _export(exports, {
     },
     get tuple () {
         return tuple;
+    },
+    get uniqueItems () {
+        return uniqueItems;
     }
 });
 const $keys = Symbol.for('@@keys');
@@ -64,6 +100,7 @@ const AND = Symbol.for('@@and');
 const OPTIONAL = Symbol.for('@@optional');
 const TUPLE = Symbol.for('@@tuple');
 const DISCRIMINATED = Symbol.for('@@discriminated');
+const CHECK = Symbol.for('@@check');
 const OrCtor = function(schemas) {
     this.schemas = schemas;
 };
@@ -87,6 +124,10 @@ const DiscriminatedCtor = function(schemas, key) {
     this.key = key;
 };
 DiscriminatedCtor.prototype[$op] = DISCRIMINATED;
+const CheckCtor = function(compileFn) {
+    this.compile = compileFn;
+};
+CheckCtor.prototype[$op] = CHECK;
 const or = (...schemas)=>{
     if (schemas.length === 0) throw new TypeError('Operator requires at least one schema');
     return new OrCtor(schemas);
@@ -104,6 +145,63 @@ const discriminated = (schemas, key)=>{
     if (schemas.length === 0) throw new TypeError('discriminated requires at least one schema');
     return new DiscriminatedCtor(schemas, key);
 };
+const check = (fnOrOpts, message)=>{
+    if (typeof fnOrOpts === 'function') {
+        return new CheckCtor((v, ctx)=>{
+            const fnRef = ctx.ref(fnOrOpts);
+            return {
+                check: `!${fnRef}(${v})`,
+                message: message ? JSON.stringify(message) : `\`check failed for value \${${v}}\``
+            };
+        });
+    }
+    return new CheckCtor(fnOrOpts.compile);
+};
+const min = (n, message)=>new CheckCtor((v)=>({
+            check: `${v} < ${n}`,
+            message: message ? JSON.stringify(message) : `\`must be >= ${n}, got \${${v}}\``
+        }));
+const max = (n, message)=>new CheckCtor((v)=>({
+            check: `${v} > ${n}`,
+            message: message ? JSON.stringify(message) : `\`must be <= ${n}, got \${${v}}\``
+        }));
+const integer = (message)=>new CheckCtor((v)=>({
+            check: `!Number.isInteger(${v})`,
+            message: message ? JSON.stringify(message) : `\`must be an integer, got \${${v}}\``
+        }));
+const minLength = (n, message)=>new CheckCtor((v)=>({
+            check: `${v}.length < ${n}`,
+            message: message ? JSON.stringify(message) : `\`length must be >= ${n}, got \${${v}.length}\``
+        }));
+const maxLength = (n, message)=>new CheckCtor((v)=>({
+            check: `${v}.length > ${n}`,
+            message: message ? JSON.stringify(message) : `\`length must be <= ${n}, got \${${v}.length}\``
+        }));
+const gt = (n, message)=>new CheckCtor((v)=>({
+            check: `${v} <= ${n}`,
+            message: message ? JSON.stringify(message) : `\`must be > ${n}, got \${${v}}\``
+        }));
+const lt = (n, message)=>new CheckCtor((v)=>({
+            check: `${v} >= ${n}`,
+            message: message ? JSON.stringify(message) : `\`must be < ${n}, got \${${v}}\``
+        }));
+const multipleOf = (n, message)=>new CheckCtor((v)=>({
+            check: `${v} % ${n} !== 0`,
+            message: message ? JSON.stringify(message) : `\`must be a multiple of ${n}, got \${${v}}\``
+        }));
+const uniqueItems = (message)=>new CheckCtor((v)=>({
+            check: `new Set(${v}).size !== ${v}.length`,
+            message: message ? JSON.stringify(message) : `\`must have unique items\``
+        }));
+const oneOf = (values, message)=>{
+    const set = new Set(Array.isArray(values) ? values : Object.values(values));
+    return new CheckCtor((v, ctx)=>({
+            check: `!${ctx.ref(set)}.has(${v})`,
+            message: message ? JSON.stringify(message) : `\`must be one of [${[
+                ...set
+            ].map(toLiteral).join(', ')}], got \${${v}}\``
+        }));
+};
 const fromBase64 = typeof Buffer === 'undefined' ? (value)=>atob(value) : (value)=>Buffer.from(value, 'base64').toString('utf-8');
 const MULTIPLIERS = {
     ms: 1,
@@ -168,6 +266,86 @@ const as = {
         }
     }
 };
+const DATETIME_RE = /^\d{4}-[01]\d-[0-3]\d[t\s](?:[0-2]\d:[0-5]\d:[0-5]\d|23:59:60)(?:\.\d+)?(?:z|[+-]\d{2}(?::?\d{2})?)$/i;
+const TIME_FMT_RE = /^(?:(?:[01]\d|2[0-3]):[0-5]\d:[0-5]\d|23:59:60)(?:\.\d+)?(?:z|[+-]\d{2}(?::?\d{2})?)$/i;
+const DURATION_RE = /^P(?!$)(\d+Y)?(\d+M)?(\d+W)?(\d+D)?(T(?=\d)(\d+H)?(\d+M)?(\d+S)?)?$/;
+const EMAIL_RE = /^[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\.[a-z0-9!#$%&'*+/=?^_`{|}~-]+)*@(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?$/i;
+const IDN_EMAIL_RE = /^[a-z0-9!#$%&'*+/=?^_`{|}~\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF-]+(?:\.[a-z0-9!#$%&'*+/=?^_`{|}~\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF-]+)*@(?:[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF](?:[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF-]*[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])?\.)+[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF](?:[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF-]*[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])?$/i;
+const HOSTNAME_RE = /^(?=.{1,253}\.?$)[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?(?:\.[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?)*\.?$/i;
+const IDN_HOSTNAME_RE = /^(?=.{1,253}\.?$)[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF](?:[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF-]{0,61}[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])?(?:\.[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF](?:[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF-]{0,61}[a-z0-9\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF])?)*\.?$/i;
+const IPV4_RE = /^(?:(?:25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)\.){3}(?:25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)$/;
+const IPV6_RE = /^((([0-9a-f]{1,4}:){7}([0-9a-f]{1,4}|:))|(([0-9a-f]{1,4}:){6}(:[0-9a-f]{1,4}|((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){5}(((:[0-9a-f]{1,4}){1,2})|:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){4}(((:[0-9a-f]{1,4}){1,3})|((:[0-9a-f]{1,4})?:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){3}(((:[0-9a-f]{1,4}){1,4})|((:[0-9a-f]{1,4}){0,2}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){2}(((:[0-9a-f]{1,4}){1,5})|((:[0-9a-f]{1,4}){0,3}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){1}(((:[0-9a-f]{1,4}){1,6})|((:[0-9a-f]{1,4}){0,4}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(:(((:[0-9a-f]{1,4}){1,7})|((:[0-9a-f]{1,4}){0,5}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:)))(%.+)?$/i;
+const URI_RE = /^(?:[a-z][a-z0-9+\-.]*:)(?:\/?\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\.[a-z0-9\-._~!$&'()*+,;=:]+)\]|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?)|(?:[a-z0-9\-._~!$&'()*+,;=]|%[0-9a-f]{2})*)(?::\d*)?(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*|\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)(?:\?(?:[a-z0-9\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i;
+const isUriRef = (s)=>URI_RE.test(s) || /^[a-z0-9\-._~:/?#\[\]@!$&'()*+,;=%]*$/i.test(s);
+const IRI_RE = /^(?:[a-z][a-z0-9+\-.]*:)(?:\/?\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*@)?(?:\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\.[a-z0-9\-._~!$&'()*+,;=:]+)\]|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?)|(?:[a-z0-9\-._~!$&'()*+,;=\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*)(?::\d*)?(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*)*|\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:@\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\-._~!$&'()*+,;=:@\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*)*)(?:\?(?:[a-z0-9\-._~!$&'()*+,;=:@/?\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\-._~!$&'()*+,;=:@/?\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF]|%[0-9a-f]{2})*)?$/i;
+const isIriRef = (s)=>IRI_RE.test(s) || /^[a-z0-9\-._~:/?#\[\]@!$&'()*+,;=\u00A0-\uD7FF\uF900-\uFDCF\uFDF0-\uFFEF%]*$/i.test(s);
+const UUID_RE = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i;
+const URI_TEMPLATE_RE = /^(?:(?:[^\x00-\x20"'<>%\\^`{|}]|%[0-9a-f]{2})|\{[+#./;?&=,!@|]?(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\*)?(?:,(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\*)?)*\})*$/i;
+const JSON_POINTER_RE = /^(?:\/(?:[^~/]|~0|~1)*)*$/;
+const REL_JSON_POINTER_RE = /^(?:0|[1-9][0-9]*)(?:#|(?:\/(?:[^~/]|~0|~1)*)*)$/;
+const DAYS = [
+    0,
+    31,
+    28,
+    31,
+    30,
+    31,
+    30,
+    31,
+    31,
+    30,
+    31,
+    30,
+    31
+];
+const isValidDate = (s)=>{
+    const m = /^\d{4}-(\d{2})-(\d{2})$/.exec(s);
+    if (!m) return false;
+    const month = +m[1], day = +m[2];
+    if (month < 1 || month > 12 || day < 1) return false;
+    if (month === 2) {
+        const y = +s.slice(0, 4);
+        return day <= (y % 4 === 0 && (y % 100 !== 0 || y % 400 === 0) ? 29 : 28);
+    }
+    return day <= DAYS[month];
+};
+const isValidRegex = (s)=>{
+    try {
+        new RegExp(s);
+        return true;
+    } catch  {
+        return false;
+    }
+};
+const regexFormat = (re, name, message)=>new CheckCtor((v, ctx)=>({
+            check: `!${ctx.ref(re)}.test(${v})`,
+            message: message ? JSON.stringify(message) : `\`must be a valid ${name}, got \${${v}}\``
+        }));
+const fnFormat = (fn, name, message)=>new CheckCtor((v, ctx)=>({
+            check: `!${ctx.ref(fn)}(${v})`,
+            message: message ? JSON.stringify(message) : `\`must be a valid ${name}, got \${${v}}\``
+        }));
+const format = {
+    dateTime: (message)=>regexFormat(DATETIME_RE, 'date-time', message),
+    date: (message)=>fnFormat(isValidDate, 'date', message),
+    time: (message)=>regexFormat(TIME_FMT_RE, 'time', message),
+    duration: (message)=>regexFormat(DURATION_RE, 'duration', message),
+    email: (message)=>regexFormat(EMAIL_RE, 'email', message),
+    idnEmail: (message)=>regexFormat(IDN_EMAIL_RE, 'idn-email', message),
+    hostname: (message)=>regexFormat(HOSTNAME_RE, 'hostname', message),
+    idnHostname: (message)=>regexFormat(IDN_HOSTNAME_RE, 'idn-hostname', message),
+    ipv4: (message)=>regexFormat(IPV4_RE, 'ipv4', message),
+    ipv6: (message)=>regexFormat(IPV6_RE, 'ipv6', message),
+    uri: (message)=>regexFormat(URI_RE, 'uri', message),
+    uriReference: (message)=>fnFormat(isUriRef, 'uri-reference', message),
+    iri: (message)=>regexFormat(IRI_RE, 'iri', message),
+    iriReference: (message)=>fnFormat(isIriRef, 'iri-reference', message),
+    uuid: (message)=>regexFormat(UUID_RE, 'uuid', message),
+    uriTemplate: (message)=>regexFormat(URI_TEMPLATE_RE, 'uri-template', message),
+    jsonPointer: (message)=>regexFormat(JSON_POINTER_RE, 'json-pointer', message),
+    relativeJsonPointer: (message)=>regexFormat(REL_JSON_POINTER_RE, 'relative-json-pointer', message),
+    regex: (message)=>fnFormat(isValidRegex, 'regex', message)
+};
 class Context {
     registry = [];
     lookupMap = new Map();
@@ -282,6 +460,16 @@ const codeGen = (schema, context, valuePath, mode)=>{
                     `else { ${schema.schemas.map((s, idx)=>codeGen(s, context, `${valueAlias}[${idx}]`, childMode(mode, idx))).join('\n')} }`
                 ].join('\n');
             }
+        } else if (tag === CHECK) {
+            const valueAlias = context.unique('v');
+            const ref = (v)=>`ctx.registry[${context.register(v)}]`;
+            const { check: cond, message } = schema.compile(valueAlias, {
+                ref
+            });
+            if (mode.fast) {
+                return `const ${valueAlias} = ${valuePath};\nif (${cond}) { ${fail} }`;
+            }
+            return `const ${valueAlias} = ${valuePath};\nif (${cond}) { ${emit(message)} }`;
         } else {
             const { key, schemas } = schema;
             const valueAlias = context.unique('v');