@sayoriqwq/effect-harness 0.0.1 → 0.0.2

package/repos/effect/packages/effect/src/unstable/cli/Param.ts

@@ -12,19 +12,16 @@
  */
 import * as Config from "../../Config.ts"
 import * as Effect from "../../Effect.ts"
-import type * as FileSystem from "../../FileSystem.ts"
 import { dual, identity } from "../../Function.ts"
 import * as Option from "../../Option.ts"
-import type * as Path from "../../Path.ts"
 import { type Pipeable, pipeArguments } from "../../Pipeable.ts"
 import * as Predicate from "../../Predicate.ts"
 import type * as Redacted from "../../Redacted.ts"
 import * as Result from "../../Result.ts"
 import * as Schema from "../../Schema.ts"
-import type * as Terminal from "../../Terminal.ts"
 import type { Covariant } from "../../Types.ts"
-import type { ChildProcessSpawner } from "../process/ChildProcessSpawner.ts"
 import * as CliError from "./CliError.ts"
+import type { Environment } from "./Command.ts"
 import * as Primitive from "./Primitive.ts"
 import * as Prompt from "./Prompt.ts"
 
@@ -56,15 +53,6 @@ export interface Param<Kind extends ParamKind, out A> extends Param.Variance<A>
  */
 export type ParamKind = "argument" | "flag"
 
-/**
- * Services that parameter parsing can require, such as filesystem, path,
- * terminal, and child-process support.
- *
- * @category models
- * @since 4.0.0
- */
-export type Environment = FileSystem.FileSystem | Path.Path | Terminal.Terminal | ChildProcessSpawner
-
 /**
  * Defines the kind discriminator for positional argument parameters.
  *
@@ -287,8 +275,6 @@ const Proto = {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const maybeParam = Param.string(Param.flagKind, "name")
  *
  * if (Param.isParam(maybeParam)) {
@@ -309,8 +295,6 @@ export const isParam = (u: unknown): u is Param<any, ParamKind> => Predicate.has
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const nameParam = Param.string(Param.flagKind, "name")
  * const optionalParam = Param.optional(nameParam)
  *
@@ -377,8 +361,6 @@ export const makeSingle = <const Kind extends ParamKind, A>(params: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a string flag
  * const nameFlag = Param.string(Param.flagKind, "name")
  *
@@ -409,8 +391,6 @@ export const string = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a boolean flag
  * const verboseFlag = Param.boolean(Param.flagKind, "verbose")
  *
@@ -442,8 +422,6 @@ export const boolean = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create an integer flag
  * const portFlag = Param.integer(Param.flagKind, "port")
  *
@@ -474,8 +452,6 @@ export const integer = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a float flag
  * const rateFlag = Param.float(Param.flagKind, "rate")
  *
@@ -506,8 +482,6 @@ export const float = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a date flag
  * const startFlag = Param.date(Param.flagKind, "start-date")
  *
@@ -540,8 +514,6 @@ export const date = <const Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * type Animal = Dog | Cat
  *
  * interface Dog {
@@ -580,8 +552,6 @@ export const choiceWithValue = <
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const logLevel = Param.choice(Param.flagKind, "log-level", [
  *   "debug",
  *   "info",
@@ -609,8 +579,6 @@ export const choice = <
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic path parameter
  * const outputPath = Param.path(Param.flagKind, "output")
  *
@@ -657,8 +625,6 @@ export const path = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic directory parameter
  * const outputDir = Param.directory(Param.flagKind, "output-dir")
  *
@@ -697,8 +663,6 @@ export const directory = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic file parameter
  * const outputFile = Param.file(Param.flagKind, "output")
  *
@@ -733,8 +697,6 @@ export const file = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Create a password parameter
  * const password = Param.redacted(Param.flagKind, "password")
  *
@@ -765,8 +727,6 @@ export const redacted = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Read a config file as string
  * const configContent = Param.fileText(Param.flagKind, "config")
  *
@@ -799,8 +759,6 @@ export const fileText = <Kind extends ParamKind>(kind: Kind, name: string): Para
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Will use the extension of the file passed on the command line to determine
  * // the parser to use
  * const config = Param.fileParse(Param.flagKind, "config")
@@ -833,8 +791,6 @@ export const fileParse = <Kind extends ParamKind>(
  * ```ts
  * import { Schema } from "effect"
  * import { Param } from "effect/unstable/cli"
- * // @internal - this module is not exported publicly
- *
  * // Parse JSON config file
  * const configSchema = Schema.Struct({
  *   port: Schema.Number,
@@ -859,7 +815,7 @@ export const fileParse = <Kind extends ParamKind>(
 export const fileSchema = <Kind extends ParamKind, A>(
   kind: Kind,
   name: string,
-  schema: Schema.Decoder<A>,
+  schema: Schema.ConstraintDecoder<A, Environment>,
   options?: Primitive.FileSchemaOptions | undefined
 ): Param<Kind, A> =>
   makeSingle({
@@ -886,8 +842,6 @@ export const fileSchema = <Kind extends ParamKind, A>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const env = Param.keyValuePair(Param.flagKind, "env")
  * // --env FOO=bar --env BAZ=qux will parse to { FOO: "bar", BAZ: "qux" }
  *
@@ -927,8 +881,6 @@ export const keyValuePair = <Kind extends ParamKind>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const disabledDebugParam = Param.none(Param.flagKind)
  *
  * const makeDebugParam = (enableDebug: boolean) =>
@@ -968,8 +920,6 @@ const FLAG_DASH_REGEXP = /^-+/
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const force = Param.boolean(Param.flagKind, "force").pipe(
  *   Param.withAlias("-f"),
  *   Param.withAlias("-F")
@@ -1009,8 +959,6 @@ export const withAlias: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const verbose = Param.boolean(Param.flagKind, "verbose").pipe(
  *   Param.withAlias("-v"),
  *   Param.withDescription("Enable verbose output")
@@ -1045,8 +993,6 @@ export const withDescription: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const experimental = Param.boolean(Param.flagKind, "experimental-foo").pipe(
  *   Param.withHidden
  * )
@@ -1070,8 +1016,6 @@ export const withHidden = <Kind extends ParamKind, A>(self: Param<Kind, A>): Par
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const port = Param.integer(Param.flagKind, "port").pipe(
  *   Param.map((n) => ({ port: n, url: `http://localhost:${n}` }))
  * )
@@ -1119,8 +1063,6 @@ const transform = <Kind extends ParamKind, A, B>(
  * import { Effect } from "effect"
  * import { CliError, Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const validatedEmail = Param.string(Param.flagKind, "email").pipe(
  *   Param.mapEffect((email) =>
  *     email.includes("@")
@@ -1170,8 +1112,6 @@ export const mapEffect: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const parsedJson = Param.string(Param.flagKind, "config").pipe(
  *   Param.mapTryCatch(
  *     (str) => JSON.parse(str),
@@ -1293,8 +1233,6 @@ export const optional = <Kind extends ParamKind, A>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Using the pipe operator to make an option optional
  * const port = Param.integer(Param.flagKind, "port").pipe(
  *   Param.withDefault(8080)
@@ -1470,8 +1408,6 @@ export type VariadicParamOptions = {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Basic variadic parameter (0 to infinity)
  * const tags = Param.variadic(Param.string(Param.flagKind, "tag"))
  *
@@ -1526,8 +1462,6 @@ export const variadic = <Kind extends ParamKind, A>(
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Allow 1-3 file inputs
  * const files = Param.string(Param.flagKind, "file").pipe(
  *   Param.between(1, 3),
@@ -1576,8 +1510,6 @@ export const between: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Allow at most 3 warning suppressions
  * const suppressions = Param.string(Param.flagKind, "suppress").pipe(
  *   Param.atMost(3)
@@ -1613,8 +1545,6 @@ export const atMost: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * // Require at least 2 input files
  * const inputs = Param.string(Param.flagKind, "input").pipe(
  *   Param.atLeast(2),
@@ -1652,8 +1582,6 @@ export const atLeast: {
  * ```ts
  * import { Option } from "effect"
  * import { Param } from "effect/unstable/cli"
- * // @internal - this module is not exported publicly
- *
  * const positiveInt = Param.integer(Param.flagKind, "count").pipe(
  *   Param.filterMap(
  *     (n) => n > 0 ? Option.some(n) : Option.none(),
@@ -1705,8 +1633,6 @@ export const filterMap: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const evenNumber = Param.integer(Param.flagKind, "num").pipe(
  *   Param.filter(
  *     (n) => n % 2 === 0,
@@ -1747,8 +1673,6 @@ export const filter: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const port = Param.integer(Param.flagKind, "port").pipe(
  *   Param.withMetavar("PORT"),
  *   Param.filter(
@@ -1782,8 +1706,6 @@ export const withMetavar: {
  * ```ts
  * import { Schema } from "effect"
  * import { Param } from "effect/unstable/cli"
- * // @internal - this module is not exported publicly
- *
  * const isEmail = Schema.isPattern(/^[^\s@]+@[^\s@]+\.[^\s@]+$/)
  *
  * const Email = Schema.String.pipe(
@@ -1799,8 +1721,15 @@ export const withMetavar: {
  * @since 4.0.0
  */
 export const withSchema: {
-  <A, B>(schema: Schema.Codec<B, A>): <Kind extends ParamKind>(self: Param<Kind, A>) => Param<Kind, B>
-  <Kind extends ParamKind, A, B>(self: Param<Kind, A>, schema: Schema.Codec<B, A>): Param<Kind, B>
+  <A, B>(
+    schema: Schema.Codec<B, A, Environment, Environment>
+  ): <Kind extends ParamKind>(
+    self: Param<Kind, A>
+  ) => Param<Kind, B>
+  <Kind extends ParamKind, A, B>(
+    self: Param<Kind, A>,
+    schema: Schema.Codec<B, A, Environment, Environment>
+  ): Param<Kind, B>
 } = dual(2, <Kind extends ParamKind, A, B>(
   self: Param<Kind, A>,
   schema: Schema.Codec<B, A>
@@ -1826,8 +1755,6 @@ export const withSchema: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const config = Param.file(Param.flagKind, "config").pipe(
  *   Param.orElse(() => Param.string(Param.flagKind, "config-url"))
  * )
@@ -1867,8 +1794,6 @@ export const orElse: {
  * ```ts
  * import { Param } from "effect/unstable/cli"
  *
- * // @internal - this module is not exported publicly
- *
  * const configSource = Param.file(Param.flagKind, "config").pipe(
  *   Param.orElseResult(() => Param.string(Param.flagKind, "config-url"))
  * )

package/repos/effect/packages/effect/src/unstable/cli/Primitive.ts

@@ -24,6 +24,7 @@ import * as Schema from "../../Schema.ts"
 import type { Formatter } from "../../SchemaIssue.ts"
 import type * as Struct from "../../Struct.ts"
 import type { Covariant } from "../../Types.ts"
+import type { Environment } from "./Command.ts"
 
 const TypeId = "~effect/cli/Primitive"
 
@@ -58,7 +59,7 @@ const TypeId = "~effect/cli/Primitive"
  */
 export interface Primitive<out A> extends Primitive.Variance<A> {
   readonly _tag: string
-  readonly parse: (value: string) => Effect.Effect<A, string, FileSystem.FileSystem | Path.Path>
+  readonly parse: (value: string) => Effect.Effect<A, string, Environment>
 }
 
 /**
@@ -97,9 +98,7 @@ export const isBoolean = (p: Primitive<unknown>): p is Primitive<boolean> => p._
 
 const makePrimitive = <A>(
   tag: string,
-  parse: (
-    value: string
-  ) => Effect.Effect<A, string, FileSystem.FileSystem | Path.Path>
+  parse: (value: string) => Effect.Effect<A, string, Environment>
 ): Primitive<A> =>
   Object.assign(Object.create(Proto), {
     _tag: tag,
@@ -108,7 +107,7 @@ const makePrimitive = <A>(
 
 const makeSchemaPrimitive = <T, E>(
   tag: string,
-  schema: Schema.Codec<T, E>
+  schema: Schema.Codec<T, E, Environment, Environment>
 ): Primitive<T> => {
   const toCodecStringTree = Schema.toCodecStringTree(schema)
   const decode = Schema.decodeUnknownEffect(toCodecStringTree)
@@ -614,7 +613,7 @@ export type FileSchemaOptions = Struct.Simplify<
  * @since 4.0.0
  */
 export const fileSchema = <A>(
-  schema: Schema.Decoder<A>,
+  schema: Schema.ConstraintDecoder<A, Environment>,
   options?: FileSchemaOptions | undefined
 ): Primitive<A> => {
   const decode = Schema.decodeUnknownEffect(schema)

package/repos/effect/packages/effect/src/unstable/cli/Prompt.ts

@@ -1364,7 +1364,7 @@ const runLoop = Effect.fnUntraced(
       yield* Effect.orDie(terminal.display(msg))
       if (loop.events) {
         const takeInput = Queue.take(input).pipe(
-          Effect.map((event) => ({ _tag: "Input" as const, event }))
+          Effect.map((input) => ({ _tag: "Input" as const, input }))
         )
         const result = yield* Effect.raceFirst(
           takeInput,

package/repos/effect/packages/effect/src/unstable/cli/internal/ansi.ts

@@ -51,54 +51,21 @@ export const eraseLine = `${ESC}2K`
 /** @internal */
 export const beep = BEL
 
-/** @internal */
-export const black = `${ESC}30m`
-
 /** @internal */
 export const red = `${ESC}31m`
 
 /** @internal */
 export const green = `${ESC}32m`
 
-/** @internal */
-export const yellow = `${ESC}33m`
-
-/** @internal */
-export const blue = `${ESC}34m`
-
-/** @internal */
-export const magenta = `${ESC}35m`
-
-/** @internal */
-export const cyan = `${ESC}36m`
-
 /** @internal */
 export const white = `${ESC}37m`
 
 /** @internal */
 export const blackBright = `${ESC}90m`
 
-/** @internal */
-export const redBright = `${ESC}91m`
-
-/** @internal */
-export const greenBright = `${ESC}92m`
-
-/** @internal */
-export const yellowBright = `${ESC}93m`
-
-/** @internal */
-export const blueBright = `${ESC}94m`
-
-/** @internal */
-export const magentaBright = `${ESC}95m`
-
 /** @internal */
 export const cyanBright = `${ESC}96m`
 
-/** @internal */
-export const whiteBright = `${ESC}97m`
-
 export const annotate = (text: string, ...styles: Array<string | Array<string>>) => {
   const flat = styles.flat()
   return `${flat.join("")}${text}${reset}`

package/repos/effect/packages/effect/src/unstable/cli/internal/config.ts

@@ -46,7 +46,6 @@
  * 1. Flat iteration over all params for parsing/validation
  * 2. Reconstruction of original nested shape for handler input
  */
-import * as Predicate from "../../../Predicate.ts"
 import * as Param from "../Param.ts"
 
 /* ========================================================================== */
@@ -105,13 +104,6 @@ export declare namespace ConfigInternal {
     | { readonly _tag: "Nested"; readonly tree: Tree }
 }
 
-/* ========================================================================== */
-/* Guards                                                                     */
-/* ========================================================================== */
-
-/** @internal */
-export const isConfigInternal = (u: unknown): u is ConfigInternal => Predicate.hasProperty(u, ConfigInternalTypeId)
-
 /* ========================================================================== */
 /* Parsing                                                                    */
 /* ========================================================================== */

package/repos/effect/packages/effect/src/unstable/cli/internal/parser.ts

@@ -27,7 +27,7 @@
 import * as Effect from "../../../Effect.ts"
 import * as Option from "../../../Option.ts"
 import * as CliError from "../CliError.ts"
-import type { Command, ParsedTokens } from "../Command.ts"
+import type { Command, Environment, ParsedTokens } from "../Command.ts"
 import * as Param from "../Param.ts"
 import * as Primitive from "../Primitive.ts"
 import { suggest } from "./auto-suggest.ts"
@@ -50,7 +50,7 @@ export const parseArgs = (
   lexResult: LexResult,
   command: Command.Any,
   commandPath: ReadonlyArray<string> = []
-): Effect.Effect<ParsedTokens, never, Param.Environment> =>
+): Effect.Effect<ParsedTokens, never, Environment> =>
   Effect.gen(function*() {
     const { tokens, trailingOperands: afterEndOfOptions } = lexResult
     const newCommandPath = [...commandPath, command.name]

package/repos/effect/packages/effect/src/unstable/cluster/MessageStorage.ts

@@ -1061,7 +1061,7 @@ export const layerMemory: Layer.Layer<
 
 const EnvelopeWithReply: Schema.Struct<
   {
-    readonly envelope: Schema.Decoder<Envelope.PartialRequest | Envelope.AckChunk | Envelope.Interrupt>
+    readonly envelope: Schema.ConstraintDecoder<Envelope.PartialRequest | Envelope.AckChunk | Envelope.Interrupt>
     readonly lastSentReply: Schema.Option<Schema.Codec<Reply.Encoded>>
   }
 > = Schema.Struct({

package/repos/effect/packages/effect/src/unstable/cluster/Reply.ts

@@ -234,7 +234,7 @@ export class Chunk<R extends Rpc.Any> extends Data.TaggedClass("Chunk")<{
    *
    * @since 4.0.0
    */
-  static schemaFrom<Success extends Schema.Top>(
+  static schemaFrom<Success extends Schema.Constraint>(
     success: Success
   ): Schema.declareConstructor<Chunk<Rpc.Any>, Chunk<Rpc.Any>, readonly [Success]> {
     // TODO: extract to a helper function
@@ -336,7 +336,11 @@ export class WithExit<R extends Rpc.Any> extends Data.TaggedClass("WithExit")<{
    *
    * @since 4.0.0
    */
-  static schemaFrom<Success extends Schema.Top, Error extends Schema.Top, Defect extends Schema.Top>(
+  static schemaFrom<
+    Success extends Schema.Constraint,
+    Error extends Schema.Constraint,
+    Defect extends Schema.Constraint
+  >(
     exitSchema: Schema.Exit<Success, Error, Defect>
   ): Schema.declareConstructor<
     WithExit<Rpc.Any>,

package/repos/effect/packages/effect/src/unstable/cluster/ShardingConfig.ts

@@ -241,11 +241,11 @@ export const config: Config.Config<ShardingConfig["Service"]> = Config.all({
     Config.withDefault(defaults.runnerShardWeight)
     // Config.withDescription("A number that determines how many shards this runner will be assigned relative to other runners.")
   ),
-  availableShardGroups: Config.schema(Schema.Array(Schema.String), "availableShardGroups").pipe(
+  availableShardGroups: Config.schema(Config.Array(Schema.String), "availableShardGroups").pipe(
     Config.withDefault(["default"])
     // Config.withDescription("The shard groups available across all runners.")
   ),
-  assignedShardGroups: Config.schema(Schema.Array(Schema.String), "shardGroups").pipe(
+  assignedShardGroups: Config.schema(Config.Array(Schema.String), "shardGroups").pipe(
     Config.withDefault(["default"])
     // Config.withDescription("The shard groups that are assigned to this runner.")
   ),

package/repos/effect/packages/effect/src/unstable/devtools/DevToolsSchema.ts

@@ -261,7 +261,7 @@ export const MetricLabel = Schema.Struct({
  */
 export type MetricLabel = Schema.Schema.Type<typeof MetricLabel>
 
-const metric = <Type extends string, State extends Schema.Top>(type: Type, state: State) =>
+const metric = <Type extends string, State extends Schema.Constraint>(type: Type, state: State) =>
   Schema.Struct({
     id: Schema.String,
     type: Schema.tag(type),

package/repos/effect/packages/effect/src/unstable/encoding/Msgpack.ts

@@ -101,7 +101,7 @@ export const encode = <IE = never, Done = unknown>(): Channel.Channel<
  * @category constructors
  * @since 4.0.0
  */
-export const encodeSchema = <S extends Schema.Top>(
+export const encodeSchema = <S extends Schema.Constraint>(
   schema: S
 ) =>
 <IE = never, Done = unknown>(): Channel.Channel<
@@ -181,7 +181,7 @@ export const decode = <IE = never, Done = unknown>(): Channel.Channel<
  * @category constructors
  * @since 4.0.0
  */
-export const decodeSchema = <S extends Schema.Top>(
+export const decodeSchema = <S extends Schema.Constraint>(
   schema: S
 ) =>
 <IE = never, Done = unknown>(): Channel.Channel<
@@ -243,7 +243,7 @@ export const duplex = <R, IE, OE, OutDone, InDone>(
  * @since 4.0.0
  */
 export const duplexSchema: {
-  <In extends Schema.Top, Out extends Schema.Top>(
+  <In extends Schema.Constraint, Out extends Schema.Constraint>(
     options: {
       readonly inputSchema: In
       readonly outputSchema: Out
@@ -267,7 +267,7 @@ export const duplexSchema: {
     InDone,
     R | In["EncodingServices"] | Out["DecodingServices"]
   >
-  <Out extends Schema.Top, In extends Schema.Top, OutErr, OutDone, InErr, InDone, R>(
+  <Out extends Schema.Constraint, In extends Schema.Constraint, OutErr, OutDone, InErr, InDone, R>(
     self: Channel.Channel<
       Arr.NonEmptyReadonlyArray<Uint8Array<ArrayBuffer>>,
       OutErr,
@@ -290,7 +290,7 @@ export const duplexSchema: {
     InDone,
     R | In["EncodingServices"] | Out["DecodingServices"]
   >
-} = dual(2, <Out extends Schema.Top, In extends Schema.Top, OutErr, OutDone, InErr, InDone, R>(
+} = dual(2, <Out extends Schema.Constraint, In extends Schema.Constraint, OutErr, OutDone, InErr, InDone, R>(
   self: Channel.Channel<
     Arr.NonEmptyReadonlyArray<Uint8Array<ArrayBuffer>>,
     OutErr,
@@ -325,7 +325,9 @@ export const duplexSchema: {
  * @category schemas
  * @since 4.0.0
  */
-export interface schema<S extends Schema.Top> extends Schema.decodeTo<S, Schema.instanceOf<Uint8Array<ArrayBuffer>>> {}
+export interface schema<S extends Schema.Constraint>
+  extends Schema.decodeTo<S, Schema.instanceOf<Uint8Array<ArrayBuffer>>>
+{}
 
 /**
  * Schema for decoding MessagePack bytes into values and encoding values back to
@@ -377,7 +379,7 @@ export const transformation: SchemaTransformation.Transformation<
  * @category schemas
  * @since 4.0.0
  */
-export const schema = <S extends Schema.Top>(schema: S): schema<S> =>
+export const schema = <S extends Schema.Constraint>(schema: S): schema<S> =>
   (Schema.Uint8Array as Schema.instanceOf<Uint8Array<ArrayBuffer>>).pipe(
     Schema.decodeTo(schema, transformation)
   )