# Effect Schema

> 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.

- Skill: `aibot88/effect-schema` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add aibot88/effect-schema`
- Raw SKILL.md: https://api.skillmd.com/api/skills/aibot88/effect-schema/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: aibot88 (https://skillmd.com/u/aibot88)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/aibot88/effect-schema

---


# 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>>>()` using `tsafe`.
- If the `assert<Equals<...>>` isn't typed correctly but the `satisfies` is, you can optionally add the `_check1/_check2` assignments with `void` (see `ZerospinCommandSchema`).
- When validating unknown input against an Effect schema, prefer `validateUnknown` from `zerospin` if available.

## Example
```ts
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>>>();
```