pema 0.1.0 → 0.2.1

package/lib/public/constructor.d.ts

@@ -1,2 +1,3 @@
 export { default } from "#constructor";
+export { default as ConstructorType } from "#ConstructorType";
 //# sourceMappingURL=constructor.d.ts.map

package/lib/public/constructor.js

@@ -1,2 +1,3 @@
 export { default } from "#constructor";
+export { default as ConstructorType } from "#ConstructorType";
 //# sourceMappingURL=constructor.js.map

package/lib/public/f32.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#f32";
+//# sourceMappingURL=f32.d.ts.map

package/lib/public/f32.js

@@ -0,0 +1,2 @@
+export { default } from "#f32";
+//# sourceMappingURL=f32.js.map

package/lib/public/f64.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#f64";
+//# sourceMappingURL=f64.d.ts.map

package/lib/public/f64.js

@@ -0,0 +1,2 @@
+export { default } from "#f64";
+//# sourceMappingURL=f64.js.map

package/lib/public/i128.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#i128";
+//# sourceMappingURL=i128.d.ts.map

package/lib/public/i128.js

@@ -0,0 +1,2 @@
+export { default } from "#i128";
+//# sourceMappingURL=i128.js.map

package/lib/public/i16.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#i16";
+//# sourceMappingURL=i16.d.ts.map

package/lib/public/i16.js

@@ -0,0 +1,2 @@
+export { default } from "#i16";
+//# sourceMappingURL=i16.js.map

package/lib/public/i32.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#i32";
+//# sourceMappingURL=i32.d.ts.map

package/lib/public/i32.js

@@ -0,0 +1,2 @@
+export { default } from "#i32";
+//# sourceMappingURL=i32.js.map

package/lib/public/i64.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#i64";
+//# sourceMappingURL=i64.d.ts.map

package/lib/public/i64.js

@@ -0,0 +1,2 @@
+export { default } from "#i64";
+//# sourceMappingURL=i64.js.map

package/lib/public/i8.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#i8";
+//# sourceMappingURL=i8.d.ts.map

package/lib/public/i8.js

@@ -0,0 +1,2 @@
+export { default } from "#i8";
+//# sourceMappingURL=i8.js.map

package/lib/public/index.d.ts

@@ -1,2 +1,8 @@
+export { default as DefaultType } from "#DefaultType";
 export { default } from "#index";
+export { default as LiteralType } from "#LiteralType";
+export { default as ObjectType } from "#ObjectType";
+export { default as OptionalType } from "#OptionalType";
+export { default as PureType } from "#PureType";
+export { default as TupleType } from "#TupleType";
 //# sourceMappingURL=index.d.ts.map

package/lib/public/index.js

@@ -1,2 +1,8 @@
+export { default as DefaultType } from "#DefaultType";
 export { default } from "#index";
+export { default as LiteralType } from "#LiteralType";
+export { default as ObjectType } from "#ObjectType";
+export { default as OptionalType } from "#OptionalType";
+export { default as PureType } from "#PureType";
+export { default as TupleType } from "#TupleType";
 //# sourceMappingURL=index.js.map

package/lib/public/number.d.ts

@@ -1,2 +1,3 @@
 export { default } from "#number";
+export { default as NumberType } from "#NumberType";
 //# sourceMappingURL=number.d.ts.map

package/lib/public/number.js

@@ -1,2 +1,3 @@
 export { default } from "#number";
+export { default as NumberType } from "#NumberType";
 //# sourceMappingURL=number.js.map

package/lib/public/primary.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#primary";
+//# sourceMappingURL=primary.d.ts.map

package/lib/public/primary.js

@@ -0,0 +1,2 @@
+export { default } from "#primary";
+//# sourceMappingURL=primary.js.map

package/lib/public/pure.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#pure";
+//# sourceMappingURL=pure.d.ts.map

package/lib/public/pure.js

@@ -0,0 +1,2 @@
+export { default } from "#pure";
+//# sourceMappingURL=pure.js.map

package/lib/public/record.d.ts

@@ -1,2 +1,3 @@
 export { default } from "#record";
+export { default as RecordType } from "#RecordType";
 //# sourceMappingURL=record.d.ts.map

package/lib/public/record.js

@@ -1,2 +1,3 @@
 export { default } from "#record";
+export { default as RecordType } from "#RecordType";
 //# sourceMappingURL=record.js.map

package/lib/public/string.d.ts

@@ -1,2 +1,3 @@
 export { default } from "#string";
+export { default as StringType } from "#StringType";
 //# sourceMappingURL=string.d.ts.map

package/lib/public/string.js

@@ -1,2 +1,3 @@
 export { default } from "#string";
+export { default as StringType } from "#StringType";
 //# sourceMappingURL=string.js.map

package/lib/public/u128.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#u128";
+//# sourceMappingURL=u128.d.ts.map

package/lib/public/u128.js

@@ -0,0 +1,2 @@
+export { default } from "#u128";
+//# sourceMappingURL=u128.js.map

package/lib/public/u16.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#u16";
+//# sourceMappingURL=u16.d.ts.map

package/lib/public/u16.js

@@ -0,0 +1,2 @@
+export { default } from "#u16";
+//# sourceMappingURL=u16.js.map

package/lib/public/u32.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#u32";
+//# sourceMappingURL=u32.d.ts.map

package/lib/public/u32.js

@@ -0,0 +1,2 @@
+export { default } from "#u32";
+//# sourceMappingURL=u32.js.map

package/lib/public/u64.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#u64";
+//# sourceMappingURL=u64.d.ts.map

package/lib/public/u64.js

@@ -0,0 +1,2 @@
+export { default } from "#u64";
+//# sourceMappingURL=u64.js.map

package/lib/public/u8.d.ts

@@ -0,0 +1,2 @@
+export { default } from "#u8";
+//# sourceMappingURL=u8.d.ts.map

package/lib/public/u8.js

@@ -0,0 +1,2 @@
+export { default } from "#u8";
+//# sourceMappingURL=u8.js.map

package/lib/public/uint.d.ts

@@ -0,0 +1,3 @@
+export { default } from "#uint";
+export { default as UintType } from "#UintType";
+//# sourceMappingURL=uint.d.ts.map

package/lib/public/uint.js

@@ -0,0 +1,3 @@
+export { default } from "#uint";
+export { default as UintType } from "#UintType";
+//# sourceMappingURL=uint.js.map

package/lib/public/union.d.ts

@@ -1,2 +1,3 @@
 export { default } from "#union";
+export { default as UnionType } from "#UnionType";
 //# sourceMappingURL=union.d.ts.map

package/lib/public/union.js

@@ -1,2 +1,3 @@
 export { default } from "#union";
+export { default as UnionType } from "#UnionType";
 //# sourceMappingURL=union.js.map

package/lib/public/unknown.d.ts

@@ -0,0 +1,3 @@
+export type { default as UnknownType } from "#UnknownType";
+export { default } from "#unknown";
+//# sourceMappingURL=unknown.d.ts.map

package/lib/public/unknown.js

@@ -0,0 +1,2 @@
+export { default } from "#unknown";
+//# sourceMappingURL=unknown.js.map

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "pema",
-  "version": "0.1.0",
-  "description": "Runtime validation for Primate",
+  "version": "0.2.1",
+  "description": "Primate schema validation",
   "homepage": "https://primate.run/docs/validation",
   "bugs": "https://github.com/primate-run/primate/issues",
   "license": "MIT",
@@ -15,15 +15,11 @@
     "url": "https://github.com/primate-run/primate",
     "directory": "packages/pema"
   },
-  "scripts": {
-    "build": "npm run clean && tsc",
-    "clean": "rm -rf ./lib",
-    "prepublishOnly": "npm run build",
-    "test": "npm run build && npx proby"
-  },
   "dependencies": {
-    "@rcompat/invariant": "^0.8.2",
-    "@rcompat/record": "^0.7.1"
+    "@rcompat/assert": "^0.3.1",
+    "@rcompat/cli": "^0.11.3",
+    "@rcompat/is": "^0.1.4",
+    "@rcompat/record": "^0.9.1"
   },
   "type": "module",
   "imports": {
@@ -41,5 +37,12 @@
       "apekit": "./src/public/*.ts",
       "default": "./lib/public/*.js"
     }
+  },
+  "scripts": {
+    "build": "npm run clean && tsc",
+    "clean": "rm -rf ./lib",
+    "lint": "eslint .",
+    "lint:fix": "eslint . --fix",
+    "test": "npm run build && npx proby"
   }
-}
+}

package/lib/private/AbstractConstructor.d.ts

@@ -1,3 +0,0 @@
-type AbstractConstructor<T = object> = abstract new (...args: never) => T;
-export type { AbstractConstructor as default };
-//# sourceMappingURL=AbstractConstructor.d.ts.map

package/lib/private/AbstractConstructor.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=AbstractConstructor.js.map

package/lib/private/MaybeInt.d.ts

@@ -1,3 +0,0 @@
-type MaybeInt = number | bigint;
-export type { MaybeInt as default };
-//# sourceMappingURL=MaybeInt.d.ts.map

package/lib/private/MaybeInt.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=MaybeInt.js.map

package/lib/private/SchemaType.d.ts

@@ -1,13 +0,0 @@
-import GenericType from "#GenericType";
-import type Infer from "#Infer";
-import type InferSchema from "#InferSchema";
-import OptionalType from "#OptionalType";
-import type Schema from "#Schema";
-export default class SchemaType<S extends Schema> extends GenericType<S, InferSchema<S>, "SchemaType"> {
-    #private;
-    constructor(s: S);
-    optional(): OptionalType<this>;
-    get name(): string;
-    validate(x: unknown, key?: string): Infer<this>;
-}
-//# sourceMappingURL=SchemaType.d.ts.map

package/lib/private/SchemaType.js

@@ -1,63 +0,0 @@
-import GenericType from "#GenericType";
-import OptionalType from "#OptionalType";
-import Validated from "#Validated";
-import schema from "#index";
-export default class SchemaType extends GenericType {
-    #schema;
-    constructor(s) {
-        super();
-        this.#schema = s;
-    }
-    optional() {
-        return new OptionalType(this);
-    }
-    get name() {
-        return "schema";
-    }
-    validate(x, key) {
-        const s = this.#schema;
-        if (s instanceof Validated) {
-            return s.validate(x, key);
-        }
-        if (Array.isArray(s)) {
-            if (s.length === 1) {
-                if (!Array.isArray(x))
-                    throw new Error("Expected array");
-                return x.map((item) => schema(s[0]).validate(item, key));
-            }
-            else {
-                if (!Array.isArray(x))
-                    throw new Error("Expected tuple");
-                if (x.length !== s.length)
-                    throw new Error("Tuple length mismatch");
-                return s.map((sch, i) => schema(sch).validate(x[i], key));
-            }
-        }
-        if (typeof s === "object" && s !== null) {
-            if (typeof x !== "object" || x === null) {
-                throw new Error("Expected object");
-            }
-            const result = {};
-            for (const k in s) {
-                const r = schema(s[k]).validate(x[k], `.${k}`);
-                // exclude undefined (optionals)
-                if (r !== undefined) {
-                    result[k] = r;
-                }
-            }
-            return result;
-        }
-        if (s === null) {
-            if (x !== null)
-                throw new Error("Expected null");
-            return null;
-        }
-        if (s === undefined) {
-            if (x !== undefined)
-                throw new Error("Expected undefined");
-            return undefined;
-        }
-        throw new Error("Invalid schema structure");
-    }
-}
-//# sourceMappingURL=SchemaType.js.map

package/lib/private/Validated.d.ts

@@ -1,8 +0,0 @@
-import ValidatedKey from "#ValidatedKey";
-export default abstract class Validated<StaticType> {
-    get [ValidatedKey](): "ValidatedKey";
-    get infer(): StaticType;
-    abstract get name(): string;
-    abstract validate(x: unknown, key?: string): StaticType;
-}
-//# sourceMappingURL=Validated.d.ts.map

package/lib/private/Validated.js

@@ -1,10 +0,0 @@
-import ValidatedKey from "#ValidatedKey";
-export default class Validated {
-    get [ValidatedKey]() {
-        return "ValidatedKey";
-    }
-    get infer() {
-        return undefined;
-    }
-}
-//# sourceMappingURL=Validated.js.map

package/lib/private/ValidatedKey.d.ts

@@ -1,4 +0,0 @@
-declare const ValidatedKey: unique symbol;
-type ValidatedKey = typeof ValidatedKey;
-export { ValidatedKey as default };
-//# sourceMappingURL=ValidatedKey.d.ts.map

package/lib/private/ValidatedKey.js

@@ -1,3 +0,0 @@
-const ValidatedKey = Symbol("ValidatedKey");
-export { ValidatedKey as default };
-//# sourceMappingURL=ValidatedKey.js.map

package/lib/private/is-int.d.ts

@@ -1,3 +0,0 @@
-declare const _default: (n: unknown) => n is number | bigint;
-export default _default;
-//# sourceMappingURL=is-int.d.ts.map

package/lib/private/is-int.js

@@ -1,5 +0,0 @@
-export default (n) => {
-    const type = typeof n;
-    return type === "number" && Number.isInteger(n) || type === "bigint";
-};
-//# sourceMappingURL=is-int.js.map

package/lib/private/is_validated_type.d.ts

@@ -1,4 +0,0 @@
-import type Validated from "#Validated";
-declare const _default: (x: unknown) => x is Validated<unknown>;
-export default _default;
-//# sourceMappingURL=is_validated_type.d.ts.map

package/lib/private/is_validated_type.js

@@ -1,5 +0,0 @@
-import ValidatedKey from "#ValidatedKey";
-export default (x) => {
-    return !!x && typeof x === "object" && ValidatedKey in x;
-};
-//# sourceMappingURL=is_validated_type.js.map