typecheck.macro

typecheck.macro copied to clipboard

Please Remove debugger

3

https://github.com/vedantroy/typecheck.macro/blob/c2c8b1938caf31f635b043c6d25cdece15d7c5e7/src/code-gen/irToInline.ts#L469

Zylo18

Handle multi-file types

8

As suggested in the README, I'd like to express my wish for multi-file types support. My use case is the validation of data for React components. The types are simple,...

abaco

Maintainers

9

[See this](https://hackmd.io/44QmO77vS_ijgG9-dy-j-w?view) This library still needs a maintainer. Feel free to reach out if you want to take a shot at maintaining it. ~~Note, seems like [proteriax](https://github.com/proteriax) is now helping...

vedantroy

Syntax error when typing lambda parameters inside constraints

1

In a newly created CRA project, the following code ```ts type NumberContainer = { pos: Positive; } type Positive = number; registerType('NumberContainer') export const x = createValidator(undefined, { constraints: {...

ducaale

[feature request] define constraints at the type-level

1

Sometimes, I have a type `A` that might be used in other types. If I need to add constraints on that type, I would have to repeat those constraints every...

ducaale

```ts // Use this to get an iterable of possible values. const namingConvention = ['snake_case', 'camelCase'] as const; type NamingConvention = typeof namingConvention[number]; registerType('NamingConvention'); export const isValidNamingConvention = createValidator(); ```...

cometkim

TSIndexedAccessType unexpected error

2

I have an autogenerated type (by graphql codegen) like this: ```typescript /** Specifies the fields required to create a new customer. */ export type CustomerCreateInput = { /** The customer’s...

aynik

Unexpected error because Human-friendly type descriptions are not possible for circular types that are not objects or unions

1

Small example: `src/mytypes.ts`: ``` import createValidator, { createDetailedValidator, registerType } from "typecheck.macro"; export type ProjectLayerConfig = { layers: Array; }; registerType("ProjectLayerConfig"); type Item = { id: string; label: string; isVisible:...

amagee

Support mapped types

1

Mapped types are listed as `WIP`. What is the status of these types? - [ ] Record - [ ] Required - [ ] Pick - [ ] Omit

schontz

Support "extends" and intersection operator.

19

Support ```typescript type A = B & C; ``` and ```typescript interface Foo extends Bar {} ```

vedantroy