@monarcode/effetch 0.1.0-alpha.1 → 0.1.0-alpha.2

package/CHANGELOG.md

@@ -2,6 +2,29 @@
 
 All notable changes to `@monarcode/effetch`, newest first.
 
+## 0.1.0-alpha.2
+
+### Changed
+
+- `make`'s `error` option is now `defaultError`, so it reads differently from
+  a call's `error`, which replaces it.
+
+### Fixed
+
+- `query` now accepts values typed with an `interface`. Each property is
+  still checked, so a `Date`, a nested object or a function is rejected. The
+  new `QueryOf<Q>` type is the constraint; `QueryInput` is unchanged, and the
+  option types (`BaseOptions`, `NoBodyRequestOptions`, `RequestOptions`) take
+  an optional trailing `Q` parameter that defaults to it.
+- `HttpError.status` and `DecodeError.status` use `Schema.Finite` instead of
+  `Schema.Number`. The value is still a `number`, as before.
+
+### Documentation
+
+- Examples use `Schema.Finite` instead of `Schema.Number`. Through the JSON
+  codec, `Schema.Number` decodes `"NaN"`, `"Infinity"` and `"-Infinity"`
+  strings into numbers and encodes them back as strings.
+
 ## 0.1.0-alpha.1
 
 First release published from CI with npm provenance. No changes to the

package/README.md

@@ -20,7 +20,7 @@ import type * as Fetch from "@monarcode/effetch";
 
 declare const api: Fetch.Client;
 
-const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
 
 const todo = api.get("/todos/:id", { params: { id: 1 }, output: Todo });
 // Effect<{ readonly id: number; readonly title: string },
@@ -98,7 +98,7 @@ import * as Schema from "effect/Schema";
 import * as Fetch from "@monarcode/effetch";
 
 const Todo = Schema.Struct({
-  id: Schema.Number,
+  id: Schema.Finite,
   title: Schema.String,
   completed: Schema.Boolean,
 });
@@ -141,7 +141,7 @@ const session: { accessToken?: string } = {};
 const make = Fetch.make({
   baseUrl: Config.String("API_URL"),
   headers: { "x-client": "web" },
-  error: ApiError,
+  defaultError: ApiError,
   plugins: [
     logger(),
     retry(),
@@ -159,12 +159,12 @@ export const ApiLive = Layer.effect(Api)(make).pipe(
 );
 ```
 
-| Option    | Description                                                                                                                                                                                 |
-| --------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
-| `baseUrl` | Prepended to every path that isn't an absolute `http(s)://` URL. A string, or an Effect run once when the client is made (a `Config` works). It can't contain a query string or a fragment. |
-| `headers` | Sent with every request. A call's header of the same name wins. `content-type` and `content-length` are ignored here: they come from each body.                                             |
-| `error`   | The default schema for non-2xx response bodies (see [Errors](#errors)).                                                                                                                     |
-| `plugins` | See [Plugins](#plugins). The first one is the outermost.                                                                                                                                    |
+| Option         | Description                                                                                                                                                                                 |
+| -------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `baseUrl`      | Prepended to every path that isn't an absolute `http(s)://` URL. A string, or an Effect run once when the client is made (a `Config` works). It can't contain a query string or a fragment. |
+| `headers`      | Sent with every request. A call's header of the same name wins. `content-type` and `content-length` are ignored here: they come from each body.                                             |
+| `defaultError` | The schema for non-2xx response bodies of calls without their own `error` (see [Errors](#errors)).                                                                                          |
+| `plugins`      | See [Plugins](#plugins). The first one is the outermost.                                                                                                                                    |
 
 The client holds on to the `HttpClient`, the `baseUrl` and the services its
 plugins need. Its calls need nothing from the environment, apart from the
@@ -181,7 +181,7 @@ import type * as Fetch from "@monarcode/effetch";
 declare const api: Fetch.Client;
 
 const Todo = Schema.Struct({
-  id: Schema.Number,
+  id: Schema.Finite,
   title: Schema.String,
   done: Schema.Boolean,
   due: Schema.Date,
@@ -237,6 +237,11 @@ options)` do.
 An empty 2xx body (204, `HEAD`) decodes as JSON `null`: use `Schema.Void` for
 endpoints that return nothing.
 
+Use `Schema.Finite` rather than `Schema.Number` for numbers. Schemas go through
+Effect's JSON codec, where `Schema.Number` also decodes the strings `"NaN"`,
+`"Infinity"` and `"-Infinity"`, and encodes those values back to strings.
+`Schema.Finite` accepts every JSON number and rejects the rest.
+
 `client.httpClient` is the configured `HttpClient` underneath: base URL,
 default headers and plugins, but no status check and no decoding. Use it for
 anything the methods don't cover, such as streaming a response.
@@ -255,7 +260,7 @@ anything the methods don't cover, such as streaming a response.
 - `HttpError.headers` are Effect `Headers`: `authorization`, `set-cookie` and
   other sensitive headers print as `<redacted>`.
 - `HttpError.text` is the raw body. `body` is the body decoded with the
-  `error` schema, `undefined` if it didn't match, or the parsed JSON when
+  call's `error` schema (or the client's `defaultError`), `undefined` if it didn't match, or the parsed JSON when
   there's no schema. Reading it never fails the call.
 
 ```ts
@@ -266,7 +271,7 @@ import type * as Fetch from "@monarcode/effetch";
 
 declare const api: Fetch.Client;
 
-const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
 const ApiError = Schema.Struct({ code: Schema.String });
 
 export const todo = (id: number) =>
@@ -480,7 +485,7 @@ import * as Schema from "effect/Schema";
 
 import * as Fetch from "@monarcode/effetch";
 
-const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
 
 const sent: Array<string> = [];
 
@@ -571,10 +576,10 @@ page's URL.
   [writing plugins](#writing-a-plugin).
 - Option and result types, for wrapping the client in your own functions:
   `RequestOptions`, `NoBodyRequestOptions`, `BaseOptions`, `BodyOptions`,
-  `ParamsOption`, `QueryInput`, `QueryValue`, `AnySchema`, `Args`,
-  `Success`, `CallError`, `CallServices`, `CallEffect`, `NoBodyMethod`,
-  `BodyMethod`, `RequestMethod`, `PathParamNames`, `PathParams`,
-  `PathParamValue`.
+  `ParamsOption`, `QueryInput`, `QueryOf`, `QueryValue`, `AnySchema`,
+  `Args`, `Success`, `CallError`, `CallServices`, `CallEffect`,
+  `NoBodyMethod`, `BodyMethod`, `RequestMethod`, `PathParamNames`,
+  `PathParams`, `PathParamValue`.
 
 `@monarcode/effetch/plugins`:
 

package/dist/Client.d.ts

@@ -25,8 +25,8 @@ import { Plugin } from "./Plugin.js";
  *   `content-type` on a call to override it). When a call has an `output`
  *   schema, effetch sends `Accept: application/json` unless an `accept`
  *   header is set here or on the call.
- * - `error`: the default schema for non-2xx response bodies. A call's own
- *   `error` option replaces it.
+ * - `defaultError`: the schema for non-2xx response bodies of calls that
+ *   don't pass their own `error` option. A call's `error` replaces it.
  * - `plugins`: hooks into every call (see {@link Plugin}). `plugins[0]` is
  *   the outermost layer: its `onRequest` runs first and its `onResponse`
  *   last. Names must be unique. Pass the list inline: annotating it as
@@ -51,7 +51,7 @@ import { Plugin } from "./Plugin.js";
  * const make = Fetch.make({
  *   baseUrl: Config.String("API_URL"),
  *   headers: { accept: "application/json" },
- *   error: ApiError,
+ *   defaultError: ApiError,
  *   plugins: [apiKey],
  * });
  * ```
@@ -68,8 +68,8 @@ export interface ClientConfig<
 	readonly baseUrl?: string | Effect.Effect<string, BaseE, BaseR> | undefined;
 	/** Headers sent with every request. */
 	readonly headers?: Headers.Input | undefined;
-	/** Default schema for non-2xx response bodies. */
-	readonly error?: EB | undefined;
+	/** Schema for non-2xx response bodies, unless a call passes its own `error`. */
+	readonly defaultError?: EB | undefined;
 	/** Plugins, outermost first. Names must be unique. */
 	readonly plugins?: Ps | undefined;
 }
@@ -79,7 +79,7 @@ export interface ClientConfig<
  * can fail with the plugins' errors on top of effetch's own.
  *
  * - `Ps`: the plugins the client was made with.
- * - `EB`: the client's default `error` schema.
+ * - `EB`: the client's `defaultError` schema.
  *
  * @example
  * ```ts
@@ -87,7 +87,7 @@ export interface ClientConfig<
  * import * as Schema from "effect/Schema";
  * import * as Fetch from "@monarcode/effetch";
  *
- * const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+ * const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
  *
  * const program = (api: Fetch.Client) =>
  *   api.get("/todos/:id", { params: { id: 1 }, output: Todo }).pipe(
@@ -140,7 +140,7 @@ export interface Client<
 	 * import * as Schema from "effect/Schema";
 	 * import * as Fetch from "@monarcode/effetch";
 	 *
-	 * const Todo = Schema.Struct({ id: Schema.Number, done: Schema.Boolean });
+	 * const Todo = Schema.Struct({ id: Schema.Finite, done: Schema.Boolean });
 	 *
 	 * const complete = (api: Fetch.Client, id: number) =>
 	 *   api.request("PATCH", "/todos/:id", {
@@ -159,7 +159,7 @@ export interface Client<
 	 * import * as Schema from "effect/Schema";
 	 * import * as Fetch from "@monarcode/effetch";
 	 *
-	 * const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+	 * const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
 	 *
 	 * const list = (api: Fetch.Client) =>
 	 *   api.get("/todos", {
@@ -212,7 +212,7 @@ export interface Client<
 	 * import * as Fetch from "@monarcode/effetch";
 	 *
 	 * const NewTodo = Schema.Struct({ title: Schema.String, due: Schema.Date });
-	 * const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+	 * const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
 	 *
 	 * const create = (api: Fetch.Client) =>
 	 *   api.post("/todos", {
@@ -238,7 +238,7 @@ export interface Client<
 	 * import * as Schema from "effect/Schema";
 	 * import * as Fetch from "@monarcode/effetch";
 	 *
-	 * const Todo = Schema.Struct({ id: Schema.Number, title: Schema.String });
+	 * const Todo = Schema.Struct({ id: Schema.Finite, title: Schema.String });
 	 *
 	 * const replace = (api: Fetch.Client, todo: typeof Todo.Type) =>
 	 *   api.put("/todos/:id", {
@@ -259,7 +259,7 @@ export interface Client<
 	 * import * as Schema from "effect/Schema";
 	 * import * as Fetch from "@monarcode/effetch";
 	 *
-	 * const Todo = Schema.Struct({ id: Schema.Number, done: Schema.Boolean });
+	 * const Todo = Schema.Struct({ id: Schema.Finite, done: Schema.Boolean });
 	 *
 	 * const complete = (api: Fetch.Client, id: number) =>
 	 *   api.patch("/todos/:id", {

package/dist/Client.js

@@ -87,7 +87,7 @@ const make = (config = {}) => Effect.gen(function* () {
 	const chain = applyPlugins(mapClientErrors(provided), plugins, context);
 	const httpClient = HttpClient.mapRequestInput(HttpClient.transformResponse(chain, provideOverrides(void 0)), applyDefaults);
 	const call = makeCall({
-		errorSchema: config.error,
+		errorSchema: config.defaultError,
 		applyDefaults,
 		chain,
 		plugins,

package/dist/Errors.d.ts

@@ -46,7 +46,7 @@ declare const HttpError_base: Schema.Class<
 		{
 			readonly method: Schema.String;
 			readonly url: Schema.String;
-			readonly status: Schema.Number;
+			readonly status: Schema.Finite;
 			readonly headers: Schema.declare<Headers.Headers, unknown>;
 			readonly text: Schema.String;
 			readonly body: Schema.Unknown;
@@ -68,7 +68,8 @@ declare const HttpError_base: Schema.Class<
  *   sensitive ones (`set-cookie`, `authorization`, …) print as
  *   `<redacted>` when the error is logged or serialised.
  * - `text` is always the raw response body (`""` if it couldn't be read).
- * - `body` is the body decoded with the call's (or client's) `error` schema,
+ * - `body` is the body decoded with the call's `error` schema (or the client's
+ *   `defaultError`),
  *   or `undefined` if it didn't match. Without an `error` schema, `body` is
  *   the parsed JSON when `text` is valid JSON, else `undefined`. An empty
  *   body is always `undefined`. Reading `body` never fails the call.
@@ -140,7 +141,7 @@ declare const DecodeError_base: Schema.Class<
 		{
 			readonly method: Schema.String;
 			readonly url: Schema.String;
-			readonly status: Schema.Number;
+			readonly status: Schema.Finite;
 			readonly issue: Schema.Unknown;
 			readonly message: Schema.String;
 		}

package/dist/Errors.js

@@ -48,7 +48,8 @@ var NetworkError = class extends Schema.TaggedError()("NetworkError", {
 *   sensitive ones (`set-cookie`, `authorization`, …) print as
 *   `<redacted>` when the error is logged or serialised.
 * - `text` is always the raw response body (`""` if it couldn't be read).
-* - `body` is the body decoded with the call's (or client's) `error` schema,
+* - `body` is the body decoded with the call's `error` schema (or the client's
+*   `defaultError`),
 *   or `undefined` if it didn't match. Without an `error` schema, `body` is
 *   the parsed JSON when `text` is valid JSON, else `undefined`. An empty
 *   body is always `undefined`. Reading `body` never fails the call.
@@ -80,7 +81,7 @@ var NetworkError = class extends Schema.TaggedError()("NetworkError", {
 var HttpError = class extends Schema.TaggedError()("HttpError", {
 	method: Schema.String,
 	url: Schema.String,
-	status: Schema.Number,
+	status: Schema.Finite,
 	headers: Schema.declare(Headers.isHeaders),
 	text: Schema.String,
 	body: Schema.Unknown
@@ -124,7 +125,7 @@ var HttpError = class extends Schema.TaggedError()("HttpError", {
 var DecodeError = class extends Schema.TaggedError()("DecodeError", {
 	method: Schema.String,
 	url: Schema.String,
-	status: Schema.Number,
+	status: Schema.Finite,
 	issue: Schema.Unknown,
 	message: Schema.String
 }) {};

package/dist/Options.d.ts

@@ -46,6 +46,33 @@ export type QueryValue = UrlParams.Coercible;
 export type QueryInput = {
 	readonly [key: string]: QueryValue | ReadonlyArray<QueryValue>;
 };
+/**
+ * The constraint on a `query` of type `Q`: each of `Q`'s own properties must
+ * be a {@link QueryValue} or an array of them.
+ *
+ * Unlike {@link QueryInput}, this has no index signature, so it also accepts
+ * values typed with an `interface` (TypeScript never gives interfaces an
+ * implicit index signature).
+ *
+ * @example
+ * ```ts
+ * import type * as Fetch from "@monarcode/effetch";
+ *
+ * interface ListTodosParams {
+ *   readonly limit: number;
+ *   readonly tags?: ReadonlyArray<string> | undefined;
+ * }
+ *
+ * declare const params: ListTodosParams;
+ *
+ * const query: Fetch.QueryOf<ListTodosParams> = params;
+ * ```
+ *
+ * @since 0.1.0
+ */
+export type QueryOf<Q> = {
+	readonly [K in keyof Q]: QueryValue | ReadonlyArray<QueryValue>;
+};
 /**
  * Any Effect schema accepted by the `output`, `error` and `input` options.
  *
@@ -54,7 +81,7 @@ export type QueryInput = {
  * import * as Schema from "effect/Schema";
  * import type * as Fetch from "@monarcode/effetch";
  *
- * const Todo: Fetch.AnySchema = Schema.Struct({ id: Schema.Number });
+ * const Todo: Fetch.AnySchema = Schema.Struct({ id: Schema.Finite });
  * ```
  *
  * @since 0.1.0
@@ -98,13 +125,15 @@ export type ParamsOption<P extends string> = string extends P
  * - `O`: the `output` schema, or `undefined` for the raw response.
  * - `EB`: the `error` schema for non-2xx bodies.
  * - `Ps`: the client's plugins, for the `plugins` override map.
+ * - `Q`: the type of `query`, checked with {@link QueryOf}. Defaults to
+ *   {@link QueryInput}.
  *
  * @example
  * ```ts
  * import * as Schema from "effect/Schema";
  * import type * as Fetch from "@monarcode/effetch";
  *
- * const Todo = Schema.Struct({ id: Schema.Number });
+ * const Todo = Schema.Struct({ id: Schema.Finite });
  *
  * const options: Fetch.BaseOptions<typeof Todo, Schema.Unknown, []> = {
  *   query: { expand: "owner" },
@@ -119,9 +148,10 @@ export interface BaseOptions<
 	O extends AnySchema | undefined,
 	EB extends AnySchema,
 	Ps extends ReadonlyArray<Plugin.Any>,
+	Q extends QueryOf<Q> = QueryInput,
 > {
 	/** Query parameters. Arrays repeat the key; `null`/`undefined` are dropped. */
-	readonly query?: QueryInput | undefined;
+	readonly query?: Q | undefined;
 	/** Headers for this call, merged over the client's headers. */
 	readonly headers?: Headers.Input | undefined;
 	/**
@@ -198,8 +228,9 @@ export type NoBodyRequestOptions<
 	O extends AnySchema | undefined,
 	EB extends AnySchema,
 	Ps extends ReadonlyArray<Plugin.Any>,
+	Q extends QueryOf<Q> = QueryInput,
 > = ParamsOption<P> &
-	BaseOptions<O, EB, Ps> & {
+	BaseOptions<O, EB, Ps, Q> & {
 		readonly body?: undefined;
 		readonly input?: undefined;
 	};
@@ -225,7 +256,8 @@ export type RequestOptions<
 	EB extends AnySchema,
 	I extends AnySchema,
 	Ps extends ReadonlyArray<Plugin.Any>,
-> = ParamsOption<P> & BaseOptions<O, EB, Ps> & BodyOptions<I>;
+	Q extends QueryOf<Q> = QueryInput,
+> = ParamsOption<P> & BaseOptions<O, EB, Ps, Q> & BodyOptions<I>;
 /**
  * The rest arguments after the path: the options object `T` is required
  * when path `P` has parameters, optional otherwise.
@@ -254,7 +286,7 @@ export type Args<P extends string, T> = [PathParamNames<P>] extends [never]
  * import * as Schema from "effect/Schema";
  * import type * as Fetch from "@monarcode/effetch";
  *
- * type Todo = Fetch.Success<Schema.Struct<{ id: Schema.Number }>>;
+ * type Todo = Fetch.Success<Schema.Struct<{ id: Schema.Finite }>>;
  * //   ^? { readonly id: number }
  * ```
  *
@@ -274,7 +306,7 @@ export type Success<O extends AnySchema | undefined> = O extends AnySchema
  * import type * as Fetch from "@monarcode/effetch";
  *
  * type E = Fetch.CallError<
- *   Schema.Struct<{ id: Schema.Number }>,
+ *   Schema.Struct<{ id: Schema.Finite }>,
  *   Schema.Struct<{ code: Schema.String }>,
  *   []
  * >;
@@ -302,7 +334,7 @@ export type CallError<
  * import type * as Fetch from "@monarcode/effetch";
  *
  * type R = Fetch.CallServices<
- *   Schema.Struct<{ id: Schema.Number }>,
+ *   Schema.Struct<{ id: Schema.Finite }>,
  *   Schema.Unknown,
  *   Schema.Unknown
  * >;
@@ -334,7 +366,7 @@ export type CallServices<
  * import type * as Fetch from "@monarcode/effetch";
  *
  * type Call = Fetch.CallEffect<
- *   Schema.Struct<{ id: Schema.Number }>,
+ *   Schema.Struct<{ id: Schema.Finite }>,
  *   Schema.Unknown,
  *   Schema.Unknown,
  *   []
@@ -354,7 +386,8 @@ export type CallEffect<
  * The signature of `get`, `head` and `options`: no `body` or `input`.
  *
  * - `Ps`: the client's plugins.
- * - `DefaultEB`: the client's `error` schema, used when a call has none.
+ * - `DefaultEB`: the client's `defaultError` schema, used when a call has
+ *   no `error`.
  *
  * @example
  * ```ts
@@ -363,7 +396,7 @@ export type CallEffect<
  *
  * declare const get: Fetch.NoBodyMethod<[], Schema.Unknown>;
  *
- * const Todo = Schema.Struct({ id: Schema.Number });
+ * const Todo = Schema.Struct({ id: Schema.Finite });
  * const todo = get("/todos/:id", { params: { id: 1 }, output: Todo });
  * ```
  *
@@ -377,9 +410,10 @@ export interface NoBodyMethod<
 		P extends string,
 		O extends AnySchema | undefined = undefined,
 		EB extends AnySchema = DefaultEB,
+		Q extends QueryOf<Q> = QueryInput,
 	>(
 		path: P,
-		...args: Args<P, NoBodyRequestOptions<P, O, EB, Ps>>
+		...args: Args<P, NoBodyRequestOptions<P, O, EB, Ps, Q>>
 	): CallEffect<O, EB, Schema.Unknown, Ps>;
 }
 /**
@@ -387,7 +421,8 @@ export interface NoBodyMethod<
  * typed by `input` when given.
  *
  * - `Ps`: the client's plugins.
- * - `DefaultEB`: the client's `error` schema, used when a call has none.
+ * - `DefaultEB`: the client's `defaultError` schema, used when a call has
+ *   no `error`.
  *
  * @example
  * ```ts
@@ -396,7 +431,7 @@ export interface NoBodyMethod<
  *
  * declare const patch: Fetch.BodyMethod<[], Schema.Unknown>;
  *
- * const Todo = Schema.Struct({ id: Schema.Number, done: Schema.Boolean });
+ * const Todo = Schema.Struct({ id: Schema.Finite, done: Schema.Boolean });
  * const updated = patch("/todos/:id", {
  *   params: { id: 1 },
  *   body: { done: true },
@@ -415,9 +450,10 @@ export interface BodyMethod<
 		O extends AnySchema | undefined = undefined,
 		EB extends AnySchema = DefaultEB,
 		I extends AnySchema = Schema.Unknown,
+		Q extends QueryOf<Q> = QueryInput,
 	>(
 		path: P,
-		...args: Args<P, RequestOptions<P, O, EB, I, Ps>>
+		...args: Args<P, RequestOptions<P, O, EB, I, Ps, Q>>
 	): CallEffect<O, EB, I, Ps>;
 }
 /**
@@ -425,7 +461,8 @@ export interface BodyMethod<
  * `input` when given.
  *
  * - `Ps`: the client's plugins.
- * - `DefaultEB`: the client's `error` schema, used when a call has none.
+ * - `DefaultEB`: the client's `defaultError` schema, used when a call has
+ *   no `error`.
  *
  * @example
  * ```ts
@@ -434,7 +471,7 @@ export interface BodyMethod<
  *
  * declare const request: Fetch.RequestMethod<[], Schema.Unknown>;
  *
- * const Todo = Schema.Struct({ id: Schema.Number, done: Schema.Boolean });
+ * const Todo = Schema.Struct({ id: Schema.Finite, done: Schema.Boolean });
  * const updated = request("PATCH", "/todos/:id", {
  *   params: { id: 1 },
  *   body: { done: true },
@@ -453,10 +490,11 @@ export interface RequestMethod<
 		O extends AnySchema | undefined = undefined,
 		EB extends AnySchema = DefaultEB,
 		I extends AnySchema = Schema.Unknown,
+		Q extends QueryOf<Q> = QueryInput,
 	>(
 		method: HttpMethod.HttpMethod,
 		path: P,
-		...args: Args<P, RequestOptions<P, O, EB, I, Ps>>
+		...args: Args<P, RequestOptions<P, O, EB, I, Ps, Q>>
 	): CallEffect<O, EB, I, Ps>;
 }
 //#endregion

package/dist/index.d.ts

@@ -19,6 +19,7 @@ import {
 	NoBodyRequestOptions,
 	ParamsOption,
 	QueryInput,
+	QueryOf,
 	QueryValue,
 	RequestMethod,
 	RequestOptions,
@@ -50,6 +51,7 @@ export {
 	type Plugin,
 	type PluginContext,
 	type QueryInput,
+	type QueryOf,
 	type QueryValue,
 	type RequestMethod,
 	type RequestOptions,

package/dist/internal/body.js

@@ -61,7 +61,7 @@ const encodePlain = (body) => {
 * `Invalid request body:` and whose `cause` is the underlying error.
 */
 const encodeBody = (body, input) => {
-	if (body === void 0) return Effect.succeed(void 0);
+	if (body === void 0) return Effect.undefined;
 	if (input !== void 0) return orDieInvalid(HttpBody.jsonSchema(input)(body));
 	return encodePlain(body);
 };

package/dist/internal/response.js

@@ -17,7 +17,7 @@ const readErrorBody = (text, schema) => {
 	try {
 		json = parseBody(text);
 	} catch {
-		return Effect.succeed(void 0);
+		return Effect.undefined;
 	}
 	if (json === void 0 || schema === void 0) return Effect.succeed(json);
 	return Effect.orElseSucceed(decodeJson(schema)(json), () => void 0);
@@ -27,14 +27,14 @@ function checkStatus(response, errorSchema) {
 	return Effect.gen(function* () {
 		const text = yield* Effect.orElseSucceed(response.text, () => "");
 		const body = yield* readErrorBody(text, errorSchema);
-		return yield* Effect.fail(new HttpError({
+		return yield* new HttpError({
 			method: response.request.method,
 			url: errorUrl(response.request.url),
 			status: response.status,
 			headers: response.headers,
 			text,
 			body
-		}));
+		});
 	});
 }
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@monarcode/effetch",
-  "version": "0.1.0-alpha.1",
+  "version": "0.1.0-alpha.2",
   "description": "Typed, schema-driven HTTP calls on Effect v4's HttpClient: path params, object queries, decoded responses and plugins",
   "keywords": [
     "effect",