Synthèse automatique
Définit des schémas Effect avec des types de domaine et vérifie la parité de types à l'aide de satisfies et de la vérification Equals de tsafe.
Points forts
- Garantit la sécurité de type à la compilation entre le schéma et le type de domaine
- Détecte les incompatibilités de type précocement
- Utilise la bibliothèque Schema d'Effect
- Exploite tsafe pour des vérifications d'égalité exacte
Limites
- Nécessite la bibliothèque tsafe
- Peut être verbeux
- La vérification assert est excessive pour des schémas simples
Lors de la définition de schémas Effect pour des modèles de domaine complexes nécessitant un alignement de type précis.
Pour des schémas simples ou ponctuels où la parité de type n'est pas critique.
Analyse de sécurité
SûrThe skill provides guidance on writing TypeScript type definitions and schema assertions, with no executable code or risky operations.
Aucun point d'attention détecté
Comment cette analyse est faiteExemples
Create an Effect schema for the domain type interface IProduct { id: string; name: string; price: number; } and ensure type parity using satisfies and tsafe's Equals.Update the ZUser schema to match the IUser interface after adding a new 'age' field. Use satisfies and assert Equals.Given an unknown value, validate it against the ZOrder schema using validateUnknown from zerospin if available.name: effect-schema description: Define Effect schemas that are verified against domain types. Use when authoring or updating Effect Schema definitions, or when the user mentions schema/type parity, satisfies, or tsafe Equals checks.
Effect Schema Type Parity
Instructions
- Define the domain type first (prefer
interface), then define the schema and assert parity. - Always use
satisfies Schema.Schema<YourType, any>on the schema. - Add
assert<Equals<typeof YourSchema.Type, Readonly<YourType>>>()usingtsafe. - If the
assert<Equals<...>>isn't typed correctly but thesatisfiesis, you can optionally add the_check1/_check2assignments withvoid(seeZerospinCommandSchema). - When validating unknown input against an Effect schema, prefer
validateUnknownfromzerospinif available.
Example
import type { Equals } from 'tsafe';
import { Schema } from 'effect';
import { assert } from 'tsafe';
export interface IFoo {
bar: string;
}
export const ZFoo = Schema.Struct({
bar: Schema.String,
}) satisfies Schema.Schema<IFoo, any>;
const _check1: typeof ZFoo.Type = {} as IFoo;
const _check2: IFoo = {} as typeof ZFoo.Type;
void _check1;
void _check2;
assert<Equals<typeof ZFoo.Type, Readonly<IFoo>>>();
Du fichier au premier essai
Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.
Consulter la source et ses fichiers annexesCe téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.
1. Télécharger le fichier
Télécharger SKILL.mdDepuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.
Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.
mkdir -p '.skill-downloads/effect-schema-type-parity-mm8o52ie' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/effect-schema-type-parity-mm8o52ie/download' --output '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md.part' && mv '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md.part' '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md'2. Vérifier les prérequis
Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.
Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.
Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.
3. Charger la skill
Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.
Claude Code
test -f '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md' && test -s '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/effect-schema' && cp -R '.skill-downloads/effect-schema-type-parity-mm8o52ie' '.claude/skills/effect-schema'Cursor
test -f '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md' && test -s '.skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md' && mkdir -p '.cursor/skills' && test ! -e '.cursor/skills/effect-schema' && cp -R '.skill-downloads/effect-schema-type-parity-mm8o52ie' '.cursor/skills/effect-schema'OpenSkills
OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.
Installation officielle d’OpenSkillsopenskills install './.skill-downloads/effect-schema-type-parity-mm8o52ie'openskills read 'effect-schema-type-parity-mm8o52ie'La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.
Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.
openskills syncMode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.
4. Faire un premier essai
Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :
Lis .skill-downloads/effect-schema-type-parity-mm8o52ie/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.
Bonnes pratiques React Hook Form
Developpement
Maîtrisez React Hook Form : évitez les anti-patterns, gérez les abonnements, et traitez correctement reset, dirty state et entrées contrôlées.
Migration Emotion vers Mantine
Developpement
Migrer les styled-components Emotion vers des composants Mantine avec style props et modules CSS. Pour convertir .styled.tsx ou supprimer les imports @emotion.
Détecteur de dérive de périmètre
Developpement
Analyse les diffs git par rapport à une intention pour détecter la dérive de périmètre, fichiers non liés et PR trop larges, puis suggère de garder, diviser ou justifier.