Awesome

TypeType Examples

This repository contains examples of using typetype to create typescript types, typetype is designed to generate complex typescript type with ease.

For example, to implement StringToUnion in 531-medium-string-to-union:

export type function StringToUnion = (T extends string) => ^{
    if(T extends `${infer char}${infer rest}`) {
        return union [char, StringToUnion<rest>]
    } else {
        return never
    }
}

The output will be:

export type StringToUnion<T extends string> = T extends `${infer char}${infer rest}` ? (char | StringToUnion<rest>) : never;

See it in action!

• https://mistlog.github.io/typetype-playground/

Outline

foreach example-set in this repo:
    input = examples/<example-set>/<example-name>.type
    output = examples/<example-set>/<example-name>.ts
    test = examples/<example-set>/<example-name>.test.ts

• syntax: the grammar of typetype
• url-parser
  • url-parser: simple url parser, parse individual part of url
  • url-parser-2: parse url as a whole
• type-challenges
  • solutions of type-challenges in typetype

Local setup

> npm install
> npm run dev

License

This project is MIT licensed.