New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Type Extractors #175

Open

baetheus opened this issue Nov 27, 2023 · 0 comments

Labels

enhancement good first issue help wanted

Owner

baetheus commented Nov 27, 2023

Almost every exported Kind and Type in fun could use an extraction type. The goal of this issue is:

Decide on a cohesive naming design for the type level extractors.
Implement type extractors for all exported types that can use it.

A type extractor looks like the following:

type MyArray<A> = readonly A[];

type ExtractMyArray<T> = T extends MyArray<infer A> ? A : never;

baetheus added enhancement good first issue help wanted labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment