effect 4.0.0-beta.1 → 4.0.0-beta.3

package/dist/unstable/sql/SqlSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SqlSchema.d.ts","sourceRoot":"","sources":["../../../src/unstable/sql/SqlSchema.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC3E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,SAAS,CAAC,KACtB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC9B,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAaxD,CAAA;AAED,QAAA,MAAM,KAAK,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACzC,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5E,MAGO,SAAS,GAAG,CAAC,MAAM,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAIvG,CAAA;AACD,OAAO;AACL;;;;;GAKG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC1E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,MAAM,CAAC,EACX,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA"}
+{"version":3,"file":"SqlSchema.d.ts","sourceRoot":"","sources":["../../../src/unstable/sql/SqlSchema.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAC9C,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAEzC;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC3E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,SAAS,CAAC,KACtB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC9B,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAaxD,CAAA;AAED,QAAA,MAAM,KAAK,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACzC,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC5E,MAGO,SAAS,GAAG,CAAC,MAAM,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAIvG,CAAA;AACD,OAAO;AACL;;;;;GAKG;AACH,KAAK,IAAI,IAAI,EACd,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAC1E,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAC1B,CAAC,GAAG,MAAM,CAAC,WAAW,EACtB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EACzE,SAAS;IACP,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC3F,MAKC,SAAS,GAAG,CAAC,MAAM,CAAC,KACnB,MAAM,CAAC,MAAM,CACd,GAAG,CAAC,MAAM,CAAC,EACX,CAAC,GAAG,MAAM,CAAC,WAAW,GAAG,KAAK,CAAC,kBAAkB,EACjD,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,GAAG,GAAG,CAAC,kBAAkB,CAAC,CAUxD,CAAA"}

package/dist/unstable/sql/SqlSchema.js

@@ -29,12 +29,23 @@ export {
  */
 void_ as void };
 /**
- * Run a sql query with a request schema and a result schema and return the first result.
+ * Run a sql query with a request schema and a result schema and return the first result, if any.
  *
  * @since 4.0.0
  * @category constructor
  */
 export const findOne = options => {
+  const encodeRequest = Schema.encodeEffect(options.Request);
+  const decode = Schema.decodeUnknownEffect(options.Result);
+  return request => Effect.flatMap(Effect.flatMap(encodeRequest(request), options.execute), arr => Arr.isReadonlyArrayNonEmpty(arr) ? Effect.asSome(decode(arr[0])) : Effect.succeedNone);
+};
+/**
+ * Run a sql query with a request schema and a result schema and return the first result.
+ *
+ * @since 4.0.0
+ * @category constructor
+ */
+export const single = options => {
   const encodeRequest = Schema.encodeEffect(options.Request);
   const decode = Schema.decodeUnknownEffect(options.Result);
   return request => Effect.flatMap(Effect.flatMap(encodeRequest(request), options.execute), arr => Arr.isReadonlyArrayNonEmpty(arr) ? decode(arr[0]) : Effect.fail(new Cause.NoSuchElementError()));

package/dist/unstable/sql/SqlSchema.js.map

@@ -1 +1 @@
-{"version":3,"file":"SqlSchema.js","names":["Arr","Cause","Effect","Schema","findMany","options","encodeRequest","encodeEffect","Request","decode","decodeUnknownEffect","Array","Result","request","flatMap","execute","results","isReadonlyArrayNonEmpty","fail","NoSuchElementError","void_","encode","asVoid","void","findOne","arr"],"sources":["../../../src/unstable/sql/SqlSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC;;;;;;AAMA,OAAO,MAAMC,QAAQ,GACnBC,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACP,MAAM,CAACQ,KAAK,CAACN,OAAO,CAACO,MAAM,CAAC,CAAC;EACvE,OACEC,OAAuB,IAMvBX,MAAM,CAACY,OAAO,CACZZ,MAAM,CAACY,OAAO,CAACR,aAAa,CAACO,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,EACtDC,OAAO,IAKNhB,GAAG,CAACiB,uBAAuB,CAACD,OAAO,CAAC,GAChCP,MAAM,CAACO,OAAO,CAAsE,GACpFd,MAAM,CAACgB,IAAI,CAAC,IAAIjB,KAAK,CAACkB,kBAAkB,EAAE,CAAC,CAClD;AACL,CAAC;AAED,MAAMC,KAAK,GACTf,OAGC,IACC;EACF,MAAMgB,MAAM,GAAGlB,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EACnD,OAAQK,OAAoB,IAC1BX,MAAM,CAACoB,MAAM,CACXpB,MAAM,CAACY,OAAO,CAACO,MAAM,CAACR,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,CACjD;AACL,CAAC;AACD;AACE;;;;;;AAMAK,KAAK,IAAIG,IAAI;AAGf;;;;;;AAMA,OAAO,MAAMC,OAAO,GAClBnB,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACO,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBX,MAAM,CAACY,OAAO,CACZZ,MAAM,CAACY,OAAO,CAACR,aAAa,CAACO,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,EACtDU,GAAG,IAICzB,GAAG,CAACiB,uBAAuB,CAACQ,GAAG,CAAC,GAAGhB,MAAM,CAACgB,GAAG,CAAC,CAAC,CAAC,CAAC,GAAGvB,MAAM,CAACgB,IAAI,CAAC,IAAIjB,KAAK,CAACkB,kBAAkB,EAAE,CAAC,CACrG;AACL,CAAC","ignoreList":[]}
+{"version":3,"file":"SqlSchema.js","names":["Arr","Cause","Effect","Schema","findMany","options","encodeRequest","encodeEffect","Request","decode","decodeUnknownEffect","Array","Result","request","flatMap","execute","results","isReadonlyArrayNonEmpty","fail","NoSuchElementError","void_","encode","asVoid","void","findOne","arr","asSome","succeedNone","single"],"sources":["../../../src/unstable/sql/SqlSchema.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,GAAG,MAAM,gBAAgB;AACrC,OAAO,KAAKC,KAAK,MAAM,gBAAgB;AACvC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC;;;;;;AAMA,OAAO,MAAMC,QAAQ,GACnBC,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACP,MAAM,CAACQ,KAAK,CAACN,OAAO,CAACO,MAAM,CAAC,CAAC;EACvE,OACEC,OAAuB,IAMvBX,MAAM,CAACY,OAAO,CACZZ,MAAM,CAACY,OAAO,CAACR,aAAa,CAACO,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,EACtDC,OAAO,IAKNhB,GAAG,CAACiB,uBAAuB,CAACD,OAAO,CAAC,GAChCP,MAAM,CAACO,OAAO,CAAsE,GACpFd,MAAM,CAACgB,IAAI,CAAC,IAAIjB,KAAK,CAACkB,kBAAkB,EAAE,CAAC,CAClD;AACL,CAAC;AAED,MAAMC,KAAK,GACTf,OAGC,IACC;EACF,MAAMgB,MAAM,GAAGlB,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EACnD,OAAQK,OAAoB,IAC1BX,MAAM,CAACoB,MAAM,CACXpB,MAAM,CAACY,OAAO,CAACO,MAAM,CAACR,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,CACjD;AACL,CAAC;AACD;AACE;;;;;;AAMAK,KAAK,IAAIG,IAAI;AAGf;;;;;;AAMA,OAAO,MAAMC,OAAO,GAClBnB,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACO,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBX,MAAM,CAACY,OAAO,CACZZ,MAAM,CAACY,OAAO,CAACR,aAAa,CAACO,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,EACtDU,GAAG,IAICzB,GAAG,CAACiB,uBAAuB,CAACQ,GAAG,CAAC,GAAGvB,MAAM,CAACwB,MAAM,CAACjB,MAAM,CAACgB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAGvB,MAAM,CAACyB,WAAW,CAC3F;AACL,CAAC;AAED;;;;;;AAMA,OAAO,MAAMC,MAAM,GACjBvB,OAIC,IACC;EACF,MAAMC,aAAa,GAAGH,MAAM,CAACI,YAAY,CAACF,OAAO,CAACG,OAAO,CAAC;EAC1D,MAAMC,MAAM,GAAGN,MAAM,CAACO,mBAAmB,CAACL,OAAO,CAACO,MAAM,CAAC;EACzD,OACEC,OAAoB,IAMpBX,MAAM,CAACY,OAAO,CACZZ,MAAM,CAACY,OAAO,CAACR,aAAa,CAACO,OAAO,CAAC,EAAER,OAAO,CAACU,OAAO,CAAC,EACtDU,GAAG,IAICzB,GAAG,CAACiB,uBAAuB,CAACQ,GAAG,CAAC,GAAGhB,MAAM,CAACgB,GAAG,CAAC,CAAC,CAAC,CAAC,GAAGvB,MAAM,CAACgB,IAAI,CAAC,IAAIjB,KAAK,CAACkB,kBAAkB,EAAE,CAAC,CACrG;AACL,CAAC","ignoreList":[]}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "effect",
   "type": "module",
-  "version": "4.0.0-beta.1",
+  "version": "4.0.0-beta.3",
   "license": "MIT",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "homepage": "https://effect.website",

package/src/Effect.ts

@@ -5124,6 +5124,36 @@ export const catchIf: {
   ): Effect<A | A2 | A3, E2 | E3, R | R2 | R3>
 } = internal.catchIf
 
+/**
+ * Catches `NoSuchElementError` failures and converts them to `Option.none`.
+ *
+ * Success values become `Option.some`, `NoSuchElementError` becomes
+ * `Option.none`, and all other errors are preserved.
+ *
+ * @example
+ * ```ts
+ * import { Effect, Option } from "effect"
+ *
+ * const some = Effect.fromNullishOr(1).pipe(Effect.catchNoSuchElement)
+ * const none = Effect.fromNullishOr(null).pipe(Effect.catchNoSuchElement)
+ *
+ * Effect.runPromise(some).then(console.log) // { _id: 'Option', _tag: 'Some', value: 1 }
+ * Effect.runPromise(none).then(console.log) // { _id: 'Option', _tag: 'None' }
+ * ```
+ *
+ * **Previously Known As**
+ *
+ * This API replaces the following from Effect 3.x:
+ *
+ * - `Effect.optionFromOptional`
+ *
+ * @since 2.0.0
+ * @category Error Handling
+ */
+export const catchNoSuchElement: <A, E, R>(
+  self: Effect<A, E, R>
+) => Effect<Option<A>, Exclude<E, Cause.NoSuchElementError>, R> = internal.catchNoSuchElement
+
 /**
  * Recovers from specific failures based on a predicate.
  *

package/src/Result.ts

@@ -374,6 +374,19 @@ export {
   void_ as void
 }
 
+/**
+ * A pre-built `Result<void>` holding `undefined` as its failure value.
+ *
+ * - Use when you need a `Result` that represents "failed with no meaningful value"
+ * - Equivalent to `Result.fail(undefined)` but avoids an extra allocation
+ *
+ * @see {@link fail}
+ *
+ * @category Constructors
+ * @since 4.0.0
+ */
+export const failVoid: Result<never, void> = fail(void 0)
+
 /**
  * Converts a possibly `null` or `undefined` value into a `Result`.
  *

package/src/internal/effect.ts

@@ -81,6 +81,7 @@ import {
   isEffect,
   isFailReason,
   isInterruptReason,
+  isNoSuchElementError,
   makePrimitive,
   makePrimitiveProto,
   NoSuchElementError,
@@ -2440,6 +2441,18 @@ export const catch_: {
   ): Effect.Effect<A | B, E2, R | R2> => catchCauseIf(self, findError as any, (e: any) => f(e)) as any
 )
 
+/** @internal */
+export const catchNoSuchElement = <A, E, R>(
+  self: Effect.Effect<A, E, R>
+): Effect.Effect<Option.Option<A>, Exclude<E, Cause.NoSuchElementError>, R> =>
+  matchEffect(self, {
+    onFailure: (error) =>
+      isNoSuchElementError(error)
+        ? succeedNone
+        : fail(error as Exclude<E, Cause.NoSuchElementError>),
+    onSuccess: succeedSome
+  })
+
 /** @internal */
 export const catchDefect: {
   <E, B, E2, R2>(

package/src/unstable/http/HttpBody.ts

@@ -281,6 +281,47 @@ export class FormData extends Proto {
  */
 export const makeFormData = (body: globalThis.FormData): FormData => new FormData(body)
 
+/**
+ * @since 4.0.0
+ * @category models
+ */
+export type FormDataInput = Record<string, FormDataCoercible | ReadonlyArray<FormDataCoercible>>
+
+/**
+ * @since 4.0.0
+ * @category models
+ */
+export type FormDataCoercible = string | number | boolean | globalThis.File | globalThis.Blob | null | undefined
+
+const appendFormDataValue = (formData: globalThis.FormData, key: string, value: FormDataCoercible): void => {
+  if (value == null) {
+    return
+  }
+  if (typeof value === "object") {
+    formData.append(key, value)
+    return
+  }
+  formData.append(key, String(value))
+}
+
+/**
+ * @since 4.0.0
+ * @category constructors
+ */
+export const makeFormDataRecord = (entries: FormDataInput): FormData => {
+  const formData = new globalThis.FormData()
+  for (const [key, value] of Object.entries(entries)) {
+    if (Array.isArray(value)) {
+      for (const item of value) {
+        appendFormDataValue(formData, key, item)
+      }
+    } else {
+      appendFormDataValue(formData, key, value as FormDataCoercible)
+    }
+  }
+  return makeFormData(formData)
+}
+
 /**
  * @since 4.0.0
  * @category models

package/src/unstable/http/HttpClientRequest.ts

@@ -661,7 +661,7 @@ export const setBody: {
   (self: HttpClientRequest, body: HttpBody.HttpBody): HttpClientRequest
 } = dual(2, (self: HttpClientRequest, body: HttpBody.HttpBody): HttpClientRequest => {
   let headers = self.headers
-  if (body._tag === "Empty") {
+  if (body._tag === "Empty" || body._tag === "FormData") {
     headers = Headers.remove(Headers.remove(headers, "Content-Type"), "Content-length")
   } else {
     if (body.contentType) {
@@ -828,6 +828,27 @@ export const bodyFormData: {
   (self: HttpClientRequest, body: FormData): HttpClientRequest
 } = dual(2, (self: HttpClientRequest, body: FormData): HttpClientRequest => setBody(self, HttpBody.makeFormData(body)))
 
+/**
+ * @since 4.0.0
+ * @category combinators
+ */
+export const bodyFormDataRecord: {
+  /**
+   * @since 4.0.0
+   * @category combinators
+   */
+  (entries: HttpBody.FormDataInput): (self: HttpClientRequest) => HttpClientRequest
+  /**
+   * @since 4.0.0
+   * @category combinators
+   */
+  (self: HttpClientRequest, entries: HttpBody.FormDataInput): HttpClientRequest
+} = dual(
+  2,
+  (self: HttpClientRequest, entries: HttpBody.FormDataInput): HttpClientRequest =>
+    setBody(self, HttpBody.makeFormDataRecord(entries))
+)
+
 /**
  * @since 4.0.0
  * @category combinators

package/src/unstable/schema/VariantSchema.ts

@@ -3,11 +3,14 @@
  */
 import type { Brand } from "../../Brand.ts"
 import * as Effect from "../../Effect.ts"
-import { constant, dual } from "../../Function.ts"
+import { dual } from "../../Function.ts"
+import * as Option from "../../Option.ts"
 import { type Pipeable, pipeArguments } from "../../Pipeable.ts"
 import * as Predicate from "../../Predicate.ts"
 import * as Schema from "../../Schema.ts"
 import type * as AST from "../../SchemaAST.ts"
+import * as Getter from "../../SchemaGetter.ts"
+import * as Transformation from "../../SchemaTransformation.ts"
 import * as Struct_ from "../../Struct.ts"
 
 /**
@@ -465,8 +468,24 @@ export const Override = <A>(value: A): A & Brand<"Override"> => value as any
  * @since 4.0.0
  * @category overrideable
  */
-export interface Overrideable<S extends Schema.Top & Schema.WithoutConstructorDefault>
-  extends Schema.brand<Schema.withConstructorDefault<S>, "Override">
+export interface Overrideable<S extends Schema.Top & Schema.WithoutConstructorDefault> extends
+  Schema.Bottom<
+    (S["Type"] & Brand<"Override">) | undefined,
+    S["Encoded"],
+    S["DecodingServices"],
+    S["EncodingServices"],
+    S["ast"],
+    Overrideable<S>,
+    S["~type.make.in"],
+    (S["Type"] & Brand<"Override">) | undefined,
+    S["~type.parameters"],
+    (S["Type"] & Brand<"Override">) | undefined,
+    S["~type.mutability"],
+    "optional",
+    "with-default",
+    S["~encoded.mutability"],
+    S["~encoded.optionality"]
+  >
 {}
 
 /**
@@ -478,11 +497,21 @@ export const Overrideable = <S extends Schema.Top & Schema.WithoutConstructorDef
   options: {
     readonly defaultValue: Effect.Effect<S["~type.make.in"]>
   }
-) =>
+): Overrideable<S> =>
   schema.pipe(
-    Schema.withConstructorDefault(constant(Effect.asSome(options.defaultValue))),
-    Schema.brand("Override")
-  )
+    Schema.decodeTo(
+      Schema.optional(Schema.brand("Override")(Schema.toType(schema))),
+      Transformation.make({
+        decode: Getter.passthrough(),
+        encode: new Getter.Getter((o) => {
+          if (Option.isSome(o) && o.value !== undefined) {
+            return Effect.succeed(o)
+          }
+          return Effect.asSome(options.defaultValue)
+        })
+      })
+    )
+  ) as any
 
 const StructProto = {
   pipe() {

package/src/unstable/sql/SqlModel.ts

@@ -69,7 +69,7 @@ export const makeRepository = <
     const idSchema = Model.fields[options.idColumn] as Schema.Top
     const idColumn = options.idColumn as string
 
-    const insertSchema = SqlSchema.findOne({
+    const insertSchema = SqlSchema.single({
       Request: Model.insert,
       Result: Model,
       execute: (request) =>
@@ -107,7 +107,7 @@ select * from ${sql(options.tableName)} where ${sql(idColumn)} = LAST_INSERT_ID(
         })
       ) as any
 
-    const updateSchema = SqlSchema.findOne({
+    const updateSchema = SqlSchema.single({
       Request: Model.update,
       Result: Model,
       execute: (request: any) =>
@@ -159,7 +159,7 @@ select * from ${sql(options.tableName)} where ${sql(idColumn)} = ${request[idCol
         })
       ) as any
 
-    const findByIdSchema = SqlSchema.findOne({
+    const findByIdSchema = SqlSchema.single({
       Request: idSchema,
       Result: Model,
       execute: (id: any) => sql`select * from ${sql(options.tableName)} where ${sql(idColumn)} = ${id}`

package/src/unstable/sql/SqlSchema.ts

@@ -4,6 +4,7 @@
 import * as Arr from "../../Array.ts"
 import * as Cause from "../../Cause.ts"
 import * as Effect from "../../Effect.ts"
+import type * as Option from "../../Option.ts"
 import * as Schema from "../../Schema.ts"
 
 /**
@@ -64,7 +65,7 @@ export {
 }
 
 /**
- * Run a sql query with a request schema and a result schema and return the first result.
+ * Run a sql query with a request schema and a result schema and return the first result, if any.
  *
  * @since 4.0.0
  * @category constructor
@@ -75,6 +76,38 @@ export const findOne = <Req extends Schema.Top, Res extends Schema.Top, E, R>(
     readonly Result: Res
     readonly execute: (request: Req["Encoded"]) => Effect.Effect<ReadonlyArray<unknown>, E, R>
   }
+) => {
+  const encodeRequest = Schema.encodeEffect(options.Request)
+  const decode = Schema.decodeUnknownEffect(options.Result)
+  return (
+    request: Req["Type"]
+  ): Effect.Effect<
+    Option.Option<Res["Type"]>,
+    E | Schema.SchemaError,
+    R | Req["EncodingServices"] | Res["DecodingServices"]
+  > =>
+    Effect.flatMap(
+      Effect.flatMap(encodeRequest(request), options.execute),
+      (arr): Effect.Effect<
+        Option.Option<Res["Type"]>,
+        Schema.SchemaError,
+        Req["EncodingServices"] | Res["DecodingServices"]
+      > => Arr.isReadonlyArrayNonEmpty(arr) ? Effect.asSome(decode(arr[0])) : Effect.succeedNone
+    )
+}
+
+/**
+ * Run a sql query with a request schema and a result schema and return the first result.
+ *
+ * @since 4.0.0
+ * @category constructor
+ */
+export const single = <Req extends Schema.Top, Res extends Schema.Top, E, R>(
+  options: {
+    readonly Request: Req
+    readonly Result: Res
+    readonly execute: (request: Req["Encoded"]) => Effect.Effect<ReadonlyArray<unknown>, E, R>
+  }
 ) => {
   const encodeRequest = Schema.encodeEffect(options.Request)
   const decode = Schema.decodeUnknownEffect(options.Result)