@elliots/typical 0.2.5 → 0.3.1

package/README.md

@@ -1,6 +1,6 @@
 # Typical
 
-Typical makes TypeScript type-safe at runtime _with no changes to your code_.
+Typical makes TypeScript type safe at runtime _with no changes to your code_.
 
 It transforms your code to inject runtime validation based on your existing type annotations. With source maps, so errors point to the right lines in your original code.
 
@@ -38,13 +38,14 @@ const user = JSON.parse('{"name":"Alice","email":"not-an-email"}') as User;
 
 Choose the integration that fits your workflow:
 
-| Method                                                    | Best For                        | Package                       |
-| --------------------------------------------------------- | ------------------------------- | ----------------------------- |
-| [ESM Loader](#nodejs-esm-loader)                          | Node.js scripts, development    | `@elliots/typical`            |
-| [ttsx](#ttsx-tsx-wrapper)                                 | Quick scripts with tsx          | `@elliots/typical` + `tsx`    |
-| [Bun Plugin](#bun)                                        | Bun projects                    | `@elliots/bun-plugin-typical` |
-| [Vite/Webpack/etc](#bundlers-vite-webpack-rollup-esbuild) | Frontend apps, bundled projects | `@elliots/unplugin-typical`   |
-| [tsc Plugin](#typescript-compiler-tsc)                    | Pure TypeScript compilation     | `@elliots/typical-tsc-plugin` |
+| Method                                                    | Best For                        | Package                              |
+| --------------------------------------------------------- | ------------------------------- | ------------------------------------ |
+| [ESM Loader](#nodejs-esm-loader)                          | Node.js scripts, development    | `@elliots/typical`                   |
+| [ttsx](#ttsx-tsx-wrapper)                                 | Quick scripts with tsx          | `@elliots/typical` + `tsx`           |
+| [Bun Plugin](#bun)                                        | Bun projects                    | `@elliots/bun-plugin-typical`        |
+| [React Native / Expo](#react-native--expo)                | React Native apps               | `@elliots/metro-transformer-typical` |
+| [Vite/Webpack/etc](#bundlers-vite-webpack-rollup-esbuild) | Frontend apps, bundled projects | `@elliots/unplugin-typical`          |
+| [tsc Plugin](#typescript-compiler-tsc)                    | Pure TypeScript compilation     | `@elliots/typical-tsc-plugin`        |
 
 ---
 
@@ -123,6 +124,44 @@ bun run src/index.ts
 
 ---
 
+## React Native / Expo
+
+```bash
+npm add @elliots/metro-transformer-typical
+```
+
+Update your `metro.config.js`:
+
+```js
+// metro.config.js
+const { getDefaultConfig } = require("expo/metro-config");
+const { withTypical } = require("@elliots/metro-transformer-typical");
+
+module.exports = withTypical(getDefaultConfig(__dirname));
+```
+
+For vanilla React Native (without Expo):
+
+```js
+// metro.config.js
+const { getDefaultConfig } = require("@react-native/metro-config");
+const { withTypical } = require("@elliots/metro-transformer-typical");
+
+module.exports = withTypical(getDefaultConfig(__dirname));
+```
+
+With options:
+
+```js
+module.exports = withTypical(getDefaultConfig(__dirname), {
+  typical: {
+    validateCasts: true,
+  },
+});
+```
+
+---
+
 ## Bundlers (Vite, Webpack, Rollup, esbuild)
 
 ```bash
@@ -352,6 +391,10 @@ The generated validation code is optimised for runtime performance:
 
 - **Reusable validators** - When the same type is validated multiple times, Typical hoists the validation logic to a reusable function at module scope. Nested types that appear in multiple places (e.g., `Address` used in both `User` and `Company`) are also extracted and reused.
 - **Smart redundancy elimination** - Skips validation when returning values that are already known to be valid: validated parameters, properties of validated objects, variables assigned from casts or `JSON.parse`, and aliased variables
+- **Cross-file call graph analysis** - Analyses the entire project to eliminate redundant validation across files:
+  - **Trusted return values** - If a function validates its return type, callers don't re-validate the result
+  - **Internal function parameters** - Non-exported functions only called with pre-validated arguments skip parameter validation
+  - **Chained function calls** - When `step2(step1(user))` is called, validation flows through the chain
 - **Type-aware dirty tracking** - Tracks when validated values might become invalid. Primitives stay valid after being passed to functions (they're copied), but objects are re-validated if passed to unknown functions. Pure functions (listed in the config) like `console.log` don't invalidate objects.
 - **Union early bail-out** - Union type checks use if-else chains so the first matching type succeeds immediately
 - **Skip comments** - Add `// @typical-ignore` before a function to skip all validation for it
@@ -478,3 +521,22 @@ Runtime validation performance comparing Typical vs Zod vs no validation:
 
 - **vs Nothing**: Speed relative to no validation or filtering (1.0x = same speed)
 - **vs Zod**: Speed relative to Zod (1.0x = same speed)
+
+---
+
+## Changelog
+
+<!-- CHANGELOG_START -->
+
+### v0.3.1 (2026-02-23)
+
+Add metro transformer (React Native/Expo)
+
+### v0.3.0 (2026-01-14)
+
+- Build call graph across whole project to avoid validating already-validated data
+- Source map vis in the playround
+- Add 'never' support, the property must not exist
+- Fix: Node 24
+
+<!-- CHANGELOG_END -->

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@elliots/typical",
-  "version": "0.2.5",
+  "version": "0.3.1",
   "description": "Runtime safe TypeScript transformer using typia",
   "keywords": [
     "runtime",
@@ -40,19 +40,27 @@
   },
   "dependencies": {
     "commander": "14.0.2",
-    "@elliots/typical-compiler": "0.2.5"
+    "@elliots/typical-compiler": "0.3.1"
   },
   "devDependencies": {
     "@types/node": "22",
     "c8": "10.1.3",
+    "nano-staged": "^0.9.0",
     "oxfmt": "^0.21.0",
     "oxlint": "1.36.0",
     "oxlint-tsgolint": "0.10.1",
+    "simple-git-hooks": "^2.13.1",
     "typescript": "5.9.3"
   },
   "peerDependencies": {
     "typescript": "^5.0.0"
   },
+  "simple-git-hooks": {
+    "pre-commit": "pnpm nano-staged"
+  },
+  "nano-staged": {
+    "*.{js,ts,tsx,jsx,json,md,html,css}": "oxfmt"
+  },
   "engines": {
     "pnpm": ">=10"
   },
@@ -67,7 +75,7 @@
     "build:ts": "pnpm --filter './packages/*' run build && tsc",
     "build:website": "pnpm --filter typical-website run build",
     "dev": "tsc --watch",
-    "test": "rm -f test/test.temp.ts && tsc && node --import ./dist/src/esm-loader-register.js --test dist/test/*.test.js",
+    "test": "rm -f test/test.temp.ts && rm -rf test/project-fixtures && tsc && node --import ./dist/src/esm-loader-register.js --test dist/test/*.test.js",
     "test:coverage": "rm -f test/test.temp.ts && tsc && node --import ./dist/src/esm-loader-register.js --test --experimental-test-coverage dist/test/*.test.js",
     "test:coverage:html": "rm -f test/test.temp.ts && tsc && c8 --reporter=html --reporter=text --include='dist/src/**' node --import ./dist/src/esm-loader-register.js --test dist/test/*.test.js",
     "bench": "pnpm run build && cd bench && pnpm install && npm run bench",
@@ -78,6 +86,7 @@
     "sample:ttsc": "cd samples/ttsc && pnpm install && npm run build && npm run start",
     "sample:vite-react": "cd samples/vite-react && pnpm install && pnpm run test",
     "sample:bun": "cd samples/bun && pnpm install && bun run start",
+    "sample:react-native": "cd samples/react-native && pnpm install && npm run web",
     "samples": "npm run sample:esm && npm run sample:ttsx && npm run sample:vite-react && npm run sample:bun",
     "publish:all": "npm run lint && npm run format:check && node scripts/publish.js"
   }