Results for “type-families”

TypeScript Branded Types

Master TypeScript's advanced type system including generics, conditional types, mapped types, template literals, and utility types for building type-safe applications. Use when implementing complex type logic, creating reusable type utilities, or ensuring compile-time type safety in TypeScript projects.

TypeScript Utility Types

Master TypeScript's advanced type system including generics, conditional types, mapped types, template literals, and utility types for building type-safe applications. Use when implementing complex type logic, creating reusable type utilities, or ensuring compile-time type safety in TypeScript projects.

TypeScript Type Guards

TypeScript Mapped Types

Analyzes type design for encapsulation, invariant expression, usefulness, and enforcement, providing scores and improvement suggestions.

Answer detailed or normative questions about Python's type system using the complete vendored typing specification. Use for subtle assignability, generics, variance, protocols, overloads, narrowing, qualifiers, TypedDict, or checker-semantics questions that exceed everyday annotation guidance.

Generate typed SDK bindings (Pydantic v2 models, TypeScript types) from the Bloodbank JSON Schema tree at `bloodbank/schemas/bloodbank/v1/**` (Draft 2020-12). Uses `datamodel-code-generator` and `json-schema-to-typescript` — NOT the deprecated hand-rolled Holyfields generators. Use when generating event-contract bindings for a Bloodbank consumer, importing typed CloudEvents envelopes into another project, or scaffolding a `bloodbank-contracts` SDK package. Trigger keywords — "bloodbank SDK", "bloodbank contracts", "Pydantic from bloodbank schemas", "TypeScript types for bloodbank events", "bloodbank.v1.* types", "event contract bindings", "datamodel-code-generator", "json-schema-to-typescript", "regenerate SDK", "CloudEvents bindings". Do NOT use for schema authoring (edit `bloodbank/schemas/` directly per `docs/event-naming.md` §12), runtime envelope validation (use `BLOODBANK_HOOK_VALIDATE=1`), schema-tree consistency (`mise run smoketest:schemas`), or generic JSON Schema codegen unrelated to Bloodbank.

Use when practicing family law.

Design, review, debug, and test Python static types including Protocol, generics, variance, overloads, TypedDict, ParamSpec, TypeGuard, and narrowing.

Adjacency List

Designs complex generic types, refactors `any` types to strict alternatives, creates type guards and utility types, and resolves TypeScript compiler errors.

Implements or verifies the six-layer type safety chain from Drizzle schema through Zod, services, API routes, and React hooks, including regeneration after DB changes and bootstrapping in new folders.

Nested Sets

Type Scale

Closure Table

Fix F821 undefined name errors for optional dependencies using TYPE_CHECKING

Type design analysis — encapsulation, invariant expression, usefulness, and enforcement.

Gemini: A Family of Highly Capable Multimodal Models

分析故事人物关系，识别类型、特点及发展变化。适用于深度理解人物关系网络、分析关系对情节推动作用、为情节设计提供关系支撑

Use when implementing haskell functionality with production-grade patterns and safeguards.

TypeScript Testing Types

B-Tree Indexes

Ownership models are usually inherited rather than chosen, and the inherited one

Implements advanced TypeScript type systems, creates custom type guards, utility types, and branded types, and configures tRPC for end-to-end type safety.

Migrate LWC components from fragile querySelector lookups to typed lwc:ref handles, with guidance on lifecycle timing, shadow boundaries, and iterator limitations.

XState Typegen

Use when tightening annotations in existing TypeScript, removing avoidable any or assertions, improving changed-file types, or reducing compiler errors without broad refactoring.

Generate Mermaid diagrams from user requirements. Saves .mmd and .md files to figures/ directory with syntax verification. Supports flowcharts, sequence diagrams, class diagrams, ER diagrams, Gantt charts, and 18 more diagram types.

Write leave policies covering PTO, sick, and family leave. TRIGGERS - Use when user needs help with leave-policy related tasks.

Expected error decomposes into bias, variance, and irreducible noise.

Escribe TypeScript estricto con tipos que ayudan: interfaces, genéricos, satisfies y uniones discriminadas, y resuelve errores de tipos.

用于查询优化、模式设计、索引和安全性的PostgreSQL数据库模式。基于Supabase最佳实践。