effect 4.0.0-beta.66 → 4.0.0-beta.68

package/dist/Boolean.js

@@ -12,9 +12,10 @@ import * as Reducer from "./Reducer.js";
 /**
  * Reference to the global Boolean constructor.
  *
- * @example
+ * **Example** (Coercing values to booleans)
+ *
  * ```ts
- * import * as Boolean from "effect/Boolean"
+ * import { Boolean } from "effect"
  *
  * const bool = Boolean.Boolean(1)
  * console.log(bool) // true
@@ -33,13 +34,14 @@ export const Boolean = globalThis.Boolean;
 /**
  * Tests if a value is a `boolean`.
  *
- * @example
+ * **Example** (Checking for booleans)
+ *
  * ```ts
- * import { isBoolean } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(isBoolean(true), true)
- * assert.deepStrictEqual(isBoolean("true"), false)
+ * assert.deepStrictEqual(Boolean.isBoolean(true), true)
+ * assert.deepStrictEqual(Boolean.isBoolean("true"), false)
  * ```
  *
  * @category guards
@@ -50,9 +52,10 @@ export const isBoolean = predicate.isBoolean;
  * This function returns the result of either of the given functions depending on the value of the boolean parameter.
  * It is useful when you have to run one of two functions depending on the boolean value.
  *
- * @example
+ * **Example** (Pattern matching on booleans)
+ *
  * ```ts
- * import * as Boolean from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
  * assert.deepStrictEqual(
@@ -72,9 +75,10 @@ export const match = /*#__PURE__*/dual(2, (value, options) => value ? options.on
  * Provides an `Order` instance for `boolean` that allows comparing and sorting boolean values.
  * In this ordering, `false` is considered less than `true`.
  *
- * @example
+ * **Example** (Comparing booleans)
+ *
  * ```ts
- * import * as Boolean from "effect/Boolean"
+ * import { Boolean } from "effect"
  *
  * console.log(Boolean.Order(false, true)) // -1 (false < true)
  * console.log(Boolean.Order(true, false)) // 1 (true > false)
@@ -88,7 +92,8 @@ export const Order = order.Boolean;
 /**
  * An `Equivalence` instance for booleans using strict equality (`===`).
  *
- * @example
+ * **Example** (Comparing booleans for equivalence)
+ *
  * ```ts
  * import { Boolean } from "effect"
  *
@@ -97,19 +102,20 @@ export const Order = order.Boolean;
  * ```
  *
  * @category instances
- * @since 4.0.0
+ * @since 2.0.0
  */
 export const Equivalence = Equ.Boolean;
 /**
  * Negates the given boolean: `!self`
  *
- * @example
+ * **Example** (Negating booleans)
+ *
  * ```ts
- * import { not } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(not(true), false)
- * assert.deepStrictEqual(not(false), true)
+ * assert.deepStrictEqual(Boolean.not(true), false)
+ * assert.deepStrictEqual(Boolean.not(false), true)
  * ```
  *
  * @category combinators
@@ -119,15 +125,16 @@ export const not = self => !self;
 /**
  * Combines two boolean using AND: `self && that`.
  *
- * @example
+ * **Example** (Combining booleans with AND)
+ *
  * ```ts
- * import { and } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(and(true, true), true)
- * assert.deepStrictEqual(and(true, false), false)
- * assert.deepStrictEqual(and(false, true), false)
- * assert.deepStrictEqual(and(false, false), false)
+ * assert.deepStrictEqual(Boolean.and(true, true), true)
+ * assert.deepStrictEqual(Boolean.and(true, false), false)
+ * assert.deepStrictEqual(Boolean.and(false, true), false)
+ * assert.deepStrictEqual(Boolean.and(false, false), false)
  * ```
  *
  * @category combinators
@@ -137,15 +144,16 @@ export const and = /*#__PURE__*/dual(2, (self, that) => self && that);
 /**
  * Combines two boolean using NAND: `!(self && that)`.
  *
- * @example
+ * **Example** (Combining booleans with NAND)
+ *
  * ```ts
- * import { nand } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(nand(true, true), false)
- * assert.deepStrictEqual(nand(true, false), true)
- * assert.deepStrictEqual(nand(false, true), true)
- * assert.deepStrictEqual(nand(false, false), true)
+ * assert.deepStrictEqual(Boolean.nand(true, true), false)
+ * assert.deepStrictEqual(Boolean.nand(true, false), true)
+ * assert.deepStrictEqual(Boolean.nand(false, true), true)
+ * assert.deepStrictEqual(Boolean.nand(false, false), true)
  * ```
  *
  * @category combinators
@@ -155,15 +163,16 @@ export const nand = /*#__PURE__*/dual(2, (self, that) => !(self && that));
 /**
  * Combines two boolean using OR: `self || that`.
  *
- * @example
+ * **Example** (Combining booleans with OR)
+ *
  * ```ts
- * import { or } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(or(true, true), true)
- * assert.deepStrictEqual(or(true, false), true)
- * assert.deepStrictEqual(or(false, true), true)
- * assert.deepStrictEqual(or(false, false), false)
+ * assert.deepStrictEqual(Boolean.or(true, true), true)
+ * assert.deepStrictEqual(Boolean.or(true, false), true)
+ * assert.deepStrictEqual(Boolean.or(false, true), true)
+ * assert.deepStrictEqual(Boolean.or(false, false), false)
  * ```
  *
  * @category combinators
@@ -173,15 +182,16 @@ export const or = /*#__PURE__*/dual(2, (self, that) => self || that);
 /**
  * Combines two booleans using NOR: `!(self || that)`.
  *
- * @example
+ * **Example** (Combining booleans with NOR)
+ *
  * ```ts
- * import { nor } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(nor(true, true), false)
- * assert.deepStrictEqual(nor(true, false), false)
- * assert.deepStrictEqual(nor(false, true), false)
- * assert.deepStrictEqual(nor(false, false), true)
+ * assert.deepStrictEqual(Boolean.nor(true, true), false)
+ * assert.deepStrictEqual(Boolean.nor(true, false), false)
+ * assert.deepStrictEqual(Boolean.nor(false, true), false)
+ * assert.deepStrictEqual(Boolean.nor(false, false), true)
  * ```
  *
  * @category combinators
@@ -191,15 +201,16 @@ export const nor = /*#__PURE__*/dual(2, (self, that) => !(self || that));
 /**
  * Combines two booleans using XOR: `(!self && that) || (self && !that)`.
  *
- * @example
+ * **Example** (Combining booleans with XOR)
+ *
  * ```ts
- * import { xor } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(xor(true, true), false)
- * assert.deepStrictEqual(xor(true, false), true)
- * assert.deepStrictEqual(xor(false, true), true)
- * assert.deepStrictEqual(xor(false, false), false)
+ * assert.deepStrictEqual(Boolean.xor(true, true), false)
+ * assert.deepStrictEqual(Boolean.xor(true, false), true)
+ * assert.deepStrictEqual(Boolean.xor(false, true), true)
+ * assert.deepStrictEqual(Boolean.xor(false, false), false)
  * ```
  *
  * @category combinators
@@ -209,15 +220,16 @@ export const xor = /*#__PURE__*/dual(2, (self, that) => !self && that || self &&
 /**
  * Combines two booleans using EQV (aka XNOR): `!xor(self, that)`.
  *
- * @example
+ * **Example** (Checking boolean equivalence)
+ *
  * ```ts
- * import { eqv } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(eqv(true, true), true)
- * assert.deepStrictEqual(eqv(true, false), false)
- * assert.deepStrictEqual(eqv(false, true), false)
- * assert.deepStrictEqual(eqv(false, false), true)
+ * assert.deepStrictEqual(Boolean.eqv(true, true), true)
+ * assert.deepStrictEqual(Boolean.eqv(true, false), false)
+ * assert.deepStrictEqual(Boolean.eqv(false, true), false)
+ * assert.deepStrictEqual(Boolean.eqv(false, false), true)
  * ```
  *
  * @category combinators
@@ -227,15 +239,16 @@ export const eqv = /*#__PURE__*/dual(2, (self, that) => !xor(self, that));
 /**
  * Combines two booleans using an implication: `(!self || that)`.
  *
- * @example
+ * **Example** (Checking boolean implication)
+ *
  * ```ts
- * import { implies } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(implies(true, true), true)
- * assert.deepStrictEqual(implies(true, false), false)
- * assert.deepStrictEqual(implies(false, true), true)
- * assert.deepStrictEqual(implies(false, false), true)
+ * assert.deepStrictEqual(Boolean.implies(true, true), true)
+ * assert.deepStrictEqual(Boolean.implies(true, false), false)
+ * assert.deepStrictEqual(Boolean.implies(false, true), true)
+ * assert.deepStrictEqual(Boolean.implies(false, false), true)
  * ```
  *
  * @category combinators
@@ -245,16 +258,17 @@ export const implies = /*#__PURE__*/dual(2, (self, that) => self ? that : true);
 /**
  * This utility function is used to check if all the elements in a collection of boolean values are `true`.
  *
- * @example
+ * **Example** (Checking every boolean)
+ *
  * ```ts
- * import { every } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(every([true, true, true]), true)
- * assert.deepStrictEqual(every([true, false, true]), false)
+ * assert.deepStrictEqual(Boolean.every([true, true, true]), true)
+ * assert.deepStrictEqual(Boolean.every([true, false, true]), false)
  * ```
  *
- * @category utilities
+ * @category utils
  * @since 2.0.0
  */
 export const every = collection => {
@@ -268,16 +282,17 @@ export const every = collection => {
 /**
  * This utility function is used to check if at least one of the elements in a collection of boolean values is `true`.
  *
- * @example
+ * **Example** (Checking some booleans)
+ *
  * ```ts
- * import { some } from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(some([true, false, true]), true)
- * assert.deepStrictEqual(some([false, false, false]), false)
+ * assert.deepStrictEqual(Boolean.some([true, false, true]), true)
+ * assert.deepStrictEqual(Boolean.some([false, false, false]), false)
  * ```
  *
- * @category utilities
+ * @category utils
  * @since 2.0.0
  */
 export const some = collection => {
@@ -293,6 +308,7 @@ export const some = collection => {
  *
  * The `initialValue` is `true`.
  *
+ * @category math
  * @since 4.0.0
  */
 export const ReducerAnd = /*#__PURE__*/Reducer.make((a, b) => a && b, true);
@@ -301,6 +317,7 @@ export const ReducerAnd = /*#__PURE__*/Reducer.make((a, b) => a && b, true);
  *
  * The `initialValue` is `false`.
  *
+ * @category math
  * @since 4.0.0
  */
 export const ReducerOr = /*#__PURE__*/Reducer.make((a, b) => a || b, false);

package/dist/Boolean.js.map

@@ -1 +1 @@
-{"version":3,"file":"Boolean.js","names":["Equ","dual","order","predicate","Reducer","Boolean","globalThis","isBoolean","match","value","options","onTrue","onFalse","Order","Equivalence","not","self","and","that","nand","or","nor","xor","eqv","implies","every","collection","b","some","ReducerAnd","make","a","ReducerOr"],"sources":["../src/Boolean.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;AAMA,OAAO,KAAKA,GAAG,MAAM,kBAAkB;AAEvC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,KAAK,MAAM,YAAY;AACnC,OAAO,KAAKC,SAAS,MAAM,gBAAgB;AAC3C,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMC,OAAO,GAAGC,UAAU,CAACD,OAAO;AAEzC;;;;;;;;;;;;;;;AAeA,OAAO,MAAME,SAAS,GAAyCJ,SAAS,CAACI,SAAS;AAElF;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,KAAK,gBAwDdP,IAAI,CAAC,CAAC,EAAE,CAAOQ,KAAc,EAAEC,OAGlC,KAAYD,KAAK,GAAGC,OAAO,CAACC,MAAM,EAAE,GAAGD,OAAO,CAACE,OAAO,EAAE,CAAC;AAE1D;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMC,KAAK,GAAyBX,KAAK,CAACG,OAAO;AAExD;;;;;;;;;;;;;;AAcA,OAAO,MAAMS,WAAW,GAA6Bd,GAAG,CAACK,OAAO;AAEhE;;;;;;;;;;;;;;;AAeA,OAAO,MAAMU,GAAG,GAAIC,IAAa,IAAc,CAACA,IAAI;AAEpD;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,GAAG,gBAqCZhB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAcF,IAAI,IAAIE,IAAI,CAAC;AAEpE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,IAAI,gBAqCblB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,EAAEF,IAAI,IAAIE,IAAI,CAAC,CAAC;AAEvE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAME,EAAE,gBAqCXnB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAcF,IAAI,IAAIE,IAAI,CAAC;AAEpE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMG,GAAG,gBAqCZpB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,EAAEF,IAAI,IAAIE,IAAI,CAAC,CAAC;AAEvE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMI,GAAG,gBAqCZrB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAe,CAACF,IAAI,IAAIE,IAAI,IAAMF,IAAI,IAAI,CAACE,IAAK,CAAC;AAE1F;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMK,GAAG,gBAqCZtB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,CAACI,GAAG,CAACN,IAAI,EAAEE,IAAI,CAAC,CAAC;AAExE;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMM,OAAO,gBAqChBvB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAI,EAAEE,IAAI,KAAKF,IAAI,GAAGE,IAAI,GAAG,IAAI,CAAC;AAE/C;;;;;;;;;;;;;;;AAeA,OAAO,MAAMO,KAAK,GAAIC,UAA6B,IAAa;EAC9D,KAAK,MAAMC,CAAC,IAAID,UAAU,EAAE;IAC1B,IAAI,CAACC,CAAC,EAAE;MACN,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC;AAED;;;;;;;;;;;;;;;AAeA,OAAO,MAAMC,IAAI,GAAIF,UAA6B,IAAa;EAC7D,KAAK,MAAMC,CAAC,IAAID,UAAU,EAAE;IAC1B,IAAIC,CAAC,EAAE;MACL,OAAO,IAAI;IACb;EACF;EACA,OAAO,KAAK;AACd,CAAC;AAED;;;;;;;AAOA,OAAO,MAAME,UAAU,gBAA6BzB,OAAO,CAAC0B,IAAI,CAAC,CAACC,CAAC,EAAEJ,CAAC,KAAKI,CAAC,IAAIJ,CAAC,EAAE,IAAI,CAAC;AAExF;;;;;;;AAOA,OAAO,MAAMK,SAAS,gBAA6B5B,OAAO,CAAC0B,IAAI,CAAC,CAACC,CAAC,EAAEJ,CAAC,KAAKI,CAAC,IAAIJ,CAAC,EAAE,KAAK,CAAC","ignoreList":[]}
+{"version":3,"file":"Boolean.js","names":["Equ","dual","order","predicate","Reducer","Boolean","globalThis","isBoolean","match","value","options","onTrue","onFalse","Order","Equivalence","not","self","and","that","nand","or","nor","xor","eqv","implies","every","collection","b","some","ReducerAnd","make","a","ReducerOr"],"sources":["../src/Boolean.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;AAMA,OAAO,KAAKA,GAAG,MAAM,kBAAkB;AAEvC,SAASC,IAAI,QAAQ,eAAe;AACpC,OAAO,KAAKC,KAAK,MAAM,YAAY;AACnC,OAAO,KAAKC,SAAS,MAAM,gBAAgB;AAC3C,OAAO,KAAKC,OAAO,MAAM,cAAc;AAEvC;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMC,OAAO,GAAGC,UAAU,CAACD,OAAO;AAEzC;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAME,SAAS,GAAyCJ,SAAS,CAACI,SAAS;AAElF;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMC,KAAK,gBA0DdP,IAAI,CAAC,CAAC,EAAE,CAAOQ,KAAc,EAAEC,OAGlC,KAAYD,KAAK,GAAGC,OAAO,CAACC,MAAM,EAAE,GAAGD,OAAO,CAACE,OAAO,EAAE,CAAC;AAE1D;;;;;;;;;;;;;;;;;AAiBA,OAAO,MAAMC,KAAK,GAAyBX,KAAK,CAACG,OAAO;AAExD;;;;;;;;;;;;;;;AAeA,OAAO,MAAMS,WAAW,GAA6Bd,GAAG,CAACK,OAAO;AAEhE;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMU,GAAG,GAAIC,IAAa,IAAc,CAACA,IAAI;AAEpD;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,GAAG,gBAuCZhB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAcF,IAAI,IAAIE,IAAI,CAAC;AAEpE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMC,IAAI,gBAuCblB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,EAAEF,IAAI,IAAIE,IAAI,CAAC,CAAC;AAEvE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAME,EAAE,gBAuCXnB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAcF,IAAI,IAAIE,IAAI,CAAC;AAEpE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMG,GAAG,gBAuCZpB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,EAAEF,IAAI,IAAIE,IAAI,CAAC,CAAC;AAEvE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMI,GAAG,gBAuCZrB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAe,CAACF,IAAI,IAAIE,IAAI,IAAMF,IAAI,IAAI,CAACE,IAAK,CAAC;AAE1F;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMK,GAAG,gBAuCZtB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,CAACI,GAAG,CAACN,IAAI,EAAEE,IAAI,CAAC,CAAC;AAExE;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMM,OAAO,gBAuChBvB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAI,EAAEE,IAAI,KAAKF,IAAI,GAAGE,IAAI,GAAG,IAAI,CAAC;AAE/C;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMO,KAAK,GAAIC,UAA6B,IAAa;EAC9D,KAAK,MAAMC,CAAC,IAAID,UAAU,EAAE;IAC1B,IAAI,CAACC,CAAC,EAAE;MACN,OAAO,KAAK;IACd;EACF;EACA,OAAO,IAAI;AACb,CAAC;AAED;;;;;;;;;;;;;;;;AAgBA,OAAO,MAAMC,IAAI,GAAIF,UAA6B,IAAa;EAC7D,KAAK,MAAMC,CAAC,IAAID,UAAU,EAAE;IAC1B,IAAIC,CAAC,EAAE;MACL,OAAO,IAAI;IACb;EACF;EACA,OAAO,KAAK;AACd,CAAC;AAED;;;;;;;;AAQA,OAAO,MAAME,UAAU,gBAA6BzB,OAAO,CAAC0B,IAAI,CAAC,CAACC,CAAC,EAAEJ,CAAC,KAAKI,CAAC,IAAIJ,CAAC,EAAE,IAAI,CAAC;AAExF;;;;;;;;AAQA,OAAO,MAAMK,SAAS,gBAA6B5B,OAAO,CAAC0B,IAAI,CAAC,CAACC,CAAC,EAAEJ,CAAC,KAAKI,CAAC,IAAIJ,CAAC,EAAE,KAAK,CAAC","ignoreList":[]}

package/dist/Brand.d.ts

@@ -8,8 +8,8 @@ declare const TypeId = "~effect/Brand";
 /**
  * A generic interface that defines a branded type.
  *
- * @since 2.0.0
  * @category models
+ * @since 2.0.0
  */
 export interface Brand<in out Keys extends string> {
     readonly [TypeId]: {
@@ -56,51 +56,68 @@ export interface Constructor<in out B extends Brand<any>> {
 export declare class BrandError {
     constructor(issue: Issue.Issue);
     /**
+     * Discriminant used to identify brand construction failures.
+     *
      * @since 4.0.0
      */
     readonly _tag = "BrandError";
     /**
+     * Error name used by tools that inspect JavaScript error-like objects.
+     *
      * @since 4.0.0
      */
     readonly name: string;
     /**
+     * Schema issue describing why brand validation failed.
+     *
      * @since 4.0.0
      */
     readonly issue: Issue.Issue;
     /**
+     * Human-readable rendering of the validation issue.
+     *
      * @since 4.0.0
      */
     get message(): string;
     /**
+     * Formats the brand error together with its validation message.
+     *
      * @since 4.0.0
      */
     toString(): string;
 }
 /**
+ * Namespace containing type-level helpers for working with branded types and
+ * brand constructors.
+ *
  * @since 2.0.0
  */
 export declare namespace Brand {
     /**
      * A utility type to extract a branded type from a `Constructor`.
      *
+     * @category utility types
      * @since 2.0.0
      */
     type FromConstructor<C> = C extends Constructor<infer B> ? B : never;
     /**
      * A utility type to extract the unbranded value type from a brand.
      *
+     * @category utility types
      * @since 2.0.0
      */
     type Unbranded<B extends Brand<any>> = B extends infer U & Brands<B> ? U : B;
     /**
      * A utility type to extract the keys of a branded type.
      *
-     * @since 2.0.0
+     * @category utility types
+     * @since 4.0.0
      */
     type Keys<B extends Brand<any>> = keyof B[typeof TypeId];
     /**
      * A utility type to extract the brands from a branded type.
      *
+     * @category utility types
      * @since 2.0.0
      */
     type Brands<B extends Brand<any>> = Types.UnionToIntersection<{
@@ -109,6 +126,7 @@ export declare namespace Brand {
     /**
      * A utility type that checks that all brands have the same base type.
      *
+     * @category utility types
      * @since 2.0.0
      */
     type EnsureCommonBase<Brands extends readonly [Constructor<any>, ...Array<Constructor<any>>]> = {
@@ -118,7 +136,7 @@ export declare namespace Brand {
 /**
  * A type alias for creating branded types more concisely.
  *
- * @category alias
+ * @category utility types
  * @since 2.0.0
  */
 export type Branded<A, Key extends string> = A & Brand<Key>;
@@ -129,7 +147,7 @@ export type Branded<A, Key extends string> = A & Brand<Key>;
  * but with different meanings.
  *
  * If you also want to perform some validation, see {@link make} or
- * {@link check} or {@link refine}.
+ * {@link check}.
  *
  * @category constructors
  * @since 2.0.0
@@ -144,10 +162,17 @@ export declare function nominal<A extends Brand<any>>(): Constructor<A>;
  * values of the same type but with different meanings, see {@link nominal}.
  *
  * @category constructors
- * @since 2.0.0
+ * @since 4.0.0
  */
 export declare function make<A extends Brand<any>>(filter: (unbranded: Brand.Unbranded<A>) => Schema.FilterOutput): Constructor<A>;
 /**
+ * Creates a branded type `Constructor` from one or more schema checks.
+ *
+ * Calling the returned constructor validates the unbranded value and throws on
+ * failure. Use the returned `option`, `result`, or `is` methods for
+ * non-throwing validation.
+ *
+ * @category constructors
  * @since 4.0.0
  */
 export declare function check<A extends Brand<any>>(...checks: readonly [

package/dist/Brand.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Brand.d.ts","sourceRoot":"","sources":["../src/Brand.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AACrC,OAAO,KAAK,KAAK,KAAK,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC,QAAA,MAAM,MAAM,kBAAkB,CAAA;AAE9B;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,SAAS,MAAM;IAC/C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,EAAE,CAAC,IAAI,IAAI,GAAG,IAAI;KAC3B,CAAA;CACF;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC;IACtD;;;OAGG;IACH,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAClC;;;OAGG;IACH,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvD;;;;OAIG;IACH,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;IACnE;;;OAGG;IACH,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAQvE;AAED;;;;;;GAMG;AACH,qBAAa,UAAU;gBACT,KAAK,EAAE,KAAK,CAAC,KAAK;IAG9B;;OAEG;IACH,QAAQ,CAAC,IAAI,gBAAe;IAC5B;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAe;IACpC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAA;IAC3B;;OAEG;IACH,IAAI,OAAO,WAEV;IACD;;OAEG;IACH,QAAQ;CAGT;AAED;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B;;;;OAIG;IACH,KAAY,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IAE3E;;;;OAIG;IACH,KAAY,SAAS,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAEnF;;;;OAIG;IACH,KAAY,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC,CAAA;IAE/D;;;;OAIG;IACH,KAAY,MAAM,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,mBAAmB,CAClE;SAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CACjE,CAAA;IAED;;;;OAIG;IACH,KAAY,gBAAgB,CAC1B,MAAM,SAAS,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IACpE;SACD,CAAC,IAAI,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SACpE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACzG,MAAM,CAAC,CAAC,CAAC,GACX,MAAM,CAAC,CAAC,CAAC,GACT,kDAAkD;KACvD,CAAA;CACF;AAED;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;AAE3D;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAM9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EACvC,MAAM,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,YAAY,GAC7D,WAAW,CAAC,CAAC,CAAC,CAEhB;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EACxC,GAAG,MAAM,EAAE,SAAS;IAClB,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;CACxC,GACA,WAAW,CAAC,CAAC,CAAC,CAUhB;AAED;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,MAAM,SAAS,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EACxF,GAAG,MAAM,EAAE,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,GACxC,WAAW,CACZ,KAAK,CAAC,mBAAmB,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,SAC1F,MAAM,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAC9C,CAKA"}
+{"version":3,"file":"Brand.d.ts","sourceRoot":"","sources":["../src/Brand.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AACrC,OAAO,KAAK,KAAK,KAAK,MAAM,kBAAkB,CAAA;AAC9C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC,QAAA,MAAM,MAAM,kBAAkB,CAAA;AAE9B;;;;;GAKG;AACH,MAAM,WAAW,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,SAAS,MAAM;IAC/C,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE;QACjB,QAAQ,EAAE,CAAC,IAAI,IAAI,GAAG,IAAI;KAC3B,CAAA;CACF;AAED;;;;;;GAMG;AACH,MAAM,WAAW,WAAW,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC;IACtD;;;OAGG;IACH,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAClC;;;OAGG;IACH,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACvD;;;;OAIG;IACH,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAA;IACnE;;;OAGG;IACH,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAQvE;AAED;;;;;;GAMG;AACH,qBAAa,UAAU;gBACT,KAAK,EAAE,KAAK,CAAC,KAAK;IAG9B;;;;OAIG;IACH,QAAQ,CAAC,IAAI,gBAAe;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAe;IACpC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAA;IAC3B;;;;OAIG;IACH,IAAI,OAAO,WAEV;IACD;;;;OAIG;IACH,QAAQ;CAGT;AAED;;;;;GAKG;AACH,MAAM,CAAC,OAAO,WAAW,KAAK,CAAC;IAC7B;;;;;OAKG;IACH,KAAY,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;IAE3E;;;;;OAKG;IACH,KAAY,SAAS,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAEnF;;;;;OAKG;IACH,KAAY,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC,CAAA;IAE/D;;;;;OAKG;IACH,KAAY,MAAM,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,mBAAmB,CAClE;SAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CACjE,CAAA;IAED;;;;;OAKG;IACH,KAAY,gBAAgB,CAC1B,MAAM,SAAS,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IACpE;SACD,CAAC,IAAI,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SACpE,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACzG,MAAM,CAAC,CAAC,CAAC,GACX,MAAM,CAAC,CAAC,CAAC,GACT,kDAAkD;KACvD,CAAA;CACF;AAED;;;;;GAKG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;AAE3D;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAM9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EACvC,MAAM,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,YAAY,GAC7D,WAAW,CAAC,CAAC,CAAC,CAEhB;AAED;;;;;;;;;GASG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,EACxC,GAAG,MAAM,EAAE,SAAS;IAClB,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;CACxC,GACA,WAAW,CAAC,CAAC,CAAC,CAUhB;AAED;;;;;;;GAOG;AACH,wBAAgB,GAAG,CAAC,MAAM,SAAS,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EACxF,GAAG,MAAM,EAAE,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,GACxC,WAAW,CACZ,KAAK,CAAC,mBAAmB,CAAC;KAAG,CAAC,IAAI,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,SAC1F,MAAM,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAC9C,CAKA"}

package/dist/Brand.js

@@ -22,24 +22,34 @@ export class BrandError {
     this.issue = issue;
   }
   /**
+   * Discriminant used to identify brand construction failures.
+   *
    * @since 4.0.0
    */
   _tag = "BrandError";
   /**
+   * Error name used by tools that inspect JavaScript error-like objects.
+   *
    * @since 4.0.0
    */
   name = "BrandError";
   /**
+   * Schema issue describing why brand validation failed.
+   *
    * @since 4.0.0
    */
   issue;
   /**
+   * Human-readable rendering of the validation issue.
+   *
    * @since 4.0.0
    */
   get message() {
     return this.issue.toString();
   }
   /**
+   * Formats the brand error together with its validation message.
+   *
    * @since 4.0.0
    */
   toString() {
@@ -53,7 +63,7 @@ export class BrandError {
  * but with different meanings.
  *
  * If you also want to perform some validation, see {@link make} or
- * {@link check} or {@link refine}.
+ * {@link check}.
  *
  * @category constructors
  * @since 2.0.0
@@ -74,12 +84,19 @@ export function nominal() {
  * values of the same type but with different meanings, see {@link nominal}.
  *
  * @category constructors
- * @since 2.0.0
+ * @since 4.0.0
  */
 export function make(filter) {
   return check(AST.makeFilter(filter));
 }
 /**
+ * Creates a branded type `Constructor` from one or more schema checks.
+ *
+ * Calling the returned constructor validates the unbranded value and throws on
+ * failure. Use the returned `option`, `result`, or `is` methods for
+ * non-throwing validation.
+ *
+ * @category constructors
  * @since 4.0.0
  */
 export function check(...checks) {

package/dist/Brand.js.map

@@ -1 +1 @@
-{"version":3,"file":"Brand.js","names":["Arr","Option","Result","AST","TypeId","BrandError","constructor","issue","_tag","name","message","toString","nominal","Object","assign","input","option","some","result","succeed","is","_","make","filter","check","makeFilter","checks","mapError","runChecks","getOrThrow","getSuccess","isSuccess","all","brands","flatMap","brand","isArrayNonEmpty"],"sources":["../src/Brand.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;AAOA,OAAO,KAAKA,GAAG,MAAM,YAAY;AACjC,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC,OAAO,KAAKC,GAAG,MAAM,gBAAgB;AAIrC,MAAMC,MAAM,GAAG,eAAe;AAoD9B;;;;;;;AAOA,OAAM,MAAOC,UAAU;EACrBC,YAAYC,KAAkB;IAC5B,IAAI,CAACA,KAAK,GAAGA,KAAK;EACpB;EACA;;;EAGSC,IAAI,GAAG,YAAY;EAC5B;;;EAGSC,IAAI,GAAW,YAAY;EACpC;;;EAGSF,KAAK;EACd;;;EAGA,IAAIG,OAAOA,CAAA;IACT,OAAO,IAAI,CAACH,KAAK,CAACI,QAAQ,EAAE;EAC9B;EACA;;;EAGAA,QAAQA,CAAA;IACN,OAAO,cAAc,IAAI,CAACD,OAAO,GAAG;EACtC;;AA8DF;;;;;;;;;;;;AAYA,OAAM,SAAUE,OAAOA,CAAA;EACrB,OAAOC,MAAM,CAACC,MAAM,CAAEC,KAAyB,IAAKA,KAAU,EAAE;IAC9DC,MAAM,EAAGD,KAAyB,IAAKd,MAAM,CAACgB,IAAI,CAACF,KAAU,CAAC;IAC9DG,MAAM,EAAGH,KAAyB,IAAKb,MAAM,CAACiB,OAAO,CAACJ,KAAU,CAAC;IACjEK,EAAE,EAAGC,CAAqB,IAAkC;GAC7D,CAAC;AACJ;AAEA;;;;;;;;;;;AAWA,OAAM,SAAUC,IAAIA,CAClBC,MAA8D;EAE9D,OAAOC,KAAK,CAACrB,GAAG,CAACsB,UAAU,CAACF,MAAM,CAAC,CAAC;AACtC;AAEA;;;AAGA,OAAM,SAAUC,KAAKA,CACnB,GAAGE,MAGF;EAED,MAAMR,MAAM,GAAIH,KAAyB,IAAkC;IACzE,OAAOb,MAAM,CAACyB,QAAQ,CAACxB,GAAG,CAACyB,SAAS,CAACF,MAAM,EAAEX,KAAK,CAAC,EAAGR,KAAK,IAAK,IAAIF,UAAU,CAACE,KAAK,CAAC,CAAQ;EAC/F,CAAC;EACD,OAAOM,MAAM,CAACC,MAAM,CAAEC,KAAyB,IAAKb,MAAM,CAAC2B,UAAU,CAACX,MAAM,CAACH,KAAK,CAAC,CAAC,EAAE;IACpFC,MAAM,EAAGD,KAAyB,IAAKd,MAAM,CAAC6B,UAAU,CAACZ,MAAM,CAACH,KAAK,CAAC,CAAC;IACvEG,MAAM;IACNE,EAAE,EAAGL,KAAyB,IAAsCb,MAAM,CAAC6B,SAAS,CAACb,MAAM,CAACH,KAAK,CAAC,CAAC;IACnGW;GACD,CAAC;AACJ;AAEA;;;;;;;;AAQA,OAAM,SAAUM,GAAGA,CACjB,GAAGC,MAAsC;EAKzC,MAAMP,MAAM,GAAGO,MAAM,CAACC,OAAO,CAAEC,KAAK,IAAKA,KAAK,CAACT,MAAM,IAAI,EAAE,CAAC;EAC5D,OAAO1B,GAAG,CAACoC,eAAe,CAACV,MAAM,CAAC,GAChCF,KAAK,CAAC,GAAGE,MAAM,CAAC,GAChBd,OAAO,EAAE;AACb","ignoreList":[]}
+{"version":3,"file":"Brand.js","names":["Arr","Option","Result","AST","TypeId","BrandError","constructor","issue","_tag","name","message","toString","nominal","Object","assign","input","option","some","result","succeed","is","_","make","filter","check","makeFilter","checks","mapError","runChecks","getOrThrow","getSuccess","isSuccess","all","brands","flatMap","brand","isArrayNonEmpty"],"sources":["../src/Brand.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;AAOA,OAAO,KAAKA,GAAG,MAAM,YAAY;AACjC,OAAO,KAAKC,MAAM,MAAM,aAAa;AACrC,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC,OAAO,KAAKC,GAAG,MAAM,gBAAgB;AAIrC,MAAMC,MAAM,GAAG,eAAe;AAoD9B;;;;;;;AAOA,OAAM,MAAOC,UAAU;EACrBC,YAAYC,KAAkB;IAC5B,IAAI,CAACA,KAAK,GAAGA,KAAK;EACpB;EACA;;;;;EAKSC,IAAI,GAAG,YAAY;EAC5B;;;;;EAKSC,IAAI,GAAW,YAAY;EACpC;;;;;EAKSF,KAAK;EACd;;;;;EAKA,IAAIG,OAAOA,CAAA;IACT,OAAO,IAAI,CAACH,KAAK,CAACI,QAAQ,EAAE;EAC9B;EACA;;;;;EAKAA,QAAQA,CAAA;IACN,OAAO,cAAc,IAAI,CAACD,OAAO,GAAG;EACtC;;AAsEF;;;;;;;;;;;;AAYA,OAAM,SAAUE,OAAOA,CAAA;EACrB,OAAOC,MAAM,CAACC,MAAM,CAAEC,KAAyB,IAAKA,KAAU,EAAE;IAC9DC,MAAM,EAAGD,KAAyB,IAAKd,MAAM,CAACgB,IAAI,CAACF,KAAU,CAAC;IAC9DG,MAAM,EAAGH,KAAyB,IAAKb,MAAM,CAACiB,OAAO,CAACJ,KAAU,CAAC;IACjEK,EAAE,EAAGC,CAAqB,IAAkC;GAC7D,CAAC;AACJ;AAEA;;;;;;;;;;;AAWA,OAAM,SAAUC,IAAIA,CAClBC,MAA8D;EAE9D,OAAOC,KAAK,CAACrB,GAAG,CAACsB,UAAU,CAACF,MAAM,CAAC,CAAC;AACtC;AAEA;;;;;;;;;;AAUA,OAAM,SAAUC,KAAKA,CACnB,GAAGE,MAGF;EAED,MAAMR,MAAM,GAAIH,KAAyB,IAAkC;IACzE,OAAOb,MAAM,CAACyB,QAAQ,CAACxB,GAAG,CAACyB,SAAS,CAACF,MAAM,EAAEX,KAAK,CAAC,EAAGR,KAAK,IAAK,IAAIF,UAAU,CAACE,KAAK,CAAC,CAAQ;EAC/F,CAAC;EACD,OAAOM,MAAM,CAACC,MAAM,CAAEC,KAAyB,IAAKb,MAAM,CAAC2B,UAAU,CAACX,MAAM,CAACH,KAAK,CAAC,CAAC,EAAE;IACpFC,MAAM,EAAGD,KAAyB,IAAKd,MAAM,CAAC6B,UAAU,CAACZ,MAAM,CAACH,KAAK,CAAC,CAAC;IACvEG,MAAM;IACNE,EAAE,EAAGL,KAAyB,IAAsCb,MAAM,CAAC6B,SAAS,CAACb,MAAM,CAACH,KAAK,CAAC,CAAC;IACnGW;GACD,CAAC;AACJ;AAEA;;;;;;;;AAQA,OAAM,SAAUM,GAAGA,CACjB,GAAGC,MAAsC;EAKzC,MAAMP,MAAM,GAAGO,MAAM,CAACC,OAAO,CAAEC,KAAK,IAAKA,KAAK,CAACT,MAAM,IAAI,EAAE,CAAC;EAC5D,OAAO1B,GAAG,CAACoC,eAAe,CAACV,MAAM,CAAC,GAChCF,KAAK,CAAC,GAAGE,MAAM,CAAC,GAChBd,OAAO,EAAE;AACb","ignoreList":[]}