@effect/platform 0.43.10 → 0.44.0

package/src/CommandExecutor.ts

@@ -20,32 +20,32 @@ export interface CommandExecutor {
    * Returns the exit code of the command after the process has completed
    * execution.
    */
-  readonly exitCode: (command: Command) => Effect<never, PlatformError, ExitCode>
+  readonly exitCode: (command: Command) => Effect<ExitCode, PlatformError>
   /**
    * Start running the command and return a handle to the running process.
    */
-  readonly start: (command: Command) => Effect<Scope, PlatformError, Process>
+  readonly start: (command: Command) => Effect<Process, PlatformError, Scope>
   /**
    * Runs the command returning the entire output as a string with the
    * specified encoding.
    *
    * If an encoding is not specified, the encoding will default to `utf-8`.
    */
-  readonly string: (command: Command, encoding?: string) => Effect<never, PlatformError, string>
+  readonly string: (command: Command, encoding?: string) => Effect<string, PlatformError>
   /**
    * Runs the command returning the entire output as an array of lines.
    *
    * If an encoding is not specified, the encoding will default to `utf-8`.
    */
-  readonly lines: (command: Command, encoding?: string) => Effect<never, PlatformError, ReadonlyArray<string>>
+  readonly lines: (command: Command, encoding?: string) => Effect<ReadonlyArray<string>, PlatformError>
   /**
    * Runs the command returning the output as a `Stream`.
    */
-  readonly stream: (command: Command) => Stream<never, PlatformError, Uint8Array>
+  readonly stream: (command: Command) => Stream<Uint8Array, PlatformError>
   /**
    * Runs the command returning the output as a `Stream` of lines.
    */
-  readonly streamLines: (command: Command, encoding?: string) => Stream<never, PlatformError, string>
+  readonly streamLines: (command: Command, encoding?: string) => Stream<string, PlatformError>
 }
 
 /**
@@ -80,29 +80,29 @@ export interface Process {
    * Waits for the process to exit and returns the `ExitCode` of the command
    * that was run.
    */
-  readonly exitCode: Effect<never, PlatformError, ExitCode>
+  readonly exitCode: Effect<ExitCode, PlatformError>
   /**
    * Returns `true` if the process is still running, otherwise returns `false`.
    */
-  readonly isRunning: Effect<never, PlatformError, boolean>
+  readonly isRunning: Effect<boolean, PlatformError>
   /**
    * Kills the running process with the provided signal.
    *
    * If no signal is provided, the signal will defaults to `SIGTERM`.
    */
-  readonly kill: (signal?: Signal) => Effect<never, PlatformError, void>
+  readonly kill: (signal?: Signal) => Effect<void, PlatformError>
   /**
    * The standard error stream of the process.
    */
-  readonly stderr: Stream<never, PlatformError, Uint8Array>
+  readonly stderr: Stream<Uint8Array, PlatformError>
   /**
    * The standard input sink of the process.
    */
-  readonly stdin: Sink<never, PlatformError, Uint8Array, never, void>
+  readonly stdin: Sink<void, Uint8Array, never, PlatformError>
   /**
    * The standard output stream of the process.
    */
-  readonly stdout: Stream<never, PlatformError, Uint8Array>
+  readonly stdout: Stream<Uint8Array, PlatformError>
 }
 
 /**
@@ -188,5 +188,5 @@ export const ProcessId: Brand.Brand.Constructor<Process.Id> = internal.ProcessId
  * @category constructors
  */
 export const makeExecutor: (
-  start: (command: Command) => Effect<Scope, PlatformError, Process>
+  start: (command: Command) => Effect<Process, PlatformError, Scope>
 ) => CommandExecutor = internal.makeExecutor

package/src/Effectify.ts

@@ -29,16 +29,16 @@ export type Effectify<T, E> = T extends {
   (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
   (...args: ArgsWithCallback<infer Args10, infer _E10, infer A10>): infer _R10
 } ? {
-    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
-    (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
-    (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
-    (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
-    (...args: Args8): Effect.Effect<never, E, WithoutNull<A8>>
-    (...args: Args9): Effect.Effect<never, E, WithoutNull<A9>>
-    (...args: Args10): Effect.Effect<never, E, WithoutNull<A10>>
+    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+    (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
+    (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
+    (...args: Args9): Effect.Effect<WithoutNull<A9>, E>
+    (...args: Args10): Effect.Effect<WithoutNull<A10>, E>
   }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
@@ -51,15 +51,15 @@ export type Effectify<T, E> = T extends {
     (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
     (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-      (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
-      (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
-      (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
-      (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
-      (...args: Args8): Effect.Effect<never, E, WithoutNull<A8>>
-      (...args: Args9): Effect.Effect<never, E, WithoutNull<A9>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+      (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
+      (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
+      (...args: Args9): Effect.Effect<WithoutNull<A9>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
@@ -71,14 +71,14 @@ export type Effectify<T, E> = T extends {
     (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
     (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-      (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
-      (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
-      (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
-      (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
-      (...args: Args8): Effect.Effect<never, E, WithoutNull<A8>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+      (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
+      (...args: Args8): Effect.Effect<WithoutNull<A8>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
@@ -89,13 +89,13 @@ export type Effectify<T, E> = T extends {
     (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
     (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-      (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
-      (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
-      (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
-      (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
+      (...args: Args7): Effect.Effect<WithoutNull<A7>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
@@ -105,12 +105,12 @@ export type Effectify<T, E> = T extends {
     (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
     (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-      (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
-      (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
-      (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
+      (...args: Args6): Effect.Effect<WithoutNull<A6>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
@@ -119,11 +119,11 @@ export type Effectify<T, E> = T extends {
     (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
     (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-      (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
-      (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
+      (...args: Args5): Effect.Effect<WithoutNull<A5>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
@@ -131,31 +131,31 @@ export type Effectify<T, E> = T extends {
     (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
     (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
-      (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
+      (...args: Args4): Effect.Effect<WithoutNull<A4>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
     (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
     (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
-      (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
+      (...args: Args3): Effect.Effect<WithoutNull<A3>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
     (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
-      (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
+      (...args: Args2): Effect.Effect<WithoutNull<A2>, E>
     }
   : T extends {
     (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
   } ? {
-      (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+      (...args: Args1): Effect.Effect<WithoutNull<A1>, E>
     }
   : never
 

package/src/Error.ts

@@ -1,7 +1,6 @@
 /**
  * @since 1.0.0
  */
-import type * as Data from "effect/Data"
 import * as internal from "./internal/error.js"
 
 /**
@@ -30,7 +29,7 @@ export declare namespace PlatformError {
    * @since 1.0.0
    * @category models
    */
-  export interface Base extends Data.Case {
+  export interface Base {
     readonly [PlatformErrorTypeId]: typeof PlatformErrorTypeId
     readonly _tag: string
     readonly module: "Clipboard" | "Command" | "FileSystem" | "KeyValueStore" | "Path" | "Stream" | "Terminal"
@@ -41,7 +40,7 @@ export declare namespace PlatformError {
   /**
    * @since 1.0.0
    */
-  export type ProvidedFields = PlatformErrorTypeId | "_tag" | keyof Data.Case
+  export type ProvidedFields = PlatformErrorTypeId | "_tag"
 }
 
 /**

package/src/FileSystem.ts

@@ -23,7 +23,7 @@ export interface FileSystem {
   readonly access: (
     path: string,
     options?: AccessFileOptions
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Copy a file or directory from `fromPath` to `toPath`.
    *
@@ -33,21 +33,21 @@ export interface FileSystem {
     fromPath: string,
     toPath: string,
     options?: CopyOptions
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Copy a file from `fromPath` to `toPath`.
    */
   readonly copyFile: (
     fromPath: string,
     toPath: string
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Change the permissions of a file.
    */
   readonly chmod: (
     path: string,
     mode: number
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Change the owner and group of a file.
    */
@@ -55,20 +55,20 @@ export interface FileSystem {
     path: string,
     uid: number,
     gid: number
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Check if a path exists.
    */
   readonly exists: (
     path: string
-  ) => Effect.Effect<never, PlatformError, boolean>
+  ) => Effect.Effect<boolean, PlatformError>
   /**
    * Create a hard link from `fromPath` to `toPath`.
    */
   readonly link: (
     fromPath: string,
     toPath: string
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Create a directory at `path`. You can optionally specify the mode and
    * whether to recursively create nested directories.
@@ -76,7 +76,7 @@ export interface FileSystem {
   readonly makeDirectory: (
     path: string,
     options?: MakeDirectoryOptions
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Create a temporary directory.
    *
@@ -89,7 +89,7 @@ export interface FileSystem {
    */
   readonly makeTempDirectory: (
     options?: MakeTempDirectoryOptions
-  ) => Effect.Effect<never, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError>
   /**
    * Create a temporary directory inside a scope.
    *
@@ -98,7 +98,7 @@ export interface FileSystem {
    */
   readonly makeTempDirectoryScoped: (
     options?: MakeTempDirectoryOptions
-  ) => Effect.Effect<Scope, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError, Scope>
   /**
    * Create a temporary file.
    * The directory creation is functionally equivalent to `makeTempDirectory`.
@@ -106,7 +106,7 @@ export interface FileSystem {
    */
   readonly makeTempFile: (
     options?: MakeTempFileOptions
-  ) => Effect.Effect<never, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError>
   /**
    * Create a temporary file inside a scope.
    *
@@ -115,7 +115,7 @@ export interface FileSystem {
    */
   readonly makeTempFileScoped: (
     options?: MakeTempFileOptions
-  ) => Effect.Effect<Scope, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError, Scope>
   /**
    * Open a file at `path` with the specified `options`.
    *
@@ -124,7 +124,7 @@ export interface FileSystem {
   readonly open: (
     path: string,
     options?: OpenFileOptions
-  ) => Effect.Effect<Scope, PlatformError, File>
+  ) => Effect.Effect<File, PlatformError, Scope>
   /**
    * List the contents of a directory.
    *
@@ -134,32 +134,32 @@ export interface FileSystem {
   readonly readDirectory: (
     path: string,
     options?: ReadDirectoryOptions
-  ) => Effect.Effect<never, PlatformError, ReadonlyArray<string>>
+  ) => Effect.Effect<ReadonlyArray<string>, PlatformError>
   /**
    * Read the contents of a file.
    */
   readonly readFile: (
     path: string
-  ) => Effect.Effect<never, PlatformError, Uint8Array>
+  ) => Effect.Effect<Uint8Array, PlatformError>
   /**
    * Read the contents of a file.
    */
   readonly readFileString: (
     path: string,
     encoding?: string
-  ) => Effect.Effect<never, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError>
   /**
    * Read the destination of a symbolic link.
    */
   readonly readLink: (
     path: string
-  ) => Effect.Effect<never, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError>
   /**
    * Resolve a path to its canonicalized absolute pathname.
    */
   readonly realPath: (
     path: string
-  ) => Effect.Effect<never, PlatformError, string>
+  ) => Effect.Effect<string, PlatformError>
   /**
    * Remove a file or directory.
    *
@@ -169,27 +169,27 @@ export interface FileSystem {
   readonly remove: (
     path: string,
     options?: RemoveOptions
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Rename a file or directory.
    */
   readonly rename: (
     oldPath: string,
     newPath: string
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Create a writable `Sink` for the specified `path`.
    */
   readonly sink: (
     path: string,
     options?: SinkOptions
-  ) => Sink<never, PlatformError, Uint8Array, never, void>
+  ) => Sink<void, Uint8Array, never, PlatformError>
   /**
    * Get information about a file at `path`.
    */
   readonly stat: (
     path: string
-  ) => Effect.Effect<never, PlatformError, File.Info>
+  ) => Effect.Effect<File.Info, PlatformError>
   /**
    * Create a readable `Stream` for the specified `path`.
    *
@@ -205,14 +205,14 @@ export interface FileSystem {
   readonly stream: (
     path: string,
     options?: StreamOptions
-  ) => Stream<never, PlatformError, Uint8Array>
+  ) => Stream<Uint8Array, PlatformError>
   /**
    * Create a symbolic link from `fromPath` to `toPath`.
    */
   readonly symlink: (
     fromPath: string,
     toPath: string
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Truncate a file to a specified length. If the `length` is not specified,
    * the file will be truncated to length `0`.
@@ -220,7 +220,7 @@ export interface FileSystem {
   readonly truncate: (
     path: string,
     length?: SizeInput
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Change the file system timestamps of the file at `path`.
    */
@@ -228,7 +228,7 @@ export interface FileSystem {
     path: string,
     atime: Date | number,
     mtime: Date | number
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Write data to a file at `path`.
    */
@@ -236,7 +236,7 @@ export interface FileSystem {
     path: string,
     data: Uint8Array,
     options?: WriteFileOptions
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
   /**
    * Write a string to a file at `path`.
    */
@@ -244,7 +244,7 @@ export interface FileSystem {
     path: string,
     data: string,
     options?: WriteFileStringOptions
-  ) => Effect.Effect<never, PlatformError, void>
+  ) => Effect.Effect<void, PlatformError>
 }
 
 /**
@@ -462,13 +462,13 @@ export const isFile = (u: unknown): u is File => typeof u === "object" && u !==
 export interface File {
   readonly [FileTypeId]: FileTypeId
   readonly fd: File.Descriptor
-  readonly stat: Effect.Effect<never, PlatformError, File.Info>
-  readonly seek: (offset: SizeInput, from: SeekMode) => Effect.Effect<never, never, void>
-  readonly read: (buffer: Uint8Array) => Effect.Effect<never, PlatformError, Size>
-  readonly readAlloc: (size: SizeInput) => Effect.Effect<never, PlatformError, Option<Uint8Array>>
-  readonly truncate: (length?: SizeInput) => Effect.Effect<never, PlatformError, void>
-  readonly write: (buffer: Uint8Array) => Effect.Effect<never, PlatformError, Size>
-  readonly writeAll: (buffer: Uint8Array) => Effect.Effect<never, PlatformError, void>
+  readonly stat: Effect.Effect<File.Info, PlatformError>
+  readonly seek: (offset: SizeInput, from: SeekMode) => Effect.Effect<void>
+  readonly read: (buffer: Uint8Array) => Effect.Effect<Size, PlatformError>
+  readonly readAlloc: (size: SizeInput) => Effect.Effect<Option<Uint8Array>, PlatformError>
+  readonly truncate: (length?: SizeInput) => Effect.Effect<void, PlatformError>
+  readonly write: (buffer: Uint8Array) => Effect.Effect<Size, PlatformError>
+  readonly writeAll: (buffer: Uint8Array) => Effect.Effect<void, PlatformError>
 }
 
 /**

package/src/Http/App.ts

@@ -20,7 +20,7 @@ import * as ServerResponse from "./ServerResponse.js"
  * @since 1.0.0
  * @category models
  */
-export interface HttpApp<R, E, A> extends Effect.Effect<R | ServerRequest.ServerRequest, E, A> {}
+export interface HttpApp<R, E, A> extends Effect.Effect<A, E, R | ServerRequest.ServerRequest> {}
 
 /**
  * @since 1.0.0
@@ -43,7 +43,7 @@ export const withDefaultMiddleware = <R, E>(
 export type PreResponseHandler = (
   request: ServerRequest.ServerRequest,
   response: ServerResponse.ServerResponse
-) => Effect.Effect<never, ServerError.ResponseError, ServerResponse.ServerResponse>
+) => Effect.Effect<ServerResponse.ServerResponse, ServerError.ResponseError>
 
 /**
  * @since 1.0.0
@@ -62,7 +62,7 @@ function noopHandler(_request: ServerRequest.ServerRequest, response: ServerResp
  * @since 1.0.0
  * @category fiber refs
  */
-export const preResponseHandler: Effect.Effect<never, never, PreResponseHandler> = Effect.map(
+export const preResponseHandler: Effect.Effect<PreResponseHandler> = Effect.map(
   FiberRef.get(currentPreResponseHandlers),
   (handlers): PreResponseHandler =>
     handlers.length === 0 ?
@@ -81,7 +81,7 @@ export const preResponseHandler: Effect.Effect<never, never, PreResponseHandler>
  * @since 1.0.0
  * @category fiber refs
  */
-export const appendPreResponseHandler: (handler: PreResponseHandler) => Effect.Effect<never, never, void> = (
+export const appendPreResponseHandler: (handler: PreResponseHandler) => Effect.Effect<void> = (
   handler: PreResponseHandler
 ) =>
   FiberRef.update(
@@ -147,7 +147,7 @@ export const toWebHandler: <E>(self: Default<Scope.Scope, E>) => (request: Reque
  */
 export const toWebHandlerLayer = <R, E, RE>(
   self: Default<R | Scope.Scope, E>,
-  layer: Layer.Layer<never, RE, R>
+  layer: Layer.Layer<R, RE>
 ): {
   readonly close: () => Promise<void>
   readonly handler: (request: Request) => Promise<Response>

package/src/Http/Body.ts

@@ -3,7 +3,6 @@
  */
 import type * as ParseResult from "@effect/schema/ParseResult"
 import type * as Schema from "@effect/schema/Schema"
-import type * as Data from "effect/Data"
 import type * as Effect from "effect/Effect"
 import type * as Stream_ from "effect/Stream"
 import type * as PlatformError from "../Error.js"
@@ -40,8 +39,8 @@ export declare namespace Body {
   export interface Proto {
     readonly [TypeId]: TypeId
     readonly _tag: string
-    readonly contentType?: string
-    readonly contentLength?: number
+    readonly contentType?: string | undefined
+    readonly contentLength?: number | undefined
   }
 
   /**
@@ -73,7 +72,7 @@ export type ErrorTypeId = typeof ErrorTypeId
  * @since 1.0.0
  * @category errors
  */
-export interface BodyError extends Data.Case {
+export interface BodyError {
   readonly [ErrorTypeId]: ErrorTypeId
   readonly _tag: "BodyError"
   readonly reason: BodyErrorReason
@@ -158,15 +157,15 @@ export const unsafeJson: (body: unknown) => Uint8Array = internal.unsafeJson
  * @since 1.0.0
  * @category constructors
  */
-export const json: (body: unknown) => Effect.Effect<never, BodyError, Uint8Array> = internal.json
+export const json: (body: unknown) => Effect.Effect<Uint8Array, BodyError> = internal.json
 
 /**
  * @since 1.0.0
  * @category constructors
  */
-export const jsonSchema: <R, I, A>(
-  schema: Schema.Schema<R, I, A>
-) => (body: A) => Effect.Effect<R, BodyError, Uint8Array> = internal.jsonSchema
+export const jsonSchema: <A, I, R>(
+  schema: Schema.Schema<A, I, R>
+) => (body: A) => Effect.Effect<Uint8Array, BodyError, R> = internal.jsonSchema
 
 /**
  * @since 1.0.0
@@ -195,9 +194,9 @@ export const formData: (body: globalThis.FormData) => FormData = internal.formDa
  */
 export interface Stream extends Body.Proto {
   readonly _tag: "Stream"
-  readonly stream: Stream_.Stream<never, unknown, globalThis.Uint8Array>
+  readonly stream: Stream_.Stream<globalThis.Uint8Array, unknown>
   readonly contentType: string
-  readonly contentLength?: number
+  readonly contentLength?: number | undefined
 }
 
 /**
@@ -205,7 +204,7 @@ export interface Stream extends Body.Proto {
  * @category constructors
  */
 export const stream: (
-  body: Stream_.Stream<never, unknown, globalThis.Uint8Array>,
+  body: Stream_.Stream<globalThis.Uint8Array, unknown>,
   contentType?: string,
   contentLength?: number,
   etag?: string
@@ -218,7 +217,7 @@ export const stream: (
 export const file: (
   path: string,
   options?: FileSystem.StreamOptions & { readonly contentType?: string }
-) => Effect.Effect<FileSystem.FileSystem, PlatformError.PlatformError, Stream> = internal.file
+) => Effect.Effect<Stream, PlatformError.PlatformError, FileSystem.FileSystem> = internal.file
 
 /**
  * @since 1.0.0
@@ -228,7 +227,7 @@ export const fileInfo: (
   path: string,
   info: FileSystem.File.Info,
   options?: FileSystem.StreamOptions & { readonly contentType?: string }
-) => Effect.Effect<FileSystem.FileSystem, PlatformError.PlatformError, Stream> = internal.fileInfo
+) => Effect.Effect<Stream, PlatformError.PlatformError, FileSystem.FileSystem> = internal.fileInfo
 
 /**
  * @since 1.0.0