diff --git a/packages/schema/src/_api/schemed.ts b/packages/schema/src/_api/schemed.ts index 499dc3a..a8fbf88 100644 --- a/packages/schema/src/_api/schemed.ts +++ b/packages/schema/src/_api/schemed.ts @@ -77,9 +77,9 @@ type ShapeFromClass< export const fromFields = Symbol() -export function Schemed< - Self extends S.Schema ->(self: Self): Schemed { +export function Schemed>( + self: Self +): Schemed { const of_ = Constructor.for(self)["|>"](unsafe) // @ts-expect-error return class { diff --git a/packages/schema/src/_schema/schema.ts b/packages/schema/src/_schema/schema.ts index 2927d14..651ee69 100644 --- a/packages/schema/src/_schema/schema.ts +++ b/packages/schema/src/_schema/schema.ts @@ -6,7 +6,7 @@ import type * as fc from "fast-check" import type * as Th from "../These" import type { Annotation } from "./annotation" -import type { AnyError, CompositionE, NamedE, NextE, PrevE, RefinementE } from "./error" +import type { CompositionE, NamedE, NextE, PrevE, RefinementE } from "./error" export const SchemaSym = Symbol() export type SchemaSym = typeof SchemaSym @@ -85,15 +85,7 @@ export abstract class Schema< export type SchemaAny = Schema export type SchemaUPI = Schema -export type Standard = Schema< - unknown, - AnyError, - A, - A, - AnyError, - Enc, - {} -> +export type Standard = Schema export interface ApiSelfType { _AS: AS @@ -109,10 +101,10 @@ export type SchemaContinuationSymbol = typeof SchemaContinuationSymbol export interface HasContinuation { readonly [SchemaContinuationSymbol]: Schema< unknown, - AnyError, + any, unknown, unknown, - AnyError, + any, unknown, unknown >