{"id":20768167,"url":"https://github.com/softwaremill/walk-that-type","last_synced_at":"2025-04-30T11:24:07.533Z","repository":{"id":195935001,"uuid":"662749130","full_name":"softwaremill/walk-that-type","owner":"softwaremill","description":"A tool for evaluating TypeScript types step by step.","archived":false,"fork":false,"pushed_at":"2023-12-02T10:16:55.000Z","size":6919,"stargazers_count":42,"open_issues_count":1,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-03-30T15:47:02.305Z","etag":null,"topics":["learning","tool","type-level","type-level-programming","types","typescript","vizualisation"],"latest_commit_sha":null,"homepage":"https://walk-that-type.sml.io/","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/softwaremill.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-07-05T20:00:38.000Z","updated_at":"2025-01-26T22:57:36.000Z","dependencies_parsed_at":"2024-11-17T23:47:59.030Z","dependency_job_id":null,"html_url":"https://github.com/softwaremill/walk-that-type","commit_stats":null,"previous_names":["softwaremill/walk-that-type"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/softwaremill%2Fwalk-that-type","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/softwaremill%2Fwalk-that-type/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/softwaremill%2Fwalk-that-type/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/softwaremill%2Fwalk-that-type/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/softwaremill","download_url":"https://codeload.github.com/softwaremill/walk-that-type/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251689339,"owners_count":21627889,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["learning","tool","type-level","type-level-programming","types","typescript","vizualisation"],"created_at":"2024-11-17T11:36:11.318Z","updated_at":"2025-04-30T11:24:07.491Z","avatar_url":"https://github.com/softwaremill.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Walk That Type\n\n[![Netlify Status](https://api.netlify.com/api/v1/badges/a9f2c2f3-0a4c-4429-949f-beb6225c7171/deploy-status)](https://app.netlify.com/sites/walk-that-type/deploys)\n\n![preview](public/preview.png)\n\nDebugging complex TypeScript types is painful, because you can't simply put log statements in them and the obscure syntax doesn't help. Introducing Walk That Type: a tool that lets you paste or write any type, then step through it while explaining what happens at each step!\n\n\u003e 🚧 Warning: this project is still in early development stage. It might include bugs and missing features (see [ROADMAP](https://github.com/softwaremill/walk-that-type/issues/6) to see what's still coming).\n\n## Contributing\n\n1. Fork this repo\n2. Create a new branch, push your changes, and open a PR.\n\nFeel free to report any issues or feature requests using Github issues.\n\n### Development setup\n\n1. Install [pnpm](https://pnpm.js.org/en/installation)\n2. Run `pnpm install`\n3. Run `pnpm dev` to start the dev server\n4. Run `pnpm test` to run tests (in watch mode)\n\n### Implementing new features:\n\n- Make sure `mapASTToTypeNodes` handles parsing syntax for this feature, if not, add it. This\n  requires adding a new `TypeNode` variant. Fill missing cases in functions that use `TypeNode` (use\n  `pnpm check:types` to find all these places).\n- Add tests and implement `evalT` for this feature.\n- Add tests and implement `extendsT` for this feature (if needed).\n- Add traverse logic in `traverse` function.\n- In `eval-tree.ts` add new cases in `calculateNextStep` and `chooseNodeToEval`.\n- Finally, update `EvalDescription` component.\n\n### Implementing built-in types\n\nTo add a missing built-in type (e.g. `Pick`) you just need to implement it in the `global-types.ts` files according to `GlobalTypeFn` type.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsoftwaremill%2Fwalk-that-type","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsoftwaremill%2Fwalk-that-type","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsoftwaremill%2Fwalk-that-type/lists"}