runcheck 0.1.0 → 0.4.0

package/README.md

@@ -1,3 +1,164 @@
 # Runcheck
 
-Runtime type checks for typescript
+A lib for js/typescript runtime type checks with autofix support. Runcheck has the goal of being very lightweight. Because of that, it has only around [1.7kb Gzipped](https://bundlephobia.com/package/runcheck), has no dependencies and is tree-shakeable!
+
+Obs: Runcheck is in Beta and it's api can still change
+
+# Installation
+
+```bash
+pnpm add runcheck
+```
+
+# Basic types:
+
+| runcheck type                   | ts type equivalent                                |
+| ------------------------------- | ------------------------------------------------- |
+| `rc_string`                     | `string`                                          |
+| `rc_number`                     | `number`                                          |
+| `rc_boolean`                    | `boolean`                                         |
+| `rc_any`                        | `any`                                             |
+| `rc_null`                       | `null`                                            |
+| `rc_undefined`                  | `undefined`                                       |
+| `rc_date`                       | `Date`                                            |
+| `rc_intanceof(instance: T)`     | Classes typecheck in general                      |
+| `rc_literals(...literals: T[])` | Type literal in general like `hello`, `true`, `1` |
+| `rc_union(...types: T[])`       | Union types in general like `string \| 1`         |
+| `rc_array<T>(type: T)`          | `T[]`                                             |
+| `rc_tuple<T>(...types: T[])`    | `[T, T]`                                          |
+
+# Object types:
+
+## `rc_object`
+
+```ts
+const shape = rc_object({
+  name: rc_string,
+  age: rc_number,
+  isCool: rc_boolean,
+})
+```
+
+The `rc_object` will allow extra properties but, any extra propertie will be striped in parsing. To allow extra in parsing properties, use `rc_extends_obj`.
+
+## `rc_strict_obj`
+
+The same as `rc_object` but, any extra propertie will be throw an error in parsing.
+
+## `rc_obj_intersection`
+
+Allow to merge two `rc_object` types. Example:
+
+```ts
+const shape = rc_obj_intersection(
+  rc_object({
+    name: rc_string,
+    age: rc_number,
+    isCool: rc_boolean,
+  }),
+  rc_object({
+    address: rc_string,
+    phone: rc_string,
+  }),
+)
+```
+
+# Parsing
+
+```ts
+import { rc_parse } from 'runcheck'
+
+const input = JSON.parse(jsonInput)
+
+const parseResult = rc_parse(input, rc_array(rc_string))
+
+if (parseResult.error) {
+  throw new Error(parseResult.errors.join('\n'))
+  // Errors are a array of strings
+}
+
+const result = parseResult.data
+// Do something with result
+```
+
+You can also use `rc_parser` to create a reusable parser.
+
+```ts
+import { rc_parser } from 'runcheck'
+
+const parser = rc_parser(rc_array(rc_string))
+
+const parseResult = parser(jsonInput)
+const parseResult2 = parser(jsonInput2)
+```
+
+# Type assertion
+
+Use `rc_is_valid` and `rc_validator` to do a simple type assertion.
+
+```ts
+import { rc_is_valid } from 'runcheck'
+
+const input = JSON.parse(jsonInput)
+
+if (rc_is_valid(input, rc_array(rc_string))) {
+  // input will be inferred by ts as `string[]`
+}
+```
+
+# Autofixing and fallback values in parsing
+
+Values can be autofixed and fallback values can be provided for parsing. The checks will pass but the result will return warnings messages.
+
+```ts
+type SuccessResult = {
+  error: false
+  data: T
+  warnings: string[] | false
+}
+```
+
+## Fallback
+
+Use the method `rc_[type].withFallback(fallback)` to provide a fallback value if the input is not valid.
+
+```ts
+const input = 'hello'
+
+const result = rc_parse(input, rc_string.withFallback('world'))
+```
+
+## AutoFix
+
+You can also use `rc_[type].autoFix()` to automatically fix the input if it is not valid.
+
+```ts
+const input = 1
+
+const result = rc_parse(
+  input,
+  rc_string.autoFix((input) => input.toString()),
+)
+```
+
+There are also some predefined autofixed types that you can import:
+
+```ts
+import { rc_string_autofix, rc_boolean_autofix } from 'runcheck/autofixable'
+
+// use like any other type
+```
+
+# Performing custom checks
+
+You can also use `rc_[type].where(customCheckFunction)` to perform custom checks.
+
+```ts
+const input = 1
+
+const positiveNumberType = rc_number.where((input) => input > 0)
+```
+
+# Optional and nullable types
+
+Use `rc_[type].optional()` to make a type optional, and `rc_[type].orNullish()` to make a type nullable.

package/dist/autofixable.cjs

@@ -0,0 +1 @@
+"use strict";var c=Object.defineProperty;var l=Object.getOwnPropertyDescriptor;var T=Object.getOwnPropertyNames;var d=Object.prototype.hasOwnProperty;var p=(e,r)=>{for(var s in r)c(e,s,{get:r[s],enumerable:!0})},R=(e,r,s,i)=>{if(r&&typeof r=="object"||typeof r=="function")for(let n of T(r))!d.call(e,n)&&n!==s&&c(e,n,{get:()=>r[n],enumerable:!(i=l(r,n))||i.enumerable});return e};var _=e=>R(c({},"__esModule",{value:!0}),e);var k={};p(k,{rc_boolean_autofix:()=>O,rc_number_autofix:()=>$,rc_string_autofix:()=>A});module.exports=_(k);function x(e){return{...this,s:e}}function o(e,r,s,i){if(e.i&&r===void 0)return[!0,r];if(e.c&&r==null)return[!0,r];let n=i();if(n&&(n===!0||"data"in n)){let t=n===!0?r:n.data;return e.t&&!e.t(t)?[!1,[e.n(t)]]:[!0,t]}if(e.s!==void 0)return s.warnings.push(`Fallback used, ${e.n(r)}`),[!0,e.s];if(e.u&&e.o){let t=e.o(r);if(t)return e.t&&!e.t(t.fixed)?[!1,[e.n(t.fixed)]]:(s.warnings.push(`Autofixed from, ${e.n(r)}`),[!0,t.fixed])}return[!1,n&&"errors"in n?n.errors:[e.n(r)]]}function b(e){return{...this,u:!0,o:e}}function h(e){return{...this,t:e,e:`${this.e}_with_predicate`}}function g(){return{...this,i:!0}}function j(e){return`Type '${m(e)}' is not assignable to '${this.e}'`}function w(){return{...this,c:!0,e:`${this.e}_or_nullish`}}var a={withFallback:x,where:h,optional:g,n:j,nullable:w,withAutofix:b},S={...a,r(e,r){return o(this,e,r,()=>e===void 0)},e:"undefined"},P={...a,r(e,r){return o(this,e,r,()=>e===null)},e:"null"},I={...a,r(e,r){return o(this,e,r,()=>!0)},e:"any"},u={...a,r(e,r){return o(this,e,r,()=>typeof e=="boolean")},e:"boolean"},y={...a,r(e,r){return o(this,e,r,()=>typeof e=="string")},e:"string"},f={...a,r(e,r){return o(this,e,r,()=>typeof e=="number"&&!Number.isNaN(e))},e:"number"},v={...a,r(e,r){return o(this,e,r,()=>typeof e=="object"&&e instanceof Date&&!Number.isNaN(e.getTime()))},e:"date"};function m(e){if(typeof e=="object"){if(Array.isArray(e))return"array";if(!e)return"null"}return typeof e}var O=u.withAutofix(e=>e===0||e===1?{fixed:!!e}:e==="true"||e==="false"?{fixed:e==="true"}:!1),A=y.withAutofix(e=>typeof e=="number"&&!Number.isNaN(e)?{fixed:e.toString()}:!1),$=f.withAutofix(e=>{if(typeof e=="string"){let r=Number(e);if(!Number.isNaN(r))return{fixed:r}}return!1});0&&(module.exports={rc_boolean_autofix,rc_number_autofix,rc_string_autofix});

package/dist/autofixable.d.ts

@@ -0,0 +1,7 @@
+import { RcType } from './runcheck.js';
+
+declare const rc_boolean_autofix: RcType<boolean>;
+declare const rc_string_autofix: RcType<string>;
+declare const rc_number_autofix: RcType<number>;
+
+export { rc_boolean_autofix, rc_number_autofix, rc_string_autofix };

package/dist/autofixable.js

@@ -0,0 +1 @@
+import{d as t,e as f,f as o}from"./chunk-TZCAUEQX.js";var s=t.withAutofix(r=>r===0||r===1?{fixed:!!r}:r==="true"||r==="false"?{fixed:r==="true"}:!1),u=f.withAutofix(r=>typeof r=="number"&&!Number.isNaN(r)?{fixed:r.toString()}:!1),x=o.withAutofix(r=>{if(typeof r=="string"){let e=Number(r);if(!Number.isNaN(e))return{fixed:e}}return!1});export{s as rc_boolean_autofix,x as rc_number_autofix,u as rc_string_autofix};

package/dist/chunk-TZCAUEQX.js

@@ -0,0 +1 @@
+function x(e){return{...this,s:e}}function a(e,r,n,s){if(e.i&&r===void 0)return[!0,r];if(e.c&&r==null)return[!0,r];let t=s();if(t&&(t===!0||"data"in t)){let o=t===!0?r:t.data;return e.t&&!e.t(o)?[!1,[e.n(o)]]:[!0,o]}if(e.s!==void 0)return n.warnings.push(`Fallback used, ${e.n(r)}`),[!0,e.s];if(e.u&&e.o){let o=e.o(r);if(o)return e.t&&!e.t(o.fixed)?[!1,[e.n(o.fixed)]]:(n.warnings.push(`Autofixed from, ${e.n(r)}`),[!0,o.fixed])}return[!1,t&&"errors"in t?t.errors:[e.n(r)]]}function g(e){return{...this,u:!0,o:e}}function j(e){return{...this,t:e,e:`${this.e}_with_predicate`}}function w(){return{...this,i:!0}}function O(e){return`Type '${p(e)}' is not assignable to '${this.e}'`}function m(){return{...this,c:!0,e:`${this.e}_or_nullish`}}var i={withFallback:x,where:j,optional:w,n:O,nullable:m,withAutofix:g},P={...i,r(e,r){return a(this,e,r,()=>e===void 0)},e:"undefined"},S={...i,r(e,r){return a(this,e,r,()=>e===null)},e:"null"},I={...i,r(e,r){return a(this,e,r,()=>!0)},e:"any"},N={...i,r(e,r){return a(this,e,r,()=>typeof e=="boolean")},e:"boolean"},v={...i,r(e,r){return a(this,e,r,()=>typeof e=="string")},e:"string"},E={...i,r(e,r){return a(this,e,r,()=>typeof e=="number"&&!Number.isNaN(e))},e:"number"},K={...i,r(e,r){return a(this,e,r,()=>typeof e=="object"&&e instanceof Date&&!Number.isNaN(e.getTime()))},e:"date"};function F(e){return{...i,r(r,n){return a(this,r,n,()=>r instanceof e)},e:`instanceof_${e.name?`_${e.name}`:""}`}}function C(...e){if(e.length===0)throw new Error("rc_literal requires at least one literal");return{...i,r(r,n){return a(this,r,n,()=>{for(let s of e)if(r===s)return!0;return!1})},e:e.length==1?`${p(e[0])}_literal`:"literals"}}function z(...e){if(e.length===0)throw new Error("Unions should have at least one type");return{...i,r(r,n){return a(this,r,n,()=>{for(let s of e)if(s.r(r,n)[0])return!0;return!1})},e:e.map(r=>r.e).join(" | ")}}function T(e,r){if(e.startsWith("$[")||e.startsWith("$.")){let[n="",s]=e.split(": "),t=n.slice(1);return`$${r}${t}: ${s}`}return`$${r}: ${e}`}function l(e){return{...i,a:e,e:"object",r(r,n){return a(this,r,n,()=>{if(!A(r))return!1;let s=new Set(Object.keys(r)),t={},o=[];for(let[c,u]of Object.entries(e)){let y=c,f=r[c];s.delete(c);let[R,_]=u.r(f,n);if(R)t[y]=f;else{let b=_;for(let h of b)o.push(T(h,`.${c}`))}}if(this.e==="strict_obj"&&s.size>0)for(let c of s)o.push(`Key '${c}' is not defined in the object shape`);return o.length>0?{errors:o}:this.e.startsWith("extends_object")?{data:r}:{data:t}})}}}function B(e){return{...l(e),e:"extends_object"}}function M(e){return{...l(e),e:"strict_obj"}}function U(e,r){return l({...e.a,...r.a})}function d(e,r,n){let s=-1;for(let t of e){s++;let o=Array.isArray(r)?r[s]:r,[c,u]=o.r(t,n);if(!c)return{errors:u.map(y=>T(y,`[${s}]`))}}return!0}function V(e){return{...i,e:`${e.e}[]`,r(r,n){return a(this,r,n,()=>Array.isArray(r)?r.length===0?!0:d.call(this,r,e,n):!1)}}}function W(e){return{...i,e:`[${e.map(r=>r.e).join(", ")}]`,r(r,n){return a(this,r,n,()=>!Array.isArray(r)||r.length!==e.length?!1:d.call(this,r,e,n))}}}function $(e,r){let n={warnings:[]},[s,t]=r.r(e,n);return s?{error:!1,data:t,warnings:n.warnings.length>0?n.warnings:!1}:{error:!0,errors:t}}function D(e){return r=>$(r,e)}function k(e,r){let n={warnings:[]};return!!r.r(e,n)[0]}function q(e){return r=>k(r,e)}function p(e){if(typeof e=="object"){if(Array.isArray(e))return"array";if(!e)return"null"}return typeof e}function A(e){return typeof e=="object"&&e!==null&&!Array.isArray(e)}export{P as a,S as b,I as c,N as d,v as e,E as f,K as g,F as h,C as i,z as j,l as k,B as l,M as m,U as n,V as o,W as p,$ as q,D as r,k as s,q as t};

package/dist/runcheck.cjs

@@ -0,0 +1 @@
+"use strict";var f=Object.defineProperty;var w=Object.getOwnPropertyDescriptor;var O=Object.getOwnPropertyNames;var m=Object.prototype.hasOwnProperty;var $=(e,r)=>{for(var n in r)f(e,n,{get:r[n],enumerable:!0})},k=(e,r,n,s)=>{if(r&&typeof r=="object"||typeof r=="function")for(let t of O(r))!m.call(e,t)&&t!==n&&f(e,t,{get:()=>r[t],enumerable:!(s=w(r,t))||s.enumerable});return e};var A=e=>k(f({},"__esModule",{value:!0}),e);var Z={};$(Z,{rc_any:()=>C,rc_array:()=>J,rc_boolean:()=>z,rc_date:()=>U,rc_extends_obj:()=>q,rc_instanceof:()=>V,rc_is_valid:()=>_,rc_literals:()=>W,rc_null:()=>F,rc_number:()=>M,rc_obj_intersection:()=>H,rc_object:()=>u,rc_parse:()=>R,rc_parser:()=>Q,rc_strict_obj:()=>G,rc_string:()=>B,rc_tuple:()=>L,rc_undefined:()=>K,rc_union:()=>D,rc_validator:()=>X});module.exports=A(Z);function P(e){return{...this,s:e}}function a(e,r,n,s){if(e.i&&r===void 0)return[!0,r];if(e.c&&r==null)return[!0,r];let t=s();if(t&&(t===!0||"data"in t)){let o=t===!0?r:t.data;return e.t&&!e.t(o)?[!1,[e.n(o)]]:[!0,o]}if(e.s!==void 0)return n.warnings.push(`Fallback used, ${e.n(r)}`),[!0,e.s];if(e.u&&e.o){let o=e.o(r);if(o)return e.t&&!e.t(o.fixed)?[!1,[e.n(o.fixed)]]:(n.warnings.push(`Autofixed from, ${e.n(r)}`),[!0,o.fixed])}return[!1,t&&"errors"in t?t.errors:[e.n(r)]]}function S(e){return{...this,u:!0,o:e}}function I(e){return{...this,t:e,e:`${this.e}_with_predicate`}}function N(){return{...this,i:!0}}function v(e){return`Type '${b(e)}' is not assignable to '${this.e}'`}function E(){return{...this,c:!0,e:`${this.e}_or_nullish`}}var i={withFallback:P,where:I,optional:N,n:v,nullable:E,withAutofix:S},K={...i,r(e,r){return a(this,e,r,()=>e===void 0)},e:"undefined"},F={...i,r(e,r){return a(this,e,r,()=>e===null)},e:"null"},C={...i,r(e,r){return a(this,e,r,()=>!0)},e:"any"},z={...i,r(e,r){return a(this,e,r,()=>typeof e=="boolean")},e:"boolean"},B={...i,r(e,r){return a(this,e,r,()=>typeof e=="string")},e:"string"},M={...i,r(e,r){return a(this,e,r,()=>typeof e=="number"&&!Number.isNaN(e))},e:"number"},U={...i,r(e,r){return a(this,e,r,()=>typeof e=="object"&&e instanceof Date&&!Number.isNaN(e.getTime()))},e:"date"};function V(e){return{...i,r(r,n){return a(this,r,n,()=>r instanceof e)},e:`instanceof_${e.name?`_${e.name}`:""}`}}function W(...e){if(e.length===0)throw new Error("rc_literal requires at least one literal");return{...i,r(r,n){return a(this,r,n,()=>{for(let s of e)if(r===s)return!0;return!1})},e:e.length==1?`${b(e[0])}_literal`:"literals"}}function D(...e){if(e.length===0)throw new Error("Unions should have at least one type");return{...i,r(r,n){return a(this,r,n,()=>{for(let s of e)if(s.r(r,n)[0])return!0;return!1})},e:e.map(r=>r.e).join(" | ")}}function d(e,r){if(e.startsWith("$[")||e.startsWith("$.")){let[n="",s]=e.split(": "),t=n.slice(1);return`$${r}${t}: ${s}`}return`$${r}: ${e}`}function u(e){return{...i,a:e,e:"object",r(r,n){return a(this,r,n,()=>{if(!Y(r))return!1;let s=new Set(Object.keys(r)),t={},o=[];for(let[c,y]of Object.entries(e)){let l=c,T=r[c];s.delete(c);let[h,x]=y.r(T,n);if(h)t[l]=T;else{let g=x;for(let j of g)o.push(d(j,`.${c}`))}}if(this.e==="strict_obj"&&s.size>0)for(let c of s)o.push(`Key '${c}' is not defined in the object shape`);return o.length>0?{errors:o}:this.e.startsWith("extends_object")?{data:r}:{data:t}})}}}function q(e){return{...u(e),e:"extends_object"}}function G(e){return{...u(e),e:"strict_obj"}}function H(e,r){return u({...e.a,...r.a})}function p(e,r,n){let s=-1;for(let t of e){s++;let o=Array.isArray(r)?r[s]:r,[c,y]=o.r(t,n);if(!c)return{errors:y.map(l=>d(l,`[${s}]`))}}return!0}function J(e){return{...i,e:`${e.e}[]`,r(r,n){return a(this,r,n,()=>Array.isArray(r)?r.length===0?!0:p.call(this,r,e,n):!1)}}}function L(e){return{...i,e:`[${e.map(r=>r.e).join(", ")}]`,r(r,n){return a(this,r,n,()=>!Array.isArray(r)||r.length!==e.length?!1:p.call(this,r,e,n))}}}function R(e,r){let n={warnings:[]},[s,t]=r.r(e,n);return s?{error:!1,data:t,warnings:n.warnings.length>0?n.warnings:!1}:{error:!0,errors:t}}function Q(e){return r=>R(r,e)}function _(e,r){let n={warnings:[]};return!!r.r(e,n)[0]}function X(e){return r=>_(r,e)}function b(e){if(typeof e=="object"){if(Array.isArray(e))return"array";if(!e)return"null"}return typeof e}function Y(e){return typeof e=="object"&&e!==null&&!Array.isArray(e)}0&&(module.exports={rc_any,rc_array,rc_boolean,rc_date,rc_extends_obj,rc_instanceof,rc_is_valid,rc_literals,rc_null,rc_number,rc_obj_intersection,rc_object,rc_parse,rc_parser,rc_strict_obj,rc_string,rc_tuple,rc_undefined,rc_union,rc_validator});

package/dist/runcheck.d.ts

@@ -0,0 +1,62 @@
+declare type RcParseResult<T> = {
+    error: false;
+    data: T;
+    warnings: string[] | false;
+} | {
+    error: true;
+    errors: string[];
+};
+declare type RcInferType<T extends RcType<any>> = T extends RcType<infer U> ? U : never;
+declare type RcOptional<T> = RcType<T | undefined>;
+declare type ParseResultCtx = {
+    warnings: string[];
+};
+declare type InternalParseResult<T> = [success: true, data: T] | [success: false, errors: string[]];
+declare type RcType<T> = {
+    readonly withFallback: (fallback: T) => RcType<T>;
+    readonly where: (predicate: (input: T) => boolean) => RcType<T>;
+    readonly optional: () => RcOptional<T>;
+    readonly nullable: () => RcType<T | null | undefined>;
+    readonly withAutofix: (customAutofix: (input: unknown) => false | {
+        fixed: T;
+    }) => RcType<T>;
+};
+declare const rc_undefined: RcType<undefined>;
+declare const rc_null: RcType<null>;
+declare const rc_any: RcType<any>;
+declare const rc_boolean: RcType<boolean>;
+declare const rc_string: RcType<string>;
+declare const rc_number: RcType<number>;
+declare const rc_date: RcType<Date>;
+declare function rc_instanceof<T extends Function>(classToCheck: T): RcType<T>;
+declare function rc_literals<T extends (string | number | boolean)[]>(...literals: T): RcType<T[number]>;
+declare function rc_union<T extends RcType<any>[]>(...types: T): RcType<RcInferType<T[number]>>;
+declare type RcObject = Record<string, RcType<any>>;
+declare type TypeOfObjectType<T extends RcObject> = {
+    [K in keyof T]: RcInferType<T[K]>;
+};
+declare type RcObjType<T extends RcObject> = RcType<TypeOfObjectType<T>>;
+declare function rc_object<T extends RcObject>(shape: T): RcObjType<T>;
+declare function rc_extends_obj<T extends RcObject>(shape: T): RcObjType<T>;
+declare function rc_strict_obj<T extends RcObject>(shape: T): RcObjType<T>;
+declare function rc_obj_intersection<A extends RcObject, B extends RcObject>(a: RcObjType<A>, b: RcObjType<B>): RcObjType<A & B>;
+declare function rc_array<T extends RcType<any>>(type: T): RcType<RcInferType<T>[]>;
+declare type MapTupleToTypes<T extends readonly [...any[]]> = {
+    -readonly [K in keyof T]: RcInferType<T[K]>;
+};
+/**
+ * Check for a tuple of types
+ *
+ * TS equivalent example: [string, number, boolean]
+ */
+declare function rc_tuple<T extends readonly RcType<any>[]>(types: T): RcType<MapTupleToTypes<T>>;
+/**
+ * Parse a runcheck type. If valid return the valid input, with warning for autofix
+ * and fallback, or the errors if invalid
+ */
+declare function rc_parse<S>(input: any, type: RcType<S>): RcParseResult<S>;
+declare function rc_parser<S>(type: RcType<S>): (input: any) => RcParseResult<S>;
+declare function rc_is_valid<S>(input: any, type: RcType<S>): input is S;
+declare function rc_validator<S>(type: RcType<S>): (input: any) => input is S;
+
+export { RcInferType, RcParseResult, RcType, rc_any, rc_array, rc_boolean, rc_date, rc_extends_obj, rc_instanceof, rc_is_valid, rc_literals, rc_null, rc_number, rc_obj_intersection, rc_object, rc_parse, rc_parser, rc_strict_obj, rc_string, rc_tuple, rc_undefined, rc_union, rc_validator };

package/dist/runcheck.js

@@ -1,7 +1 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.main = void 0;
-function main() {
-    console.log('Work in progress...');
-}
-exports.main = main;
+import{a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t}from"./chunk-TZCAUEQX.js";export{c as rc_any,o as rc_array,d as rc_boolean,g as rc_date,l as rc_extends_obj,h as rc_instanceof,s as rc_is_valid,i as rc_literals,b as rc_null,f as rc_number,n as rc_obj_intersection,k as rc_object,q as rc_parse,r as rc_parser,m as rc_strict_obj,e as rc_string,p as rc_tuple,a as rc_undefined,j as rc_union,t as rc_validator};

package/package.json

@@ -1,12 +1,16 @@
 {
   "name": "runcheck",
-  "version": "0.1.0",
+  "description": "A tiny (less than 2 KiB Gzipped) and treeshakable! lib for typescript runtime type checks with autofix support",
+  "version": "0.4.0",
   "license": "MIT",
   "scripts": {
-    "test": "vitest run",
-    "test:ui": "vitest --ui",
-    "build": "vitest run && tsc -p tsconfig.prod.json",
-    "npm-publish": "pnpm run build && npm publish"
+    "test": "vitest --ui",
+    "test:run": "vitest run",
+    "benchmark": "tsm benchmarks/benchmark.ts",
+    "benchmark:generate-profile": "tsm benchmarks/generateProfiles.ts",
+    "build": "pnpm test:run && pnpm build:no-test",
+    "build:no-test": "tsup --minify --dts && tsm scripts/removeInternalDeclarations.ts",
+    "npm-publish": "./scripts/check-if-is-sync.sh && pnpm build && npm publish"
   },
   "files": [
     "dist"
@@ -14,16 +18,39 @@
   "packageManager": "^pnpm@7.6.0",
   "repository": "github:lucasols/runcheck",
   "author": "Lucas Santos",
-  "main": "./dist/runcheck.js",
+  "type": "module",
+  "main": "./dist/runcheck.cjs",
+  "module": "./dist/runcheck.js",
   "types": "./dist/runcheck.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/runcheck.js",
+      "require": "./dist/runcheck.cjs"
+    },
+    "./autofixable": {
+      "import": "./dist/autofixable.js",
+      "require": "./dist/autofixable.cjs"
+    }
+  },
+  "sideEffects": false,
   "engines": {
     "node": ">=14.6.0"
   },
   "devDependencies": {
     "@types/node": "^18.7.2",
+    "@typescript-eslint/eslint-plugin": "^5.33.0",
+    "@typescript-eslint/parser": "^5.33.0",
     "@vitest/ui": "^0.21.1",
-    "typescript": "^4.7.4",
+    "eslint": "^8.22.0",
+    "eslint-plugin-jest": "^26.8.2",
+    "mitata": "^0.1.6",
+    "myzod": "^1.8.8",
+    "tsm": "^2.2.2",
+    "tsup": "^6.2.2",
+    "typescript": "^4.8.1-rc",
+    "v8-profiler-next": "^1.9.0",
     "vite": "^3.0.7",
-    "vitest": "^0.21.1"
+    "vitest": "^0.21.1",
+    "zod": "^3.18.0"
   }
 }