arstotzka 0.13.3 → 0.14.2

package/dist/index.cjs

@@ -0,0 +1,2 @@
+"use strict";var A=Object.defineProperty;var k=Object.getOwnPropertyDescriptor;var _=Object.getOwnPropertyNames;var N=Object.prototype.hasOwnProperty;var P=(t,n)=>{for(var o in n)A(t,o,{get:n[o],enumerable:!0})},D=(t,n,o,a)=>{if(n&&typeof n=="object"||typeof n=="function")for(let r of _(n))!N.call(t,r)&&r!==o&&A(t,r,{get:()=>n[r],enumerable:!(a=k(n,r))||a.enumerable});return t};var Y=t=>D(A({},"__esModule",{value:!0}),t);var B={};P(B,{ANY_OF:()=>K,ARRAY_OF:()=>L,DYNAMIC:()=>U,ERRORS:()=>F,OPTIONAL:()=>R,isTruthy:()=>q,validate:()=>V});module.exports=Y(B);var F={noProperty:"Required property not present",typeMismatch:"Provided type is not allowed by schema",customFail:"Custom validation function failed",extraProperty:"Provided object contains properties not present in schema",exceptionOnCustom:"Exception thrown during constraint validation",notArray:"Tried using ARRAY_OF constraint on non-array value",targetIsNull:"Passed object or array item is null",functionExpected:"Expected function as dynamic constraint",objectExpected:"Expected object",anyFailed:"None of ANY_OF constraints are met",parsingError:"Schema parsing error",deadError:"This error never occurs (i guess)"},j=t=>n=>typeof n==t,M=t=>Array.isArray(t),S=Symbol(),x=Symbol(),E=Symbol(),O=Symbol(),T=Symbol(),$={allErrors:!0,allowExtraProperties:!0};function V(t,n={},o={}){o=Object.assign($,o);let a=[],[r,p]=m(n,a);p.length>0&&console.error("Flags can't be used at schema's root");let s=b("",t,r,o);return s.push(...a),s.forEach(y=>{y.propertyName?.startsWith(".")&&(y.propertyName=y.propertyName.slice(1))}),s}function m(t,n){function o(e){if(!e)return null;if(typeof e=="object"&&"type"in e&&e.type===S)return e;if(Array.isArray(e))return e.map(o).filter(c=>c);switch(typeof e){case"string":return e=="array"?f(M,"typeMismatch",e):f(j(e),"typeMismatch",e);case"function":return f(e,"customFail",e);case"object":return f(T,"deadError",e);case"symbol":return e}return n.push(u("<schema>","parsingError",void 0,e)),null}let a=o(t)||[];function r(e){return Array.isArray(e)?e:[e]}let p=r(a),s=p.filter(e=>typeof e!="symbol"&&e.type==S),y=p.filter(e=>typeof e=="symbol");return[s,y]}function b(t,n,o,a){let r=[];function p(s){return typeof s=="function"}for(let s of o){let y=s.validation;if(p(y)){let[e,c]=v(()=>y(n));e?c||r.push(u(t,s.failMessageId,"[function]",n)):r.push(u(t,"exceptionOnCustom",void 0,c?.toString()));continue}switch(s.validation){case T:{if(typeof n!="object"||!n){r.push(u(t,"objectExpected","object",n));break}let e=Object.keys(n),c=Object.keys(s.expected);for(let i of c){let[l,h]=m(s.expected[i],r);if(!e.includes(i)){h.includes(R)||r.push(u(`${d(t)}.${i}`,"noProperty"));continue}let g=b(`${d(t)}.${i}`,n[i],l,a);r.push(...g)}if(!a.allowExtraProperties){let i=e.filter(l=>!c.includes(l));i.length>0&&r.push(...i.map(l=>u(`${d(t)}.${l}`,"extraProperty")))}break}case x:{if(!Array.isArray(n)){r.push(u(t,"notArray","array",typeof n));break}let[e,c]=m(s.expected,r),i=0;for(let l of n){let h=b(`${d(t)}[${i}]`,l,e,a);r.push(...h),++i}break}case E:{let e=s.expected,c=[],i=!1,l=0;for(let h of e){let g=[],[I,G]=m(h,g),C=b(`${d(t)}.<any#${l}>`,n,I,a);if(C.push(...g),++l,c.push(C),C.length==0){i=!0;break}}i||r.push(u(t,"anyFailed",void 0,c));break}case O:{let e=s.expected;if(typeof e!="function"){r.push(u(t,"functionExpected","function",typeof e));break}let[c,i]=m(e(n),r),l=b(t,n,c,a);r.push(...l);break}}if(!a.allErrors&&r.length>0)break}return r}function v(t){try{return[!0,t()]}catch(n){return[!1,n]}}function d(t){return typeof t=="symbol"?"[symbol]":String(t)}function u(t,n,o,a){return{propertyName:d(t),id:n,message:F[n],expected:o,got:a}}function f(t,n,o){return{type:S,validation:t,failMessageId:n,expected:o}}var R=Symbol();function L(t){return arguments.length>1&&console.error("Got more than one argument to ARRAY_OF. Did you mean to pass an array of constraints?"),f(x,"deadError",t)}function K(t){return arguments.length>1?f(E,"deadError",Array.from(arguments)):Array.isArray(t)?f(E,"deadError",t):f(E,"deadError",[t])}function U(t){return f(O,"deadError",t)}function q(t){return!!t}0&&(module.exports={ANY_OF,ARRAY_OF,DYNAMIC,ERRORS,OPTIONAL,isTruthy,validate});
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["export const ERRORS = {\n\tnoProperty: \"Required property not present\",\n\ttypeMismatch: \"Provided type is not allowed by schema\",\n\tcustomFail: \"Custom validation function failed\",\n\textraProperty: \"Provided object contains properties not present in schema\",\n\texceptionOnCustom: \"Exception thrown during constraint validation\",\n\tnotArray: \"Tried using ARRAY_OF constraint on non-array value\",\n\ttargetIsNull: \"Passed object or array item is null\",\n\tfunctionExpected: \"Expected function as dynamic constraint\",\n\tobjectExpected: \"Expected object\",\n\tanyFailed: \"None of ANY_OF constraints are met\",\n\tparsingError: \"Schema parsing error\",\n\tdeadError: \"This error never occurs (i guess)\"\n};\n\nconst TYPE = (t: string) => (x: any) => typeof x == t;\nconst IS_ARRAY = (x: any) => Array.isArray(x);\n\nconst CONSTRAINT = Symbol();\nconst FC_ARRAY = Symbol(); // https://www.youtube.com/watch?v=qSqXGeJJBaI\nconst FC_ANY = Symbol();\nconst FC_DYNAMIC = Symbol();\nconst FC_NESTED = Symbol();\n\nconst VALIDATION_DEFAULTS = {\n\tallErrors: true,\n\tallowExtraProperties: true\n};\n\n/**\n* @param options Validation options:\n*\n* - allErrors (true) : return all errors instead of interrupting after first fail\n* - allowExtraProperties (true) : If false, adds specific error to a list for every property of target object not present in schema\n* @return Array of errors\n */\nexport function validate(target: any, schema: Schema = {}, options: ValidationOptions = {}) {\n\toptions = Object.assign(VALIDATION_DEFAULTS, options)\n\n\tconst parseErrors: Error[] = [];\n\tconst [constraints, flags] = parseSchema(schema, parseErrors);\n\n\tif (flags.length > 0) {\n\t\tconsole.error(\"Flags can't be used at schema's root\")\n\t}\n\n\tconst errors = checkValue(\"\", target, constraints, options);\n\terrors.push(...parseErrors)\n\terrors.forEach(e => {\n\t\tif (e.propertyName?.startsWith(\".\"))\n\t\t\te.propertyName = e.propertyName.slice(1);\n\t});\n\n\treturn errors;\n}\n\nfunction parseSchema(schemaProperty: Schema, errors: Error[]): [Constraint[], OptionalFlag[]] {\n\tfunction translate(raw: Schema): Constraint | Constraint[] | OptionalFlag | null {\n\t\tif (!raw) return null;\n\n\t\tif (\n\t\t\ttypeof raw === \"object\" &&\n\t\t\t\"type\" in raw &&\n\t\t\traw.type === CONSTRAINT\n\t\t)\n\t\t\treturn raw as Constraint;\n\n\t\tif (Array.isArray(raw)) {\n\t\t\treturn raw.map(translate).filter(raw => raw) as Constraint | Constraint[] | OptionalFlag;\n\t\t} else {\n\t\t\tswitch (typeof raw) {\n\t\t\t\tcase (\"string\"): {\n\t\t\t\t\tif (raw == \"array\")\n\t\t\t\t\t\treturn constraint(IS_ARRAY, \"typeMismatch\", raw);\n\t\t\t\t\telse\n\t\t\t\t\t\treturn constraint(TYPE(raw as TypeofValueSchema), \"typeMismatch\", raw);\n\t\t\t\t}\n\t\t\t\tcase (\"function\"): {\n\t\t\t\t\treturn constraint(raw as FunctionSchema, \"customFail\", raw);\n\t\t\t\t}\n\t\t\t\tcase (\"object\"): {\n\t\t\t\t\treturn constraint(FC_NESTED, \"deadError\", raw);\n\t\t\t\t}\n\t\t\t\tcase (\"symbol\"): {\n\t\t\t\t\treturn raw as OptionalFlag;\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\terrors.push(error(\"<schema>\", \"parsingError\", undefined, raw));\n\t\treturn null;\n\t}\n\n\tconst intermediate = translate(schemaProperty) || [];\n\n\tfunction wrap(\n\t\ttranslated: OptionalFlag | Constraint | Constraint[]\n\t): (OptionalFlag | Constraint)[] {\n\t\tif (!Array.isArray(translated))\n\t\t\treturn [translated];\n\t\treturn translated;\n\t}\n\n\tconst wrapped = wrap(intermediate);\n\tconst constraints = wrapped.filter(i => typeof i !== \"symbol\" && i.type == CONSTRAINT);\n\tconst flags       = wrapped.filter(i => typeof i === \"symbol\");\n\n\treturn [\n\t\tconstraints as Constraint[],\n\t\tflags       as OptionalFlag[]\n\t];\n}\n\nfunction checkValue(\n\tpropertyName: keyof any,\n\tvalue: any,\n\tconstraints: Constraint[],\n\toptions: ValidationOptions\n): Error[] {\n\tconst errors = [];\n\n\tfunction constraintFunctional(v: Constraint[\"validation\"]): v is (value: any) => any {\n\t\treturn typeof v == \"function\";\n\t}\n\n\tfor (let constraint of constraints) {\n\t\tconst validationCall = constraint.validation;\n\t\tif (constraintFunctional(validationCall)) {\n\t\t\tconst [success, validationResult] = nothrow(() => validationCall(value));\n\t\t\tif (!success) {\n\t\t\t\terrors.push(error(propertyName, \"exceptionOnCustom\", undefined, validationResult?.toString()));\n\t\t\t} else if (!validationResult) {\n\t\t\t\terrors.push(error(propertyName, constraint.failMessageId, \"[function]\", value));\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\n\t\tswitch(constraint.validation) {\n\t\t\tcase FC_NESTED: {\n\t\t\t\tif (typeof value != \"object\" || !value) {\n\t\t\t\t\terrors.push(error(propertyName, \"objectExpected\", \"object\", value));\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\n\t\t\t\tconst targetKeys = Object.keys(value);\n\t\t\t\tconst schemaKeys = Object.keys(constraint.expected!);\n\n\t\t\t\tfor (let key of schemaKeys) {\n\t\t\t\t\t// @ts-ignore // FC_NESTED guarantees expected scheme to be an object\n\t\t\t\t\tconst [subConstraints, flags] = parseSchema(constraint.expected[key], errors);\n\n\t\t\t\t\tif (!targetKeys.includes(key)) {\n\t\t\t\t\t\tif (!flags.includes(OPTIONAL)) {\n\t\t\t\t\t\t\terrors.push(error(`${stringifyKey(propertyName)}.${key}`, \"noProperty\"));\n\t\t\t\t\t\t}\n\t\t\t\t\t\tcontinue;\n\t\t\t\t\t}\n\n\t\t\t\t\tconst subErrors = checkValue(`${stringifyKey(propertyName)}.${key}`, value[key], subConstraints, options);\n\t\t\t\t\terrors.push(...subErrors);\n\t\t\t\t}\n\n\t\t\t\tif (!options.allowExtraProperties) {\n\t\t\t\t\tconst extraProperties = targetKeys.filter(k => !schemaKeys.includes(k));\n\t\t\t\t\tif (extraProperties.length > 0) {\n\t\t\t\t\t\terrors.push(...extraProperties.map(k => error(`${stringifyKey(propertyName)}.${k}`, \"extraProperty\")))\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase FC_ARRAY: {\n\t\t\t\tif (!Array.isArray(value)) {\n\t\t\t\t\terrors.push(error(propertyName, \"notArray\", \"array\", typeof value))\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\n\t\t\t\tconst [subConstraints, flags] = parseSchema(constraint.expected, errors);\n\n\t\t\t\tlet indexCounter = 0;\n\t\t\t\tfor (let item of value) {\n\t\t\t\t\tconst subErrors = checkValue(`${stringifyKey(propertyName)}[${indexCounter}]`, item, subConstraints, options);\n\t\t\t\t\terrors.push(...subErrors);\n\t\t\t\t\t++indexCounter;\n\t\t\t\t}\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase FC_ANY: {\n\t\t\t\tconst subSchemas = constraint.expected as Schema[];\n\n\t\t\t\tconst subErrors = [];\n\t\t\t\tlet passed = false;\n\t\t\t\tlet counter = 0;\n\n\t\t\t\tfor (let subSchema of subSchemas) {\n\t\t\t\t\tconst subParseErrors: Error[] = [];\n\t\t\t\t\tconst [subConstraints, flags] = parseSchema(subSchema, subParseErrors);\n\t\t\t\t\tconst caseErrors = checkValue(`${stringifyKey(propertyName)}.<any#${counter}>`, value, subConstraints, options);\n\t\t\t\t\tcaseErrors.push(...subParseErrors);\n\t\t\t\t\t++counter;\n\t\t\t\t\tsubErrors.push(caseErrors);\n\t\t\t\t\tif (caseErrors.length == 0) {\n\t\t\t\t\t\tpassed = true;\n\t\t\t\t\t\tbreak;\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tif (!passed) errors.push(error(propertyName, \"anyFailed\", undefined, subErrors));\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase FC_DYNAMIC: {\n\t\t\t\tconst constraintCallback = constraint.expected;\n\n\t\t\t\tif (typeof constraintCallback != \"function\") {\n\t\t\t\t\terrors.push(error(propertyName, \"functionExpected\", \"function\", typeof constraintCallback))\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\n\t\t\t\tconst [subConstraints, flags] = parseSchema(constraintCallback(value), errors)\n\t\t\t\tconst subErrors = checkValue(propertyName, value, subConstraints, options);\n\t\t\t\terrors.push(...subErrors);\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\n\t\tif (!options.allErrors && errors.length > 0) break;\n\t}\n\treturn errors;\n}\n\nfunction nothrow<T>(cb: () => T): [true, T] | [false, unknown] {\n\ttry {\n\t\treturn [true, cb()];\n\t} catch (e) {\n\t\treturn [false, e];\n\t}\n}\n\nfunction stringifyKey(k: keyof any): string {\n\treturn typeof k === \"symbol\" ? \"[symbol]\" : String(k);\n}\n\nfunction error(\n\tpropertyName: keyof any,\n\tid: ErrorID,\n\texpected?: string,\n\tgot?: any\n) {\n\treturn {\n\t\tpropertyName: stringifyKey(propertyName),\n\t\tid,\n\t\tmessage: ERRORS[id],\n\t\texpected,\n\t\tgot\n\t};\n}\n\nfunction constraint(\n\tf: Constraint[\"validation\"],\n\tfailMessageId: Constraint[\"failMessageId\"],\n\texpected: Constraint[\"expected\"]\n): Constraint {\n\treturn {\n\t\ttype: CONSTRAINT,\n\t\tvalidation: f,\n\t\tfailMessageId: failMessageId,\n\t\texpected: expected\n\t};\n}\n\nexport const OPTIONAL = Symbol();\nexport function ARRAY_OF(constraints: Schema) {\n\tif (arguments.length > 1) {\n\t\tconsole.error(\"Got more than one argument to ARRAY_OF. Did you mean to pass an array of constraints?\");\n\t}\n\treturn constraint(FC_ARRAY, \"deadError\", constraints);\n}\nexport function ANY_OF(constraints: Schema[]) {\n\tif (arguments.length > 1) {\n\t\treturn constraint(FC_ANY, \"deadError\", Array.from(arguments));\n\t} else {\n\t\tif (Array.isArray(constraints)) {\n\t\t\treturn constraint(FC_ANY, \"deadError\", constraints);\n\t\t} else {\n\t\t\treturn constraint(FC_ANY, \"deadError\", [constraints]);\n\t\t}\n\t}\n}\nexport function DYNAMIC(constraints: Schema) {\n\treturn constraint(FC_DYNAMIC, \"deadError\", constraints);\n}\n\nexport function isTruthy<T>(value: T): value is NonNullable<T> {\n\treturn Boolean(value);\n}\n\nexport type ErrorID = keyof typeof ERRORS;\n\ntype TypeofValueSchema = \n\t| \"bigint\"\n\t| \"boolean\"\n\t| \"function\"\n\t| \"number\"\n\t| \"object\"\n\t| \"string\"\n\t| \"symbol\"\n\t| \"undefined\"\n\t| \"array\"; // array is special case\ntype FunctionSchema = (value: any) => boolean | any;\ntype OptionalFlag = typeof OPTIONAL;\n\ntype ForbiddenConstraintFlag =\n\t| typeof FC_ARRAY\n\t| typeof FC_ANY\n\t| typeof FC_DYNAMIC\n\t| typeof FC_NESTED\ntype Constraint = {\n\ttype: typeof CONSTRAINT,\n\tvalidation:\n\t\t| ((value: any) => any)\n\t\t| ForbiddenConstraintFlag,\n\tfailMessageId: ErrorID,\n\texpected: Schema\n}\n\nexport type Schema = \n\t| TypeofValueSchema\n\t| FunctionSchema\n\t| OptionalFlag\n\t| { [property: keyof any]: Schema }\n\t| Schema[]\n\t| Constraint;\n\ntype ValidationOptions = Partial<typeof VALIDATION_DEFAULTS>;\n\ntype Error = {\n\tpropertyName: string,\n\tid: ErrorID,\n\tmessage: string,\n\texpected: any,\n\tgot: any\n};"],"mappings":"yaAAA,IAAAA,EAAA,GAAAC,EAAAD,EAAA,YAAAE,EAAA,aAAAC,EAAA,YAAAC,EAAA,WAAAC,EAAA,aAAAC,EAAA,aAAAC,EAAA,aAAAC,IAAA,eAAAC,EAAAT,GAAO,IAAMK,EAAS,CACrB,WAAY,gCACZ,aAAc,yCACd,WAAY,oCACZ,cAAe,4DACf,kBAAmB,gDACnB,SAAU,qDACV,aAAc,sCACd,iBAAkB,0CAClB,eAAgB,kBAChB,UAAW,qCACX,aAAc,uBACd,UAAW,mCACZ,EAEMK,EAAQ,GAAeC,GAAW,OAAOA,GAAK,EAC9CC,EAAYD,GAAW,MAAM,QAAQA,CAAC,EAEtCE,EAAa,OAAO,EACpBC,EAAW,OAAO,EAClBC,EAAS,OAAO,EAChBC,EAAa,OAAO,EACpBC,EAAY,OAAO,EAEnBC,EAAsB,CAC3B,UAAW,GACX,qBAAsB,EACvB,EASO,SAASV,EAASW,EAAaC,EAAiB,CAAC,EAAGC,EAA6B,CAAC,EAAG,CAC3FA,EAAU,OAAO,OAAOH,EAAqBG,CAAO,EAEpD,IAAMC,EAAuB,CAAC,EACxB,CAACC,EAAaC,CAAK,EAAIC,EAAYL,EAAQE,CAAW,EAExDE,EAAM,OAAS,GAClB,QAAQ,MAAM,sCAAsC,EAGrD,IAAME,EAASC,EAAW,GAAIR,EAAQI,EAAaF,CAAO,EAC1D,OAAAK,EAAO,KAAK,GAAGJ,CAAW,EAC1BI,EAAO,QAAQE,GAAK,CACfA,EAAE,cAAc,WAAW,GAAG,IACjCA,EAAE,aAAeA,EAAE,aAAa,MAAM,CAAC,EACzC,CAAC,EAEMF,CACR,CAEA,SAASD,EAAYI,EAAwBH,EAAiD,CAC7F,SAASI,EAAUC,EAA8D,CAChF,GAAI,CAACA,EAAK,OAAO,KAEjB,GACC,OAAOA,GAAQ,UACf,SAAUA,GACVA,EAAI,OAASlB,EAEb,OAAOkB,EAER,GAAI,MAAM,QAAQA,CAAG,EACpB,OAAOA,EAAI,IAAID,CAAS,EAAE,OAAOC,GAAOA,CAAG,EAE3C,OAAQ,OAAOA,EAAK,CACnB,IAAM,SACL,OAAIA,GAAO,QACHC,EAAWpB,EAAU,eAAgBmB,CAAG,EAExCC,EAAWtB,EAAKqB,CAAwB,EAAG,eAAgBA,CAAG,EAEvE,IAAM,WACL,OAAOC,EAAWD,EAAuB,aAAcA,CAAG,EAE3D,IAAM,SACL,OAAOC,EAAWf,EAAW,YAAac,CAAG,EAE9C,IAAM,SACL,OAAOA,CAET,CAED,OAAAL,EAAO,KAAKO,EAAM,WAAY,eAAgB,OAAWF,CAAG,CAAC,EACtD,IACR,CAEA,IAAMG,EAAeJ,EAAUD,CAAc,GAAK,CAAC,EAEnD,SAASM,EACRC,EACgC,CAChC,OAAK,MAAM,QAAQA,CAAU,EAEtBA,EADC,CAACA,CAAU,CAEpB,CAEA,IAAMC,EAAUF,EAAKD,CAAY,EAC3BX,EAAcc,EAAQ,OAAOC,GAAK,OAAOA,GAAM,UAAYA,EAAE,MAAQzB,CAAU,EAC/EW,EAAca,EAAQ,OAAOC,GAAK,OAAOA,GAAM,QAAQ,EAE7D,MAAO,CACNf,EACAC,CACD,CACD,CAEA,SAASG,EACRY,EACAC,EACAjB,EACAF,EACU,CACV,IAAMK,EAAS,CAAC,EAEhB,SAASe,EAAqBC,EAAuD,CACpF,OAAO,OAAOA,GAAK,UACpB,CAEA,QAASV,KAAcT,EAAa,CACnC,IAAMoB,EAAiBX,EAAW,WAClC,GAAIS,EAAqBE,CAAc,EAAG,CACzC,GAAM,CAACC,EAASC,CAAgB,EAAIC,EAAQ,IAAMH,EAAeH,CAAK,CAAC,EAClEI,EAEOC,GACXnB,EAAO,KAAKO,EAAMM,EAAcP,EAAW,cAAe,aAAcQ,CAAK,CAAC,EAF9Ed,EAAO,KAAKO,EAAMM,EAAc,oBAAqB,OAAWM,GAAkB,SAAS,CAAC,CAAC,EAI9F,QACD,CAEA,OAAOb,EAAW,WAAY,CAC7B,KAAKf,EAAW,CACf,GAAI,OAAOuB,GAAS,UAAY,CAACA,EAAO,CACvCd,EAAO,KAAKO,EAAMM,EAAc,iBAAkB,SAAUC,CAAK,CAAC,EAClE,KACD,CAEA,IAAMO,EAAa,OAAO,KAAKP,CAAK,EAC9BQ,EAAa,OAAO,KAAKhB,EAAW,QAAS,EAEnD,QAASiB,KAAOD,EAAY,CAE3B,GAAM,CAACE,EAAgB1B,CAAK,EAAIC,EAAYO,EAAW,SAASiB,CAAG,EAAGvB,CAAM,EAE5E,GAAI,CAACqB,EAAW,SAASE,CAAG,EAAG,CACzBzB,EAAM,SAASlB,CAAQ,GAC3BoB,EAAO,KAAKO,EAAM,GAAGkB,EAAaZ,CAAY,CAAC,IAAIU,CAAG,GAAI,YAAY,CAAC,EAExE,QACD,CAEA,IAAMG,EAAYzB,EAAW,GAAGwB,EAAaZ,CAAY,CAAC,IAAIU,CAAG,GAAIT,EAAMS,CAAG,EAAGC,EAAgB7B,CAAO,EACxGK,EAAO,KAAK,GAAG0B,CAAS,CACzB,CAEA,GAAI,CAAC/B,EAAQ,qBAAsB,CAClC,IAAMgC,EAAkBN,EAAW,OAAOO,GAAK,CAACN,EAAW,SAASM,CAAC,CAAC,EAClED,EAAgB,OAAS,GAC5B3B,EAAO,KAAK,GAAG2B,EAAgB,IAAIC,GAAKrB,EAAM,GAAGkB,EAAaZ,CAAY,CAAC,IAAIe,CAAC,GAAI,eAAe,CAAC,CAAC,CAEvG,CAEA,KACD,CACA,KAAKxC,EAAU,CACd,GAAI,CAAC,MAAM,QAAQ0B,CAAK,EAAG,CAC1Bd,EAAO,KAAKO,EAAMM,EAAc,WAAY,QAAS,OAAOC,CAAK,CAAC,EAClE,KACD,CAEA,GAAM,CAACU,EAAgB1B,CAAK,EAAIC,EAAYO,EAAW,SAAUN,CAAM,EAEnE6B,EAAe,EACnB,QAASC,KAAQhB,EAAO,CACvB,IAAMY,EAAYzB,EAAW,GAAGwB,EAAaZ,CAAY,CAAC,IAAIgB,CAAY,IAAKC,EAAMN,EAAgB7B,CAAO,EAC5GK,EAAO,KAAK,GAAG0B,CAAS,EACxB,EAAEG,CACH,CAEA,KACD,CACA,KAAKxC,EAAQ,CACZ,IAAM0C,EAAazB,EAAW,SAExBoB,EAAY,CAAC,EACfM,EAAS,GACTC,EAAU,EAEd,QAASC,KAAaH,EAAY,CACjC,IAAMI,EAA0B,CAAC,EAC3B,CAACX,EAAgB1B,CAAK,EAAIC,EAAYmC,EAAWC,CAAc,EAC/DC,EAAanC,EAAW,GAAGwB,EAAaZ,CAAY,CAAC,SAASoB,CAAO,IAAKnB,EAAOU,EAAgB7B,CAAO,EAI9G,GAHAyC,EAAW,KAAK,GAAGD,CAAc,EACjC,EAAEF,EACFP,EAAU,KAAKU,CAAU,EACrBA,EAAW,QAAU,EAAG,CAC3BJ,EAAS,GACT,KACD,CACD,CAEKA,GAAQhC,EAAO,KAAKO,EAAMM,EAAc,YAAa,OAAWa,CAAS,CAAC,EAE/E,KACD,CACA,KAAKpC,EAAY,CAChB,IAAM+C,EAAqB/B,EAAW,SAEtC,GAAI,OAAO+B,GAAsB,WAAY,CAC5CrC,EAAO,KAAKO,EAAMM,EAAc,mBAAoB,WAAY,OAAOwB,CAAkB,CAAC,EAC1F,KACD,CAEA,GAAM,CAACb,EAAgB1B,CAAK,EAAIC,EAAYsC,EAAmBvB,CAAK,EAAGd,CAAM,EACvE0B,EAAYzB,EAAWY,EAAcC,EAAOU,EAAgB7B,CAAO,EACzEK,EAAO,KAAK,GAAG0B,CAAS,EAExB,KACD,CACD,CAEA,GAAI,CAAC/B,EAAQ,WAAaK,EAAO,OAAS,EAAG,KAC9C,CACA,OAAOA,CACR,CAEA,SAASoB,EAAWkB,EAA2C,CAC9D,GAAI,CACH,MAAO,CAAC,GAAMA,EAAG,CAAC,CACnB,OAASpC,EAAG,CACX,MAAO,CAAC,GAAOA,CAAC,CACjB,CACD,CAEA,SAASuB,EAAaG,EAAsB,CAC3C,OAAO,OAAOA,GAAM,SAAW,WAAa,OAAOA,CAAC,CACrD,CAEA,SAASrB,EACRM,EACA0B,EACAC,EACAC,EACC,CACD,MAAO,CACN,aAAchB,EAAaZ,CAAY,EACvC,GAAA0B,EACA,QAAS5D,EAAO4D,CAAE,EAClB,SAAAC,EACA,IAAAC,CACD,CACD,CAEA,SAASnC,EACRoC,EACAC,EACAH,EACa,CACb,MAAO,CACN,KAAMrD,EACN,WAAYuD,EACZ,cAAeC,EACf,SAAUH,CACX,CACD,CAEO,IAAM5D,EAAW,OAAO,EACxB,SAASH,EAASoB,EAAqB,CAC7C,OAAI,UAAU,OAAS,GACtB,QAAQ,MAAM,uFAAuF,EAE/FS,EAAWlB,EAAU,YAAaS,CAAW,CACrD,CACO,SAASrB,EAAOqB,EAAuB,CAC7C,OAAI,UAAU,OAAS,EACfS,EAAWjB,EAAQ,YAAa,MAAM,KAAK,SAAS,CAAC,EAExD,MAAM,QAAQQ,CAAW,EACrBS,EAAWjB,EAAQ,YAAaQ,CAAW,EAE3CS,EAAWjB,EAAQ,YAAa,CAACQ,CAAW,CAAC,CAGvD,CACO,SAASnB,EAAQmB,EAAqB,CAC5C,OAAOS,EAAWhB,EAAY,YAAaO,CAAW,CACvD,CAEO,SAAShB,EAAYiC,EAAmC,CAC9D,MAAO,EAAQA,CAChB","names":["index_exports","__export","ANY_OF","ARRAY_OF","DYNAMIC","ERRORS","OPTIONAL","isTruthy","validate","__toCommonJS","TYPE","x","IS_ARRAY","CONSTRAINT","FC_ARRAY","FC_ANY","FC_DYNAMIC","FC_NESTED","VALIDATION_DEFAULTS","target","schema","options","parseErrors","constraints","flags","parseSchema","errors","checkValue","e","schemaProperty","translate","raw","constraint","error","intermediate","wrap","translated","wrapped","i","propertyName","value","constraintFunctional","v","validationCall","success","validationResult","nothrow","targetKeys","schemaKeys","key","subConstraints","stringifyKey","subErrors","extraProperties","k","indexCounter","item","subSchemas","passed","counter","subSchema","subParseErrors","caseErrors","constraintCallback","cb","id","expected","got","f","failMessageId"]}

package/dist/index.d.cts

@@ -0,0 +1,60 @@
+declare const ERRORS: {
+    noProperty: string;
+    typeMismatch: string;
+    customFail: string;
+    extraProperty: string;
+    exceptionOnCustom: string;
+    notArray: string;
+    targetIsNull: string;
+    functionExpected: string;
+    objectExpected: string;
+    anyFailed: string;
+    parsingError: string;
+    deadError: string;
+};
+declare const CONSTRAINT: unique symbol;
+declare const FC_ARRAY: unique symbol;
+declare const FC_ANY: unique symbol;
+declare const FC_DYNAMIC: unique symbol;
+declare const FC_NESTED: unique symbol;
+declare const VALIDATION_DEFAULTS: {
+    allErrors: boolean;
+    allowExtraProperties: boolean;
+};
+/**
+* @param options Validation options:
+*
+* - allErrors (true) : return all errors instead of interrupting after first fail
+* - allowExtraProperties (true) : If false, adds specific error to a list for every property of target object not present in schema
+* @return Array of errors
+ */
+declare function validate(target: any, schema?: Schema, options?: ValidationOptions): Error[];
+declare const OPTIONAL: unique symbol;
+declare function ARRAY_OF(constraints: Schema): Constraint;
+declare function ANY_OF(constraints: Schema[]): Constraint;
+declare function DYNAMIC(constraints: Schema): Constraint;
+declare function isTruthy<T>(value: T): value is NonNullable<T>;
+type ErrorID = keyof typeof ERRORS;
+type TypeofValueSchema = "bigint" | "boolean" | "function" | "number" | "object" | "string" | "symbol" | "undefined" | "array";
+type FunctionSchema = (value: any) => boolean | any;
+type OptionalFlag = typeof OPTIONAL;
+type ForbiddenConstraintFlag = typeof FC_ARRAY | typeof FC_ANY | typeof FC_DYNAMIC | typeof FC_NESTED;
+type Constraint = {
+    type: typeof CONSTRAINT;
+    validation: ((value: any) => any) | ForbiddenConstraintFlag;
+    failMessageId: ErrorID;
+    expected: Schema;
+};
+type Schema = TypeofValueSchema | FunctionSchema | OptionalFlag | {
+    [property: keyof any]: Schema;
+} | Schema[] | Constraint;
+type ValidationOptions = Partial<typeof VALIDATION_DEFAULTS>;
+type Error = {
+    propertyName: string;
+    id: ErrorID;
+    message: string;
+    expected: any;
+    got: any;
+};
+
+export { ANY_OF, ARRAY_OF, DYNAMIC, ERRORS, type ErrorID, OPTIONAL, type Schema, isTruthy, validate };

package/dist/index.d.ts

@@ -0,0 +1,60 @@
+declare const ERRORS: {
+    noProperty: string;
+    typeMismatch: string;
+    customFail: string;
+    extraProperty: string;
+    exceptionOnCustom: string;
+    notArray: string;
+    targetIsNull: string;
+    functionExpected: string;
+    objectExpected: string;
+    anyFailed: string;
+    parsingError: string;
+    deadError: string;
+};
+declare const CONSTRAINT: unique symbol;
+declare const FC_ARRAY: unique symbol;
+declare const FC_ANY: unique symbol;
+declare const FC_DYNAMIC: unique symbol;
+declare const FC_NESTED: unique symbol;
+declare const VALIDATION_DEFAULTS: {
+    allErrors: boolean;
+    allowExtraProperties: boolean;
+};
+/**
+* @param options Validation options:
+*
+* - allErrors (true) : return all errors instead of interrupting after first fail
+* - allowExtraProperties (true) : If false, adds specific error to a list for every property of target object not present in schema
+* @return Array of errors
+ */
+declare function validate(target: any, schema?: Schema, options?: ValidationOptions): Error[];
+declare const OPTIONAL: unique symbol;
+declare function ARRAY_OF(constraints: Schema): Constraint;
+declare function ANY_OF(constraints: Schema[]): Constraint;
+declare function DYNAMIC(constraints: Schema): Constraint;
+declare function isTruthy<T>(value: T): value is NonNullable<T>;
+type ErrorID = keyof typeof ERRORS;
+type TypeofValueSchema = "bigint" | "boolean" | "function" | "number" | "object" | "string" | "symbol" | "undefined" | "array";
+type FunctionSchema = (value: any) => boolean | any;
+type OptionalFlag = typeof OPTIONAL;
+type ForbiddenConstraintFlag = typeof FC_ARRAY | typeof FC_ANY | typeof FC_DYNAMIC | typeof FC_NESTED;
+type Constraint = {
+    type: typeof CONSTRAINT;
+    validation: ((value: any) => any) | ForbiddenConstraintFlag;
+    failMessageId: ErrorID;
+    expected: Schema;
+};
+type Schema = TypeofValueSchema | FunctionSchema | OptionalFlag | {
+    [property: keyof any]: Schema;
+} | Schema[] | Constraint;
+type ValidationOptions = Partial<typeof VALIDATION_DEFAULTS>;
+type Error = {
+    propertyName: string;
+    id: ErrorID;
+    message: string;
+    expected: any;
+    got: any;
+};
+
+export { ANY_OF, ARRAY_OF, DYNAMIC, ERRORS, type ErrorID, OPTIONAL, type Schema, isTruthy, validate };

package/dist/index.js

@@ -0,0 +1,2 @@
+var T={noProperty:"Required property not present",typeMismatch:"Provided type is not allowed by schema",customFail:"Custom validation function failed",extraProperty:"Provided object contains properties not present in schema",exceptionOnCustom:"Exception thrown during constraint validation",notArray:"Tried using ARRAY_OF constraint on non-array value",targetIsNull:"Passed object or array item is null",functionExpected:"Expected function as dynamic constraint",objectExpected:"Expected object",anyFailed:"None of ANY_OF constraints are met",parsingError:"Schema parsing error",deadError:"This error never occurs (i guess)"},R=t=>n=>typeof n==t,I=t=>Array.isArray(t),A=Symbol(),S=Symbol(),E=Symbol(),F=Symbol(),x=Symbol(),k={allErrors:!0,allowExtraProperties:!0};function D(t,n={},c={}){c=Object.assign(k,c);let s=[],[r,p]=m(n,s);p.length>0&&console.error("Flags can't be used at schema's root");let o=b("",t,r,c);return o.push(...s),o.forEach(y=>{y.propertyName?.startsWith(".")&&(y.propertyName=y.propertyName.slice(1))}),o}function m(t,n){function c(e){if(!e)return null;if(typeof e=="object"&&"type"in e&&e.type===A)return e;if(Array.isArray(e))return e.map(c).filter(i=>i);switch(typeof e){case"string":return e=="array"?f(I,"typeMismatch",e):f(R(e),"typeMismatch",e);case"function":return f(e,"customFail",e);case"object":return f(x,"deadError",e);case"symbol":return e}return n.push(u("<schema>","parsingError",void 0,e)),null}let s=c(t)||[];function r(e){return Array.isArray(e)?e:[e]}let p=r(s),o=p.filter(e=>typeof e!="symbol"&&e.type==A),y=p.filter(e=>typeof e=="symbol");return[o,y]}function b(t,n,c,s){let r=[];function p(o){return typeof o=="function"}for(let o of c){let y=o.validation;if(p(y)){let[e,i]=_(()=>y(n));e?i||r.push(u(t,o.failMessageId,"[function]",n)):r.push(u(t,"exceptionOnCustom",void 0,i?.toString()));continue}switch(o.validation){case x:{if(typeof n!="object"||!n){r.push(u(t,"objectExpected","object",n));break}let e=Object.keys(n),i=Object.keys(o.expected);for(let a of i){let[l,h]=m(o.expected[a],r);if(!e.includes(a)){h.includes(N)||r.push(u(`${d(t)}.${a}`,"noProperty"));continue}let g=b(`${d(t)}.${a}`,n[a],l,s);r.push(...g)}if(!s.allowExtraProperties){let a=e.filter(l=>!i.includes(l));a.length>0&&r.push(...a.map(l=>u(`${d(t)}.${l}`,"extraProperty")))}break}case S:{if(!Array.isArray(n)){r.push(u(t,"notArray","array",typeof n));break}let[e,i]=m(o.expected,r),a=0;for(let l of n){let h=b(`${d(t)}[${a}]`,l,e,s);r.push(...h),++a}break}case E:{let e=o.expected,i=[],a=!1,l=0;for(let h of e){let g=[],[O,P]=m(h,g),C=b(`${d(t)}.<any#${l}>`,n,O,s);if(C.push(...g),++l,i.push(C),C.length==0){a=!0;break}}a||r.push(u(t,"anyFailed",void 0,i));break}case F:{let e=o.expected;if(typeof e!="function"){r.push(u(t,"functionExpected","function",typeof e));break}let[i,a]=m(e(n),r),l=b(t,n,i,s);r.push(...l);break}}if(!s.allErrors&&r.length>0)break}return r}function _(t){try{return[!0,t()]}catch(n){return[!1,n]}}function d(t){return typeof t=="symbol"?"[symbol]":String(t)}function u(t,n,c,s){return{propertyName:d(t),id:n,message:T[n],expected:c,got:s}}function f(t,n,c){return{type:A,validation:t,failMessageId:n,expected:c}}var N=Symbol();function Y(t){return arguments.length>1&&console.error("Got more than one argument to ARRAY_OF. Did you mean to pass an array of constraints?"),f(S,"deadError",t)}function j(t){return arguments.length>1?f(E,"deadError",Array.from(arguments)):Array.isArray(t)?f(E,"deadError",t):f(E,"deadError",[t])}function M(t){return f(F,"deadError",t)}function $(t){return!!t}export{j as ANY_OF,Y as ARRAY_OF,M as DYNAMIC,T as ERRORS,N as OPTIONAL,$ as isTruthy,D as validate};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["export const ERRORS = {\n\tnoProperty: \"Required property not present\",\n\ttypeMismatch: \"Provided type is not allowed by schema\",\n\tcustomFail: \"Custom validation function failed\",\n\textraProperty: \"Provided object contains properties not present in schema\",\n\texceptionOnCustom: \"Exception thrown during constraint validation\",\n\tnotArray: \"Tried using ARRAY_OF constraint on non-array value\",\n\ttargetIsNull: \"Passed object or array item is null\",\n\tfunctionExpected: \"Expected function as dynamic constraint\",\n\tobjectExpected: \"Expected object\",\n\tanyFailed: \"None of ANY_OF constraints are met\",\n\tparsingError: \"Schema parsing error\",\n\tdeadError: \"This error never occurs (i guess)\"\n};\n\nconst TYPE = (t: string) => (x: any) => typeof x == t;\nconst IS_ARRAY = (x: any) => Array.isArray(x);\n\nconst CONSTRAINT = Symbol();\nconst FC_ARRAY = Symbol(); // https://www.youtube.com/watch?v=qSqXGeJJBaI\nconst FC_ANY = Symbol();\nconst FC_DYNAMIC = Symbol();\nconst FC_NESTED = Symbol();\n\nconst VALIDATION_DEFAULTS = {\n\tallErrors: true,\n\tallowExtraProperties: true\n};\n\n/**\n* @param options Validation options:\n*\n* - allErrors (true) : return all errors instead of interrupting after first fail\n* - allowExtraProperties (true) : If false, adds specific error to a list for every property of target object not present in schema\n* @return Array of errors\n */\nexport function validate(target: any, schema: Schema = {}, options: ValidationOptions = {}) {\n\toptions = Object.assign(VALIDATION_DEFAULTS, options)\n\n\tconst parseErrors: Error[] = [];\n\tconst [constraints, flags] = parseSchema(schema, parseErrors);\n\n\tif (flags.length > 0) {\n\t\tconsole.error(\"Flags can't be used at schema's root\")\n\t}\n\n\tconst errors = checkValue(\"\", target, constraints, options);\n\terrors.push(...parseErrors)\n\terrors.forEach(e => {\n\t\tif (e.propertyName?.startsWith(\".\"))\n\t\t\te.propertyName = e.propertyName.slice(1);\n\t});\n\n\treturn errors;\n}\n\nfunction parseSchema(schemaProperty: Schema, errors: Error[]): [Constraint[], OptionalFlag[]] {\n\tfunction translate(raw: Schema): Constraint | Constraint[] | OptionalFlag | null {\n\t\tif (!raw) return null;\n\n\t\tif (\n\t\t\ttypeof raw === \"object\" &&\n\t\t\t\"type\" in raw &&\n\t\t\traw.type === CONSTRAINT\n\t\t)\n\t\t\treturn raw as Constraint;\n\n\t\tif (Array.isArray(raw)) {\n\t\t\treturn raw.map(translate).filter(raw => raw) as Constraint | Constraint[] | OptionalFlag;\n\t\t} else {\n\t\t\tswitch (typeof raw) {\n\t\t\t\tcase (\"string\"): {\n\t\t\t\t\tif (raw == \"array\")\n\t\t\t\t\t\treturn constraint(IS_ARRAY, \"typeMismatch\", raw);\n\t\t\t\t\telse\n\t\t\t\t\t\treturn constraint(TYPE(raw as TypeofValueSchema), \"typeMismatch\", raw);\n\t\t\t\t}\n\t\t\t\tcase (\"function\"): {\n\t\t\t\t\treturn constraint(raw as FunctionSchema, \"customFail\", raw);\n\t\t\t\t}\n\t\t\t\tcase (\"object\"): {\n\t\t\t\t\treturn constraint(FC_NESTED, \"deadError\", raw);\n\t\t\t\t}\n\t\t\t\tcase (\"symbol\"): {\n\t\t\t\t\treturn raw as OptionalFlag;\n\t\t\t\t}\n\t\t\t}\n\t\t}\n\t\terrors.push(error(\"<schema>\", \"parsingError\", undefined, raw));\n\t\treturn null;\n\t}\n\n\tconst intermediate = translate(schemaProperty) || [];\n\n\tfunction wrap(\n\t\ttranslated: OptionalFlag | Constraint | Constraint[]\n\t): (OptionalFlag | Constraint)[] {\n\t\tif (!Array.isArray(translated))\n\t\t\treturn [translated];\n\t\treturn translated;\n\t}\n\n\tconst wrapped = wrap(intermediate);\n\tconst constraints = wrapped.filter(i => typeof i !== \"symbol\" && i.type == CONSTRAINT);\n\tconst flags       = wrapped.filter(i => typeof i === \"symbol\");\n\n\treturn [\n\t\tconstraints as Constraint[],\n\t\tflags       as OptionalFlag[]\n\t];\n}\n\nfunction checkValue(\n\tpropertyName: keyof any,\n\tvalue: any,\n\tconstraints: Constraint[],\n\toptions: ValidationOptions\n): Error[] {\n\tconst errors = [];\n\n\tfunction constraintFunctional(v: Constraint[\"validation\"]): v is (value: any) => any {\n\t\treturn typeof v == \"function\";\n\t}\n\n\tfor (let constraint of constraints) {\n\t\tconst validationCall = constraint.validation;\n\t\tif (constraintFunctional(validationCall)) {\n\t\t\tconst [success, validationResult] = nothrow(() => validationCall(value));\n\t\t\tif (!success) {\n\t\t\t\terrors.push(error(propertyName, \"exceptionOnCustom\", undefined, validationResult?.toString()));\n\t\t\t} else if (!validationResult) {\n\t\t\t\terrors.push(error(propertyName, constraint.failMessageId, \"[function]\", value));\n\t\t\t}\n\t\t\tcontinue;\n\t\t}\n\n\t\tswitch(constraint.validation) {\n\t\t\tcase FC_NESTED: {\n\t\t\t\tif (typeof value != \"object\" || !value) {\n\t\t\t\t\terrors.push(error(propertyName, \"objectExpected\", \"object\", value));\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\n\t\t\t\tconst targetKeys = Object.keys(value);\n\t\t\t\tconst schemaKeys = Object.keys(constraint.expected!);\n\n\t\t\t\tfor (let key of schemaKeys) {\n\t\t\t\t\t// @ts-ignore // FC_NESTED guarantees expected scheme to be an object\n\t\t\t\t\tconst [subConstraints, flags] = parseSchema(constraint.expected[key], errors);\n\n\t\t\t\t\tif (!targetKeys.includes(key)) {\n\t\t\t\t\t\tif (!flags.includes(OPTIONAL)) {\n\t\t\t\t\t\t\terrors.push(error(`${stringifyKey(propertyName)}.${key}`, \"noProperty\"));\n\t\t\t\t\t\t}\n\t\t\t\t\t\tcontinue;\n\t\t\t\t\t}\n\n\t\t\t\t\tconst subErrors = checkValue(`${stringifyKey(propertyName)}.${key}`, value[key], subConstraints, options);\n\t\t\t\t\terrors.push(...subErrors);\n\t\t\t\t}\n\n\t\t\t\tif (!options.allowExtraProperties) {\n\t\t\t\t\tconst extraProperties = targetKeys.filter(k => !schemaKeys.includes(k));\n\t\t\t\t\tif (extraProperties.length > 0) {\n\t\t\t\t\t\terrors.push(...extraProperties.map(k => error(`${stringifyKey(propertyName)}.${k}`, \"extraProperty\")))\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase FC_ARRAY: {\n\t\t\t\tif (!Array.isArray(value)) {\n\t\t\t\t\terrors.push(error(propertyName, \"notArray\", \"array\", typeof value))\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\n\t\t\t\tconst [subConstraints, flags] = parseSchema(constraint.expected, errors);\n\n\t\t\t\tlet indexCounter = 0;\n\t\t\t\tfor (let item of value) {\n\t\t\t\t\tconst subErrors = checkValue(`${stringifyKey(propertyName)}[${indexCounter}]`, item, subConstraints, options);\n\t\t\t\t\terrors.push(...subErrors);\n\t\t\t\t\t++indexCounter;\n\t\t\t\t}\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase FC_ANY: {\n\t\t\t\tconst subSchemas = constraint.expected as Schema[];\n\n\t\t\t\tconst subErrors = [];\n\t\t\t\tlet passed = false;\n\t\t\t\tlet counter = 0;\n\n\t\t\t\tfor (let subSchema of subSchemas) {\n\t\t\t\t\tconst subParseErrors: Error[] = [];\n\t\t\t\t\tconst [subConstraints, flags] = parseSchema(subSchema, subParseErrors);\n\t\t\t\t\tconst caseErrors = checkValue(`${stringifyKey(propertyName)}.<any#${counter}>`, value, subConstraints, options);\n\t\t\t\t\tcaseErrors.push(...subParseErrors);\n\t\t\t\t\t++counter;\n\t\t\t\t\tsubErrors.push(caseErrors);\n\t\t\t\t\tif (caseErrors.length == 0) {\n\t\t\t\t\t\tpassed = true;\n\t\t\t\t\t\tbreak;\n\t\t\t\t\t}\n\t\t\t\t}\n\n\t\t\t\tif (!passed) errors.push(error(propertyName, \"anyFailed\", undefined, subErrors));\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t\tcase FC_DYNAMIC: {\n\t\t\t\tconst constraintCallback = constraint.expected;\n\n\t\t\t\tif (typeof constraintCallback != \"function\") {\n\t\t\t\t\terrors.push(error(propertyName, \"functionExpected\", \"function\", typeof constraintCallback))\n\t\t\t\t\tbreak;\n\t\t\t\t}\n\n\t\t\t\tconst [subConstraints, flags] = parseSchema(constraintCallback(value), errors)\n\t\t\t\tconst subErrors = checkValue(propertyName, value, subConstraints, options);\n\t\t\t\terrors.push(...subErrors);\n\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\n\t\tif (!options.allErrors && errors.length > 0) break;\n\t}\n\treturn errors;\n}\n\nfunction nothrow<T>(cb: () => T): [true, T] | [false, unknown] {\n\ttry {\n\t\treturn [true, cb()];\n\t} catch (e) {\n\t\treturn [false, e];\n\t}\n}\n\nfunction stringifyKey(k: keyof any): string {\n\treturn typeof k === \"symbol\" ? \"[symbol]\" : String(k);\n}\n\nfunction error(\n\tpropertyName: keyof any,\n\tid: ErrorID,\n\texpected?: string,\n\tgot?: any\n) {\n\treturn {\n\t\tpropertyName: stringifyKey(propertyName),\n\t\tid,\n\t\tmessage: ERRORS[id],\n\t\texpected,\n\t\tgot\n\t};\n}\n\nfunction constraint(\n\tf: Constraint[\"validation\"],\n\tfailMessageId: Constraint[\"failMessageId\"],\n\texpected: Constraint[\"expected\"]\n): Constraint {\n\treturn {\n\t\ttype: CONSTRAINT,\n\t\tvalidation: f,\n\t\tfailMessageId: failMessageId,\n\t\texpected: expected\n\t};\n}\n\nexport const OPTIONAL = Symbol();\nexport function ARRAY_OF(constraints: Schema) {\n\tif (arguments.length > 1) {\n\t\tconsole.error(\"Got more than one argument to ARRAY_OF. Did you mean to pass an array of constraints?\");\n\t}\n\treturn constraint(FC_ARRAY, \"deadError\", constraints);\n}\nexport function ANY_OF(constraints: Schema[]) {\n\tif (arguments.length > 1) {\n\t\treturn constraint(FC_ANY, \"deadError\", Array.from(arguments));\n\t} else {\n\t\tif (Array.isArray(constraints)) {\n\t\t\treturn constraint(FC_ANY, \"deadError\", constraints);\n\t\t} else {\n\t\t\treturn constraint(FC_ANY, \"deadError\", [constraints]);\n\t\t}\n\t}\n}\nexport function DYNAMIC(constraints: Schema) {\n\treturn constraint(FC_DYNAMIC, \"deadError\", constraints);\n}\n\nexport function isTruthy<T>(value: T): value is NonNullable<T> {\n\treturn Boolean(value);\n}\n\nexport type ErrorID = keyof typeof ERRORS;\n\ntype TypeofValueSchema = \n\t| \"bigint\"\n\t| \"boolean\"\n\t| \"function\"\n\t| \"number\"\n\t| \"object\"\n\t| \"string\"\n\t| \"symbol\"\n\t| \"undefined\"\n\t| \"array\"; // array is special case\ntype FunctionSchema = (value: any) => boolean | any;\ntype OptionalFlag = typeof OPTIONAL;\n\ntype ForbiddenConstraintFlag =\n\t| typeof FC_ARRAY\n\t| typeof FC_ANY\n\t| typeof FC_DYNAMIC\n\t| typeof FC_NESTED\ntype Constraint = {\n\ttype: typeof CONSTRAINT,\n\tvalidation:\n\t\t| ((value: any) => any)\n\t\t| ForbiddenConstraintFlag,\n\tfailMessageId: ErrorID,\n\texpected: Schema\n}\n\nexport type Schema = \n\t| TypeofValueSchema\n\t| FunctionSchema\n\t| OptionalFlag\n\t| { [property: keyof any]: Schema }\n\t| Schema[]\n\t| Constraint;\n\ntype ValidationOptions = Partial<typeof VALIDATION_DEFAULTS>;\n\ntype Error = {\n\tpropertyName: string,\n\tid: ErrorID,\n\tmessage: string,\n\texpected: any,\n\tgot: any\n};"],"mappings":"AAAO,IAAMA,EAAS,CACrB,WAAY,gCACZ,aAAc,yCACd,WAAY,oCACZ,cAAe,4DACf,kBAAmB,gDACnB,SAAU,qDACV,aAAc,sCACd,iBAAkB,0CAClB,eAAgB,kBAChB,UAAW,qCACX,aAAc,uBACd,UAAW,mCACZ,EAEMC,EAAQ,GAAeC,GAAW,OAAOA,GAAK,EAC9CC,EAAYD,GAAW,MAAM,QAAQA,CAAC,EAEtCE,EAAa,OAAO,EACpBC,EAAW,OAAO,EAClBC,EAAS,OAAO,EAChBC,EAAa,OAAO,EACpBC,EAAY,OAAO,EAEnBC,EAAsB,CAC3B,UAAW,GACX,qBAAsB,EACvB,EASO,SAASC,EAASC,EAAaC,EAAiB,CAAC,EAAGC,EAA6B,CAAC,EAAG,CAC3FA,EAAU,OAAO,OAAOJ,EAAqBI,CAAO,EAEpD,IAAMC,EAAuB,CAAC,EACxB,CAACC,EAAaC,CAAK,EAAIC,EAAYL,EAAQE,CAAW,EAExDE,EAAM,OAAS,GAClB,QAAQ,MAAM,sCAAsC,EAGrD,IAAME,EAASC,EAAW,GAAIR,EAAQI,EAAaF,CAAO,EAC1D,OAAAK,EAAO,KAAK,GAAGJ,CAAW,EAC1BI,EAAO,QAAQE,GAAK,CACfA,EAAE,cAAc,WAAW,GAAG,IACjCA,EAAE,aAAeA,EAAE,aAAa,MAAM,CAAC,EACzC,CAAC,EAEMF,CACR,CAEA,SAASD,EAAYI,EAAwBH,EAAiD,CAC7F,SAASI,EAAUC,EAA8D,CAChF,GAAI,CAACA,EAAK,OAAO,KAEjB,GACC,OAAOA,GAAQ,UACf,SAAUA,GACVA,EAAI,OAASnB,EAEb,OAAOmB,EAER,GAAI,MAAM,QAAQA,CAAG,EACpB,OAAOA,EAAI,IAAID,CAAS,EAAE,OAAOC,GAAOA,CAAG,EAE3C,OAAQ,OAAOA,EAAK,CACnB,IAAM,SACL,OAAIA,GAAO,QACHC,EAAWrB,EAAU,eAAgBoB,CAAG,EAExCC,EAAWvB,EAAKsB,CAAwB,EAAG,eAAgBA,CAAG,EAEvE,IAAM,WACL,OAAOC,EAAWD,EAAuB,aAAcA,CAAG,EAE3D,IAAM,SACL,OAAOC,EAAWhB,EAAW,YAAae,CAAG,EAE9C,IAAM,SACL,OAAOA,CAET,CAED,OAAAL,EAAO,KAAKO,EAAM,WAAY,eAAgB,OAAWF,CAAG,CAAC,EACtD,IACR,CAEA,IAAMG,EAAeJ,EAAUD,CAAc,GAAK,CAAC,EAEnD,SAASM,EACRC,EACgC,CAChC,OAAK,MAAM,QAAQA,CAAU,EAEtBA,EADC,CAACA,CAAU,CAEpB,CAEA,IAAMC,EAAUF,EAAKD,CAAY,EAC3BX,EAAcc,EAAQ,OAAOC,GAAK,OAAOA,GAAM,UAAYA,EAAE,MAAQ1B,CAAU,EAC/EY,EAAca,EAAQ,OAAOC,GAAK,OAAOA,GAAM,QAAQ,EAE7D,MAAO,CACNf,EACAC,CACD,CACD,CAEA,SAASG,EACRY,EACAC,EACAjB,EACAF,EACU,CACV,IAAMK,EAAS,CAAC,EAEhB,SAASe,EAAqBC,EAAuD,CACpF,OAAO,OAAOA,GAAK,UACpB,CAEA,QAASV,KAAcT,EAAa,CACnC,IAAMoB,EAAiBX,EAAW,WAClC,GAAIS,EAAqBE,CAAc,EAAG,CACzC,GAAM,CAACC,EAASC,CAAgB,EAAIC,EAAQ,IAAMH,EAAeH,CAAK,CAAC,EAClEI,EAEOC,GACXnB,EAAO,KAAKO,EAAMM,EAAcP,EAAW,cAAe,aAAcQ,CAAK,CAAC,EAF9Ed,EAAO,KAAKO,EAAMM,EAAc,oBAAqB,OAAWM,GAAkB,SAAS,CAAC,CAAC,EAI9F,QACD,CAEA,OAAOb,EAAW,WAAY,CAC7B,KAAKhB,EAAW,CACf,GAAI,OAAOwB,GAAS,UAAY,CAACA,EAAO,CACvCd,EAAO,KAAKO,EAAMM,EAAc,iBAAkB,SAAUC,CAAK,CAAC,EAClE,KACD,CAEA,IAAMO,EAAa,OAAO,KAAKP,CAAK,EAC9BQ,EAAa,OAAO,KAAKhB,EAAW,QAAS,EAEnD,QAASiB,KAAOD,EAAY,CAE3B,GAAM,CAACE,EAAgB1B,CAAK,EAAIC,EAAYO,EAAW,SAASiB,CAAG,EAAGvB,CAAM,EAE5E,GAAI,CAACqB,EAAW,SAASE,CAAG,EAAG,CACzBzB,EAAM,SAAS2B,CAAQ,GAC3BzB,EAAO,KAAKO,EAAM,GAAGmB,EAAab,CAAY,CAAC,IAAIU,CAAG,GAAI,YAAY,CAAC,EAExE,QACD,CAEA,IAAMI,EAAY1B,EAAW,GAAGyB,EAAab,CAAY,CAAC,IAAIU,CAAG,GAAIT,EAAMS,CAAG,EAAGC,EAAgB7B,CAAO,EACxGK,EAAO,KAAK,GAAG2B,CAAS,CACzB,CAEA,GAAI,CAAChC,EAAQ,qBAAsB,CAClC,IAAMiC,EAAkBP,EAAW,OAAOQ,GAAK,CAACP,EAAW,SAASO,CAAC,CAAC,EAClED,EAAgB,OAAS,GAC5B5B,EAAO,KAAK,GAAG4B,EAAgB,IAAIC,GAAKtB,EAAM,GAAGmB,EAAab,CAAY,CAAC,IAAIgB,CAAC,GAAI,eAAe,CAAC,CAAC,CAEvG,CAEA,KACD,CACA,KAAK1C,EAAU,CACd,GAAI,CAAC,MAAM,QAAQ2B,CAAK,EAAG,CAC1Bd,EAAO,KAAKO,EAAMM,EAAc,WAAY,QAAS,OAAOC,CAAK,CAAC,EAClE,KACD,CAEA,GAAM,CAACU,EAAgB1B,CAAK,EAAIC,EAAYO,EAAW,SAAUN,CAAM,EAEnE8B,EAAe,EACnB,QAASC,KAAQjB,EAAO,CACvB,IAAMa,EAAY1B,EAAW,GAAGyB,EAAab,CAAY,CAAC,IAAIiB,CAAY,IAAKC,EAAMP,EAAgB7B,CAAO,EAC5GK,EAAO,KAAK,GAAG2B,CAAS,EACxB,EAAEG,CACH,CAEA,KACD,CACA,KAAK1C,EAAQ,CACZ,IAAM4C,EAAa1B,EAAW,SAExBqB,EAAY,CAAC,EACfM,EAAS,GACTC,EAAU,EAEd,QAASC,KAAaH,EAAY,CACjC,IAAMI,EAA0B,CAAC,EAC3B,CAACZ,EAAgB1B,CAAK,EAAIC,EAAYoC,EAAWC,CAAc,EAC/DC,EAAapC,EAAW,GAAGyB,EAAab,CAAY,CAAC,SAASqB,CAAO,IAAKpB,EAAOU,EAAgB7B,CAAO,EAI9G,GAHA0C,EAAW,KAAK,GAAGD,CAAc,EACjC,EAAEF,EACFP,EAAU,KAAKU,CAAU,EACrBA,EAAW,QAAU,EAAG,CAC3BJ,EAAS,GACT,KACD,CACD,CAEKA,GAAQjC,EAAO,KAAKO,EAAMM,EAAc,YAAa,OAAWc,CAAS,CAAC,EAE/E,KACD,CACA,KAAKtC,EAAY,CAChB,IAAMiD,EAAqBhC,EAAW,SAEtC,GAAI,OAAOgC,GAAsB,WAAY,CAC5CtC,EAAO,KAAKO,EAAMM,EAAc,mBAAoB,WAAY,OAAOyB,CAAkB,CAAC,EAC1F,KACD,CAEA,GAAM,CAACd,EAAgB1B,CAAK,EAAIC,EAAYuC,EAAmBxB,CAAK,EAAGd,CAAM,EACvE2B,EAAY1B,EAAWY,EAAcC,EAAOU,EAAgB7B,CAAO,EACzEK,EAAO,KAAK,GAAG2B,CAAS,EAExB,KACD,CACD,CAEA,GAAI,CAAChC,EAAQ,WAAaK,EAAO,OAAS,EAAG,KAC9C,CACA,OAAOA,CACR,CAEA,SAASoB,EAAWmB,EAA2C,CAC9D,GAAI,CACH,MAAO,CAAC,GAAMA,EAAG,CAAC,CACnB,OAASrC,EAAG,CACX,MAAO,CAAC,GAAOA,CAAC,CACjB,CACD,CAEA,SAASwB,EAAaG,EAAsB,CAC3C,OAAO,OAAOA,GAAM,SAAW,WAAa,OAAOA,CAAC,CACrD,CAEA,SAAStB,EACRM,EACA2B,EACAC,EACAC,EACC,CACD,MAAO,CACN,aAAchB,EAAab,CAAY,EACvC,GAAA2B,EACA,QAAS1D,EAAO0D,CAAE,EAClB,SAAAC,EACA,IAAAC,CACD,CACD,CAEA,SAASpC,EACRqC,EACAC,EACAH,EACa,CACb,MAAO,CACN,KAAMvD,EACN,WAAYyD,EACZ,cAAeC,EACf,SAAUH,CACX,CACD,CAEO,IAAMhB,EAAW,OAAO,EACxB,SAASoB,EAAShD,EAAqB,CAC7C,OAAI,UAAU,OAAS,GACtB,QAAQ,MAAM,uFAAuF,EAE/FS,EAAWnB,EAAU,YAAaU,CAAW,CACrD,CACO,SAASiD,EAAOjD,EAAuB,CAC7C,OAAI,UAAU,OAAS,EACfS,EAAWlB,EAAQ,YAAa,MAAM,KAAK,SAAS,CAAC,EAExD,MAAM,QAAQS,CAAW,EACrBS,EAAWlB,EAAQ,YAAaS,CAAW,EAE3CS,EAAWlB,EAAQ,YAAa,CAACS,CAAW,CAAC,CAGvD,CACO,SAASkD,EAAQlD,EAAqB,CAC5C,OAAOS,EAAWjB,EAAY,YAAaQ,CAAW,CACvD,CAEO,SAASmD,EAAYlC,EAAmC,CAC9D,MAAO,EAAQA,CAChB","names":["ERRORS","TYPE","x","IS_ARRAY","CONSTRAINT","FC_ARRAY","FC_ANY","FC_DYNAMIC","FC_NESTED","VALIDATION_DEFAULTS","validate","target","schema","options","parseErrors","constraints","flags","parseSchema","errors","checkValue","e","schemaProperty","translate","raw","constraint","error","intermediate","wrap","translated","wrapped","i","propertyName","value","constraintFunctional","v","validationCall","success","validationResult","nothrow","targetKeys","schemaKeys","key","subConstraints","OPTIONAL","stringifyKey","subErrors","extraProperties","k","indexCounter","item","subSchemas","passed","counter","subSchema","subParseErrors","caseErrors","constraintCallback","cb","id","expected","got","f","failMessageId","ARRAY_OF","ANY_OF","DYNAMIC","isTruthy"]}

package/license.md

@@ -1,15 +1,15 @@
-            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
-                    Version 2, December 2004
-
- Copyright (C) 2004 Sam Hocevar <sam@hocevar.net>
-
- Everyone is permitted to copy and distribute verbatim or modified
- copies of this license document, and changing it is allowed as long
- as the name is changed.
-
-            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
-   TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
-
-  0. You just DO WHAT THE FUCK YOU WANT TO.
-
+            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
+                    Version 2, December 2004
+
+ Copyright (C) 2004 Sam Hocevar <sam@hocevar.net>
+
+ Everyone is permitted to copy and distribute verbatim or modified
+ copies of this license document, and changing it is allowed as long
+ as the name is changed.
+
+            DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE
+   TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
+
+  0. You just DO WHAT THE FUCK YOU WANT TO.
+
   

package/package.json

@@ -1,11 +1,22 @@
 {
   "name": "arstotzka",
-  "version": "0.13.3",
+  "version": "0.14.2",
   "description": "JS validation utility",
-  "main": "index.js",
+  "main": "./dist/index.js",
   "type": "module",
+  "exports": {
+    ".": {
+      "main": "./dist/index.cjs",
+      "module": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist"
+  ],
   "scripts": {
-    "test": "node tests.js"
+    "build": "tsup src/index.ts",
+    "test": "node src/tests.js"
   },
   "keywords": [
     "JSON",
@@ -25,5 +36,9 @@
   "bugs": {
     "url": "https://github.com/MilesVII/arstotzka/issues"
   },
-  "homepage": "https://github.com/MilesVII/arstotzka#readme"
+  "homepage": "https://github.com/MilesVII/arstotzka#readme",
+  "devDependencies": {
+    "tsup": "^8.5.0",
+    "typescript": "^5.9.3"
+  }
 }

package/readme.md

@@ -1,92 +1,92 @@
-# Arstotzka
-JS data validation tool featuring laconic schema format and a sexy name.
-
-## Usage
-
-See detailed usage example in **[usage.js](https://github.com/MilesVII/arstotzka/blob/master/usage.js)**
-
-```
-const schema = {
-	id: "number",
-	username: ["string", x => x.length < 10],
-	post: "string",
-	comments: Arstotzka.ARRAY_OF({
-		author: ["string", Arstotzka.OPTIONAL],
-		text: "string"
-	})
-}
-
-const goodData = {
-	id: 1337,
-	username: "mr.hands",
-	post: "Henlo there",
-	comments: [
-		{author: "Johnny", text: "henlo"},
-		{text: "hey hey"},
-		{author: "miles", text: "birb"},
-	]
-}
-
-console.log(Arstotzka.validate(goodData, schema, {allowExtraProperties: false})); // Prints an array of errors
-```
-
-### Import:
-Arstotzka is an ES6 module, so:
-```
-import * as Arstotzka from "arstotzka";
-```
-or, if you are okay with polluting namespace:
-```
-import { validate, OPTIONAL, ARRAY_OF, ANY_OF, DYNAMIC } from "arstotzka";
-```
-
-
-### Schema format:
-Schema is a value that can be either of
-- **string**: such schema will make validator check coresponding value's type with [typeof operator](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/typeof), with exception of "array" constraint -- validator will [treat this type](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/isArray) as special case;
-`"string"`, `"number"`, `"array"`
-
-- **function**: such schema will make validator call it, pass corresponding value to it, and log an error if returned value is falsy;
-`x => !isNaN(x)`, `x => x.length < 10`
-
-- **object**: object schema requires corresponding value to also be an object, and will recursively match it's properties against provided value;
-`{name: "string", age: x => x.length > 21}`
-
-- **array**, which elements are any of above. That will require a value it matched against to fullfill *every* requirement;
-`["string", x => x != x.trim()]`, `["number", x => x >= 0, x => x % 1 === 0]`
-
-- **Arstotzka.ARRAY_OF()**: the function accepts any of above and returns a special constraint appliable to an array of values;
-`Arstotzka.ARRAY_OF("number")`, `Arstotzka.ARRAY_OF({id: "number", text: "string"})`, `Arstotzka.ARRAY_OF(["number", x => x > 0])`, `Arstotzka.ARRAY_OF(Arstotzka.ARRAY_OF("number"))`
-
-- **Arstotzka.ANY_OF()**: the function accepts array or vararg of schemas and returns a special constraint, which will produce a specific error only if every provided schema is violated;
-`Arstotzka.ANY_OF(["number", ["string", x => !isNaN(parseInt(x))]])`
-
-- **Arstotzka.DYNAMIC()**: the function accepts a callback that should return a valid schema, allowing to define schema at runtime;
-`Arstotzka.DYNAMIC(x => dynSchema[x.type])`
-
-- **Arstotzka.OPTIONAL**: unlike others, this schema doesn't imply any requirements, but prevents validator from logging an error in case it's property is not present in target object;
-
-Applying a schema to a property that is an object can be done by combining **object** schema with anything via **array** schema;
-
-
-### Available options:
-- **allErrors** (default is `true`) : If false, will return errors as soon as encountered, interrupting validation
-- **allowExtraProperties** (default is `true`) : If false, adds specific error to a list for every property of target object not present in schema
-
-
-### Error format
-```
-{ // Example error item:
-	propertyName: 'age', // Name of a property that failed validation
-	id: 'typeMismatch', // String describing type of an error. Can be used to localize error message
-	message: 'Provided type is not allowed by schema', // Error message that coressponds to error id
-	expected: 'number', // Arbitrary-purpose fields
-	got: null
-}
-```
-
-All error ids and messages can be found at `Arstotzka.ERRORS`
-
-
-## License
-Shared under WTFPL license.
+# Arstotzka
+JS data validation tool featuring laconic schema format and a sexy name.
+
+## Usage
+
+See detailed usage example in **[usage.js](https://github.com/MilesVII/arstotzka/blob/master/usage.js)**
+
+```
+const schema = {
+	id: "number",
+	username: ["string", x => x.length < 10],
+	post: "string",
+	comments: Arstotzka.ARRAY_OF({
+		author: ["string", Arstotzka.OPTIONAL],
+		text: "string"
+	})
+}
+
+const goodData = {
+	id: 1337,
+	username: "mr.hands",
+	post: "Henlo there",
+	comments: [
+		{author: "Johnny", text: "henlo"},
+		{text: "hey hey"},
+		{author: "miles", text: "birb"},
+	]
+}
+
+console.log(Arstotzka.validate(goodData, schema, {allowExtraProperties: false})); // Prints an array of errors
+```
+
+### Import:
+Arstotzka is an ES6 module, so:
+```
+import * as Arstotzka from "arstotzka";
+```
+or, if you are okay with polluting namespace:
+```
+import { validate, OPTIONAL, ARRAY_OF, ANY_OF, DYNAMIC } from "arstotzka";
+```
+
+
+### Schema format:
+Schema is a value that can be either of
+- **string**: such schema will make validator check coresponding value's type with [typeof operator](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Operators/typeof), with exception of "array" constraint -- validator will [treat this type](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/isArray) as special case;
+`"string"`, `"number"`, `"array"`
+
+- **function**: such schema will make validator call it, pass corresponding value to it, and log an error if returned value is falsy;
+`x => !isNaN(x)`, `x => x.length < 10`
+
+- **object**: object schema requires corresponding value to also be an object, and will recursively match it's properties against provided value;
+`{name: "string", age: x => x.length > 21}`
+
+- **array**, which elements are any of above. That will require a value it matched against to fullfill *every* requirement;
+`["string", x => x != x.trim()]`, `["number", x => x >= 0, x => x % 1 === 0]`
+
+- **Arstotzka.ARRAY_OF()**: the function accepts any of above and returns a special constraint appliable to an array of values;
+`Arstotzka.ARRAY_OF("number")`, `Arstotzka.ARRAY_OF({id: "number", text: "string"})`, `Arstotzka.ARRAY_OF(["number", x => x > 0])`, `Arstotzka.ARRAY_OF(Arstotzka.ARRAY_OF("number"))`
+
+- **Arstotzka.ANY_OF()**: the function accepts array or vararg of schemas and returns a special constraint, which will produce a specific error only if every provided schema is violated;
+`Arstotzka.ANY_OF(["number", ["string", x => !isNaN(parseInt(x))]])`
+
+- **Arstotzka.DYNAMIC()**: the function accepts a callback that should return a valid schema, allowing to define schema at runtime;
+`Arstotzka.DYNAMIC(x => dynSchema[x.type])`
+
+- **Arstotzka.OPTIONAL**: unlike others, this schema doesn't imply any requirements, but prevents validator from logging an error in case it's property is not present in target object;
+
+Applying a schema to a property that is an object can be done by combining **object** schema with anything via **array** schema;
+
+
+### Available options:
+- **allErrors** (default is `true`) : If false, will return errors as soon as encountered, interrupting validation
+- **allowExtraProperties** (default is `true`) : If false, adds specific error to a list for every property of target object not present in schema
+
+
+### Error format
+```
+{ // Example error item:
+	propertyName: 'age', // Name of a property that failed the validation
+	id: 'typeMismatch', // String describing type of an error. Can be used to localize error message
+	message: 'Provided type is not allowed by schema', // Error message that coressponds to error id
+	expected: 'number', // Arbitrary-purpose fields
+	got: null
+}
+```
+
+All error ids and messages can be found at `Arstotzka.ERRORS`
+
+
+## License
+Shared under WTFPL license.

package/index.js

@@ -1,252 +0,0 @@
-export const ERRORS = {
-	noProperty: "Required property not present",
-	typeMismatch: "Provided type is not allowed by schema",
-	customFail: "Custom validation function failed",
-	extraProperty: "Provided object contains properties not present in schema",
-	exceptionOnCustom: "Exception thrown during constraint validation",
-	notArray: "Tried using ARRAY_OF constraint on non-array value",
-	targetIsNull: "Passed object or array item is null",
-	functionExpected: "Expected function as dynamic constraint",
-	objectExpected: "Expected object",
-	anyFailed: "None of ANY_OF constraints are met",
-	parsingError: "Schema parsing error"
-};
-
-export const OPTIONAL = Symbol();
-export function ARRAY_OF(constraints){
-	if (arguments.length > 1){
-		console.error("Got more than one argument to ARRAY_OF. Did you mean to pass an array of constraints?");
-	}
-	return constraint(FC_ARRAY, null, constraints);
-}
-export function ANY_OF(constraints){
-	if (arguments.length > 1){
-		return constraint(FC_ANY, null, Array.from(arguments));
-	} else {
-		if (Array.isArray(constraints)){
-			return constraint(FC_ANY, null, constraints);
-		} else {
-			return constraint(FC_ANY, null, [constraints]);
-		}
-	}
-	
-}
-export function DYNAMIC(constraints){
-	return constraint(FC_DYNAMIC, null, constraints);
-}
-
-const TYPE = t => x => typeof x == t;
-const IS_ARRAY = x => Array.isArray(x);
-
-const CONSTRAINT = Symbol();
-const FC_ARRAY = Symbol(); // https://www.youtube.com/watch?v=qSqXGeJJBaI
-const FC_ANY = Symbol();
-const FC_DYNAMIC = Symbol();
-const FC_NESTED = Symbol();
-
-const VALIDATION_DEFAULTS = {
-	allErrors: true,
-	allowExtraProperties: true
-};
-
-function safe(cb){
-	try {
-		return [true, cb()];
-	} catch (e) {
-		return [false, e];
-	}
-}
-
-function error(propertyName, id, expected, got){
-	return {
-		propertyName,
-		id,
-		message: ERRORS[id],
-		expected,
-		got
-	};
-}
-
-function constraint(f, failMessageId, expected){
-	return {
-		type: CONSTRAINT,
-		validation: f,
-		failMessageId: failMessageId,
-		expected: expected
-	};
-}
-
-function parseSchema(schemaProperty, errors){
-	function unify(raw){
-		if (raw !== null && raw !== undefined){
-			if (raw.type == CONSTRAINT) return raw;
-
-			if (Array.isArray(raw)){
-				return raw.map(c => unify(c)).filter(raw => raw !== null);
-			} else {
-				switch (typeof raw){
-					case ("string"): {
-						if (raw == "array")
-							return constraint(IS_ARRAY, "typeMismatch", raw);
-						else
-							return constraint(TYPE(raw), "typeMismatch", raw);
-					}
-					case ("function"): {
-						return constraint(raw, "customFail", undefined);
-					}
-					case ("object"): {
-						return constraint(FC_NESTED, null, raw);
-					}
-					case ("symbol"): {
-						return raw;
-					}
-				}
-			}
-		}
-		errors.push(error("<schema>", "parsingError", undefined, raw));
-		return null;
-	}
-	
-	let intermediate = unify(schemaProperty) || [];
-	if (!Array.isArray(intermediate))
-		intermediate = [intermediate];
-	return [
-		intermediate.filter(i => i.type == CONSTRAINT),
-		intermediate.filter(i => i.type != CONSTRAINT && typeof i == "symbol")
-	];
-}
-
-function checkValue(propertyName, value, constraints, options){
-	const errors = [];
-	for (let constraint of constraints){
-		if (typeof constraint.validation == "function"){
-			const [success, validationResult] = safe(() => constraint.validation(value));
-			if (!success){
-				errors.push(error(propertyName, "exceptionOnCustom", undefined, validationResult.toString()));
-			} else if (!validationResult){
-				errors.push(error(propertyName, constraint.failMessageId, constraint.expected, value));
-			}
-			continue;
-		}
-
-		switch(constraint.validation){
-			case FC_NESTED: {
-				if (typeof value != "object" || value === null || value == undefined){
-					errors.push(error(propertyName, "objectExpected", "object", value));
-					break;
-				}
-
-				const targetKeys = Object.keys(value);
-				const schemaKeys = Object.keys(constraint.expected);
-
-				for (let key of schemaKeys){
-					const [subConstraints, flags] = parseSchema(constraint.expected[key], errors);
-
-					if (!targetKeys.includes(key)){
-						if (!flags.includes(OPTIONAL)){
-							errors.push(error(`${propertyName}.${key}`, "noProperty"));
-						}
-						continue;
-					}
-
-					const subErrors = checkValue(`${propertyName}.${key}`, value[key], subConstraints, options);
-					errors.push(...subErrors);
-				}
-
-				if (!options.allowExtraProperties){
-					const extraProperties = targetKeys.filter(k => !schemaKeys.includes(k));
-					if (extraProperties.length > 0){
-						errors.push(...extraProperties.map(k => error(`${propertyName}.${k}`, "extraProperty")))
-					}
-				}
-
-				break;
-			}
-			case FC_ARRAY: {
-				if (!Array.isArray(value)){
-					errors.push(error(propertyName, "notArray", "array", typeof value))
-					break;
-				}
-
-				const [subConstraints, flags] = parseSchema(constraint.expected, errors);
-
-				let indexCounter = 0;
-				for (let item of value){
-					const subErrors = checkValue(`${propertyName}[${indexCounter}]`, item, subConstraints, options);
-					errors.push(...subErrors);
-					++indexCounter;
-				}
-
-				break;
-			}
-			case FC_ANY: {
-				const subSchemas = constraint.expected;
-
-				const subErrors = [];
-				let passed = false;
-				let counter = 0;
-
-				for (let subSchema of subSchemas){
-					const subParseErrors = [];
-					const [subConstraints, flags] = parseSchema(subSchema, subParseErrors);
-					const caseErrors = checkValue(`${propertyName}.<any#${counter}>`, value, subConstraints, options);
-					caseErrors.push(...subParseErrors);
-					++counter;
-					subErrors.push(caseErrors);
-					if (caseErrors.length == 0) {
-						passed = true;
-						break;
-					}
-				}
-
-				if (!passed) errors.push(error(propertyName, "anyFailed", undefined, subErrors));
-
-				break;
-			}
-			case FC_DYNAMIC: {
-				const constraintCallback = constraint.expected;
-
-				if (typeof constraintCallback != "function"){
-					errors.push(error(propertyName, "functionExpected", "function", typeof constraintCallback))
-					break;
-				}
-
-				const [subConstraints, flags] = parseSchema(constraintCallback(value), errors)
-				const subErrors = checkValue(propertyName, value, subConstraints, options);
-				errors.push(...subErrors);
-
-				break;
-			}
-		}
-
-		if (!options.allErrors && errors.length > 0) break;
-	}
-	return errors;
-}
-
-/**
-* @param options Validation options:
-*
-* - allErrors (true) : return all errors instead of interrupting after first fail
-* - allowExtraProperties (true) : If false, adds specific error to a list for every property of target object not present in schema
-* @return Array of errors
- */
-export function validate(target, schema = {}, options = {}){
-	options = Object.assign(VALIDATION_DEFAULTS, options)
-
-	const parseErrors = [];
-	const [constraints, flags] = parseSchema(schema, parseErrors);
-
-	if (flags.length > 0) {
-		console.error("Flags can't be used at schema's root")
-	}
-
-	const errors = checkValue("", target, constraints, options);
-	errors.push(...parseErrors)
-	errors.forEach(e => {
-		if (e.propertyName?.startsWith("."))
-			e.propertyName = e.propertyName.slice(1);
-	});
-
-	return errors;
-}

package/tests.js

@@ -1,115 +0,0 @@
-import * as Arstotzka from "./index.js";
-
-const schema = {
-	title: "string",
-	array: [Arstotzka.ARRAY_OF("number"), x => x.length > 1],
-	arrayOfObjs: Arstotzka.ARRAY_OF({
-		id: "number",
-		name: "string"
-	}),
-	notArray: Arstotzka.ARRAY_OF("string"),
-	arrayOof: Arstotzka.ARRAY_OF(Arstotzka.ARRAY_OF("number")),
-	positiveArray: Arstotzka.ARRAY_OF(x => x > 0),
-	nested: {
-		parseableNumber: [x => !isNaN(parseInt(x, 10))],
-		anotherNest: [{
-			phrase: "string",
-			wordCount: "number"
-		}, x => x.phrase.split(" ").length == x.wordCount],
-		missing: []
-	},
-	invalidValidator: [x => null.invalid],
-	optional: ["number", Arstotzka.OPTIONAL]
-};
-
-const testSubject0 = {
-	title: "1337",
-	array: [1, 2, 3],
-	arrayOfObjs: [
-		{id: 0, name: "_"},
-		{id: 1, name: "second"},
-		{id: 2, name: "3"},
-	],
-	notArray: [],
-	arrayOof: [
-		[1, 2, 3],
-		[4, 5, 6],
-		[1, 2]
-	],
-	positiveArray: [Infinity, 1, 4, 5],
-	nested: {
-		parseableNumber: "777",
-		anotherNest: {
-			phrase:"henlo",
-			wordCount: 1
-		},
-		missing: 0
-	},
-	invalidValidator: "uhm"
-};
-
-const testSubject1 = {
-	title: 1337,
-	array: [1, null, 3],
-	arrayOfObjs: [
-		{id: 0, name: "_"},
-		{id: 0,},
-		{id: "0", name: "_"}
-	],
-	notArray: "[1, 2, 3]",
-	arrayOof: [
-		[1, 2, 3],
-		[4, "5", 6],
-		null,
-		[1, 2]
-	],
-	positiveArray: [0, 1, 4, -5],
-	nested: {
-		parseableNumber: "seven",
-		extraProperty: "hey",
-		anotherNest: {
-			phrase:"henlo",
-			wordCount: 2
-		}
-	},
-	invalidValidator: "uhm"
-};
-
-const schema1 = Arstotzka.DYNAMIC(x => dynSchema[x.type]);
-const dynSchema = [
-	{
-		type: "number",
-		zero: "string"
-	},
-	{
-		type: "number",
-		one: ["number", x => x === 1]
-	}
-];
-const testSubject2 = {
-	type: 0,
-	zero: "0"
-};
-
-const parseableIntSchema = Arstotzka.ANY_OF(
-	"number",
-	["string", x => !isNaN(parseInt(x))]
-);
-
-// [target, schema, error count]
-const tests = [
-	[null, "array", 1],            // null values and non-object constraints
-	[testSubject0, schema, 1],     // Only an error caused by invalid validator
-	[testSubject1, schema, 13],    // Full of errors
-	["miles", "string", 0],        // Any value can be validated, not only objects
-	[7, "string", 1],              // Same but failed
-	[testSubject2, schema1, 0],    // Dynamic schema
-	["7", parseableIntSchema, 0],  // Schema with ANY_OF
-	[testSubject0, null, 1]        // Invalid schema
-];
-
-const testResults = tests
-	.map(t => Arstotzka.validate(t[0], t[1]).length == t[2])
-	.map((testPassed, i) => `Test ${i}: ${testPassed ? "PASSED" : "FAILED"}`)
-	.join("\n");
-console.log(testResults);

package/usage.js

@@ -1,80 +0,0 @@
-import * as Arstotzka from "./index.js";
-
-// This value will be validated against schema described below
-const value = {
-	title: "1337",
-	array: [1, 2, 3],
-	arrayOfObjs: [
-		{id: 0, name: "_"},
-		{id: 1, name: "second"},
-		{id: 2, name: "3"},
-	],
-	matrix: [
-		[1, 2, 3],
-		[4, 5, 6],
-		[1, 2, 0]
-	],
-	positiveArray: [Infinity, 1, 4, 5],
-	nested: {
-		parseableNumber: "777",
-		anotherNest: {
-			phrase:"henlo there",
-			wordCount: 2
-		},
-		justBeThere: 0
-	},
-	booleanOrNumber: 0,
-	dynamic: 69
-};
-
-const schema = { // Require value to be an object
-	// Require typeof value.title to be "string"
-	title: "string",
-	
-	//Require value.array to be an array of numbers AND to be longer than 1 element
-	array: [Arstotzka.ARRAY_OF("number"), x => x.length > 1],
-
-	// Require each element of value.arrayOfObjs to be valid according to provided schema
-	arrayOfObjs: Arstotzka.ARRAY_OF({
-		id: "number",
-		name: "string"
-	}),
-
-	// Require each element of value.matrix to be an array of numbers
-	matrix: Arstotzka.ARRAY_OF(Arstotzka.ARRAY_OF("number")),
-
-	// Require each element of value.positiveArray be larger than zero, regardless of type
-	positiveArray: Arstotzka.ARRAY_OF(x => x > 0),
-
-	// Require value.nested to be an object
-	nested: {
-		// Require value.nested.parseableNumber to make this function return true
-		parseableNumber: x => !isNaN(parseInt(x, 10)),
-		// Require value.nested.anotherNest to be an object AND make provided function return true
-		anotherNest: [{
-			phrase: "string",
-			wordCount: "number"
-		}, x => x.phrase.split(" ").length == x.wordCount],
-		// Require value.nested.justBeThere to be present
-		justBeThere: []
-	},
-
-	// Require value.optional to be of type "number", but only if present
-	optional: ["number", Arstotzka.OPTIONAL],
-
-	// Require value.booleanOrNumber to be either boolean, or 0 or 1
-	booleanOrNumber: Arstotzka.ANY_OF("boolean", x => x === 0 || x === 1),
-
-	// Require value.dynamic to be valid according to schema returned from provided callback (always "number" in that case)
-	dynamic: Arstotzka.DYNAMIC(x => "number")
-};
-
-// You can call validate() without providing any options. Below are all options with default values
-const optionalValidationOptions = {
-	allowExtraProperties: true,
-	allErrors: true
-};
-
-const errors = Arstotzka.validate(value, schema, optionalValidationOptions);
-
-console.log(errors); // Empty, meaning validation is passed