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

import type { Equals } from 'tsafe';

import { Schema } from 'effect';
import { assert } from 'tsafe';

export interface IFoo {
  bar: string;
}