Control Union Distribution

What it does

This skill allows an AI agent to understand and utilize TypeScript's union and distribution types. It can infer the correct type when dealing with unions of literal types, and apply distributive conditional types for more complex type manipulations. This enables safer and more expressive code generation and analysis within a TypeScript context.

When to use it

• Type Inference: When you need an AI agent to determine the precise type of a variable or expression involving union types.
• Conditional Type Generation: To generate conditional types based on complex logic involving unions and intersections.
• Code Refactoring: When refactoring TypeScript code that uses advanced type features, ensuring correctness and safety.
• Type Error Debugging: Assisting in identifying and resolving type errors related to union or distribution types.

Key capabilities

• Union Type Understanding
• Distribution Type Application
• Conditional Type Inference
• Literal Type Handling

Example prompts

• "What is the return type of type A = 1 | 2; type B = A extends 1 ? 'a' : 'b';?"
• "Generate a conditional type that checks if a union of string literals includes 'hello'."
• “Explain how distribution works in this TypeScript code snippet: [code with unions and intersections]”

Tips & gotchas

This skill requires a basic understanding of TypeScript’s type system. Complex scenarios involving nested unions or advanced conditional types may require more detailed prompts for accurate results.