Research programmatic generation of custom kinds with AST manipulation

[MajorLift]

Motivation

Provide an interface for defining custom kinds.

• Must be able to encapsulate arbitrary functionality and arity.
• Must be capable of being passed into or returned from any hkt-toolbelt utility with a compatible signature.
• Shouldn't require users to become familiar with implementation details of how hkt-toolbelt kinds are defined.

Specifications

• Takes a stringified _$ function definition and generates a corresponding TypeAliasDeclaration.
  • Alternatively, selects existing type definition by name.
• Takes a list of input and output types and generates InterfaceDeclarations with correct naming scheme (e.g. _T1, _T2), ordering, and function signatures.
• Emits a module containing the generated types/interfaces to a user-defined path.

Approach

• Use TypeScript compiler API factory functions to generate a template for Kind interface declarations.
• Generate factory code for input type parameter expressions using https://github.com/dsherret/ts-factory-code-generator-generator/, and plug the factory code into the interface declaration templates.