fix: update interface Input type parameter to contravariant type

[didavid61202]

Updates

1. Add in contravariant annotation to type parameter V of Input type:

interface Input<
-  V extends string,
+  in V extends string,
  G extends string = never,
  C extends (string | undefined)[] = [] > { ... }

2. Refactor InputSource to make Input accept any V type as it is set as contravariant type:

- export type InputSource<S extends string = never, T extends string = never> = S | Input<S, T>
+ export type InputSource<S extends string = string, T extends string = never> = S | Input<any, T>

3. Update/refactor IfUnwrapped type's all parameters to extends string instead of Input (makes usage more concise)

- any: () => IfUnwrapped<V, Input<`(?:${V})*`, G>, Input<`${V}*`, G, C>>
+ any: () => Input<IfUnwrapped<V, `(?:${V})*`, `${V}*`>, G, C>

4. fix ts comments for and and times chaining Input helpers

Note

This PR should resolve the type inferencing issue (using extractRegExp helper or directly using createRegExp) when implementing new letter.lowercase and letter.uppercase helper inputs in PR #77 and any future implementations of similar input helpers design to be accessed by `dot notation.

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Updated
magic-regexp	✅ Ready (Inspect)	Visit Preview	Oct 27, 2022 at 2:20PM (UTC)

[what-the-diff]

• Changed the type of anyOf to accept any input source
• Added a comment for and operator
• Fixed some types in escape, sources and wrap files

[ccjmne]

Woah, great stuff!
I have never heard of the "in contravariant annotation"... I'll read about it tonight and try to learn from your implementation.
Thank you! 🙇‍♀️

[danielroe]

Thank you! ❤️

[didavid61202]

note: this change (using Variance Annotations for Type Parameters ) will also limit the typescript version to be >4.7, and similar ts version limitation also get mentioned in #62.