Enforce parity between Effect schemas and TypeScript domain types with tsafe assertions.
npx skills add https://github.com/morgs32/skills --skill effect-schema
Please help me install this Agent Skill. Skill: effect-schema Source: https://github.com/morgs32/skills/tree/main/skills/effect-schema Command: npx skills add https://github.com/morgs32/skills --skill effect-schema
This Skill helps define and verify Effect schemas that align with TypeScript domain types, ensuring parity and type safety across schema definitions.
To begin, define your domain interface and create a matching Effect schema. Ensure the schema satisfies Schema.Schema<YourType, any> and includes parity assertions such as an Equals check to confirm Readonly<YourType> is the schema's Type.
High-intent search queries and answers about installing and using this skill.
To verify Effect schema parity, define your domain interface and create a matching schema, then apply tsafe-style Equals assertions to confirm Readonly<YourType> matches the schema's Type at compile time.
Effect schema parity ensures an Effect schema's Type exactly matches your corresponding TypeScript domain interface. You need to enforce it when authoring or updating schemas to catch type mismatches early.
Use tsafe Equals checks by asserting that Readonly<YourType> is the schema's Type. This enforces compile-time validation, requiring the TypeScript type system and Effect Schema definitions to confirm type safety.
Yes, Effect schema type safety works with TypeScript by using satisfies Schema.Schema<YourType, any> alongside tsafe-style parity assertions to enforce alignment and catch domain type mismatches early.
The best way to catch domain type misalignment is enforcing parity and type-safety checks using tsafe-style assertions. This validates that your Effect schema's Type matches the domain interface during authoring.
Your Effect schema may not match your TypeScript domain type due to missing parity assertions. Apply tsafe-style Equals checks to enforce type safety and identify structural mismatches at compile time.
PaulJPhilpModel Effect-TS domains with branded types, tagged errors, and Schema validation.
sebasmzgValidate TypeScript data shapes with Zod 4 schemas.
MolcajeteAIImplement TypeScript type guards, generics, branded types, and discriminated unions.
ultramaxoAIEnforce end-to-end type safety for frontend-backend API contracts with Zod and TypeScript.
