effect 4.0.0-beta.70 → 4.0.0-beta.71

package/dist/Boolean.js

@@ -1,6 +1,57 @@
 /**
- * This module provides utility functions and type class instances for working with the `boolean` type in TypeScript.
- * It includes functions for basic boolean operations.
+ * Operations for working with TypeScript `boolean` values in expression-oriented
+ * code. Use this module to narrow unknown input, branch without inline
+ * conditionals, combine boolean flags with named logical operators, and reduce
+ * boolean collections.
+ *
+ * **Mental model**
+ *
+ * Boolean values are plain JavaScript booleans. The module adds a small
+ * vocabulary around them: {@link match} for choosing between two lazy branches,
+ * logical combinators such as {@link and}, {@link or}, {@link xor}, and
+ * {@link implies}, and collection helpers such as {@link every} and
+ * {@link some}. The exported {@link Order} sorts `false` before `true`, and
+ * {@link Equivalence} compares booleans with strict equality.
+ *
+ * **Common tasks**
+ *
+ * - Coerce or narrow input: {@link Boolean}, {@link isBoolean}
+ * - Branch on a boolean: {@link match}
+ * - Invert and combine flags: {@link not}, {@link and}, {@link or},
+ *   {@link nand}, {@link nor}, {@link xor}, {@link eqv}, {@link implies}
+ * - Check boolean collections: {@link every}, {@link some}
+ * - Pass boolean instances to generic APIs: {@link Order}, {@link Equivalence},
+ *   {@link ReducerAnd}, {@link ReducerOr}
+ *
+ * **Gotchas**
+ *
+ * - {@link Boolean} is the native JavaScript constructor. It follows truthiness
+ *   rules, so values such as `"false"` and `[]` coerce to `true`.
+ * - {@link every} returns `true` for an empty iterable, matching logical AND.
+ *   {@link some} returns `false` for an empty iterable, matching logical OR.
+ * - {@link ReducerAnd} and {@link ReducerOr} are for APIs that consume a
+ *   `Reducer`; use {@link every} or {@link some} when you want direct iterable
+ *   checks.
+ *
+ * **Quickstart**
+ *
+ * **Example** (Combining validation flags)
+ *
+ * ```ts
+ * import { Boolean } from "effect"
+ *
+ * const hasName = true
+ * const hasEmail = false
+ *
+ * const isComplete = Boolean.and(hasName, hasEmail)
+ * console.log(isComplete) // false
+ *
+ * const message = Boolean.match(isComplete, {
+ *   onFalse: () => "missing fields",
+ *   onTrue: () => "ready"
+ * })
+ * console.log(message) // "missing fields"
+ * ```
  *
  * @since 2.0.0
  */
@@ -10,7 +61,18 @@ import * as order from "./Order.js";
 import * as predicate from "./Predicate.js";
 import * as Reducer from "./Reducer.js";
 /**
- * Reference to the global Boolean constructor.
+ * Reference to the global `Boolean` constructor for JavaScript truthiness
+ * coercion.
+ *
+ * **When to use**
+ *
+ * Use when you want native `Boolean` constructor coercion from the Effect module
+ * namespace.
+ *
+ * **Gotchas**
+ *
+ * This follows native truthiness rules. For example, non-empty strings such as
+ * `"false"` coerce to `true`.
  *
  * **Example** (Coercing values to booleans)
  *
@@ -34,6 +96,10 @@ export const Boolean = globalThis.Boolean;
 /**
  * Tests if a value is a `boolean`.
  *
+ * **When to use**
+ *
+ * Use to validate unknown input and narrow it to `boolean`.
+ *
  * **Example** (Checking for booleans)
  *
  * ```ts
@@ -52,6 +118,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.
  *
+ * **When to use**
+ *
+ * Use to choose between two lazy branches based on a boolean value.
+ *
  * **Example** (Pattern matching on booleans)
  *
  * ```ts
@@ -75,6 +145,11 @@ 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`.
  *
+ * **When to use**
+ *
+ * Use when an API needs an `Order` instance for booleans with `false` before
+ * `true`.
+ *
  * **Example** (Comparing booleans)
  *
  * ```ts
@@ -92,6 +167,10 @@ export const Order = order.Boolean;
 /**
  * An `Equivalence` instance for booleans using strict equality (`===`).
  *
+ * **When to use**
+ *
+ * Use when an API needs an `Equivalence` instance for boolean equality.
+ *
  * **Example** (Comparing booleans for equivalence)
  *
  * ```ts
@@ -108,6 +187,10 @@ export const Equivalence = Equ.Boolean;
 /**
  * Negates the given boolean: `!self`
  *
+ * **When to use**
+ *
+ * Use to invert a boolean value.
+ *
  * **Example** (Negating booleans)
  *
  * ```ts
@@ -123,7 +206,15 @@ export const Equivalence = Equ.Boolean;
  */
 export const not = self => !self;
 /**
- * Combines two boolean using AND: `self && that`.
+ * Combines two booleans using logical AND: `self && that`.
+ *
+ * **When to use**
+ *
+ * Use to require both boolean operands to be `true`.
+ *
+ * **Details**
+ *
+ * Supports both data-first and data-last forms.
  *
  * **Example** (Combining booleans with AND)
  *
@@ -144,6 +235,10 @@ export const and = /*#__PURE__*/dual(2, (self, that) => self && that);
 /**
  * Combines two boolean using NAND: `!(self && that)`.
  *
+ * **When to use**
+ *
+ * Use to negate a logical AND result.
+ *
  * **Example** (Combining booleans with NAND)
  *
  * ```ts
@@ -163,6 +258,10 @@ export const nand = /*#__PURE__*/dual(2, (self, that) => !(self && that));
 /**
  * Combines two boolean using OR: `self || that`.
  *
+ * **When to use**
+ *
+ * Use to accept when either boolean operand is `true`.
+ *
  * **Example** (Combining booleans with OR)
  *
  * ```ts
@@ -182,6 +281,10 @@ export const or = /*#__PURE__*/dual(2, (self, that) => self || that);
 /**
  * Combines two booleans using NOR: `!(self || that)`.
  *
+ * **When to use**
+ *
+ * Use to accept only when both boolean operands are `false`.
+ *
  * **Example** (Combining booleans with NOR)
  *
  * ```ts
@@ -201,6 +304,10 @@ export const nor = /*#__PURE__*/dual(2, (self, that) => !(self || that));
 /**
  * Combines two booleans using XOR: `(!self && that) || (self && !that)`.
  *
+ * **When to use**
+ *
+ * Use to accept when exactly one boolean operand is `true`.
+ *
  * **Example** (Combining booleans with XOR)
  *
  * ```ts
@@ -220,6 +327,10 @@ export const xor = /*#__PURE__*/dual(2, (self, that) => !self && that || self &&
 /**
  * Combines two booleans using EQV (aka XNOR): `!xor(self, that)`.
  *
+ * **When to use**
+ *
+ * Use to accept when both boolean operands have the same truth value.
+ *
  * **Example** (Checking boolean equivalence)
  *
  * ```ts
@@ -239,6 +350,10 @@ export const eqv = /*#__PURE__*/dual(2, (self, that) => !xor(self, that));
 /**
  * Combines two booleans using an implication: `(!self || that)`.
  *
+ * **When to use**
+ *
+ * Use to model logical implication between a condition and a consequence.
+ *
  * **Example** (Checking boolean implication)
  *
  * ```ts
@@ -258,6 +373,10 @@ 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`.
  *
+ * **When to use**
+ *
+ * Use to check that every boolean in an iterable is `true`.
+ *
  * **Example** (Checking every boolean)
  *
  * ```ts
@@ -268,6 +387,9 @@ export const implies = /*#__PURE__*/dual(2, (self, that) => self ? that : true);
  * assert.deepStrictEqual(Boolean.every([true, false, true]), false)
  * ```
  *
+ * @see {@link some} for checking whether at least one value is `true`
+ * @see {@link ReducerAnd} for reducing booleans with AND through a `Reducer`
+ *
  * @category utils
  * @since 2.0.0
  */
@@ -282,6 +404,10 @@ 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`.
  *
+ * **When to use**
+ *
+ * Use to check that at least one boolean in an iterable is `true`.
+ *
  * **Example** (Checking some booleans)
  *
  * ```ts
@@ -292,6 +418,9 @@ export const every = collection => {
  * assert.deepStrictEqual(Boolean.some([false, false, false]), false)
  * ```
  *
+ * @see {@link every} for checking whether all values are `true`
+ * @see {@link ReducerOr} for reducing booleans with OR through a `Reducer`
+ *
  * @category utils
  * @since 2.0.0
  */
@@ -306,9 +435,22 @@ export const some = collection => {
 /**
  * A `Reducer` for combining `boolean`s using AND.
  *
+ * **When to use**
+ *
+ * Use to require every accumulated boolean to be `true` through APIs that
+ * consume a `Reducer`.
+ *
  * **Details**
  *
- * The `initialValue` is `true`.
+ * The `initialValue` is `true`, so `combineAll([])` returns `true`.
+ *
+ * **Gotchas**
+ *
+ * `combineAll` uses the default left-to-right `Reducer.make` fold and does not
+ * short-circuit on `false`.
+ *
+ * @see {@link ReducerOr} for reducing with OR semantics
+ * @see {@link every} for checking an iterable directly
  *
  * @category math
  * @since 4.0.0
@@ -317,10 +459,18 @@ export const ReducerAnd = /*#__PURE__*/Reducer.make((a, b) => a && b, true);
 /**
  * A `Reducer` for combining `boolean`s using OR.
  *
+ * **When to use**
+ *
+ * Use to reduce boolean values where the result should be `true` if any
+ * combined value is `true`.
+ *
  * **Details**
  *
  * The `initialValue` is `false`.
  *
+ * @see {@link ReducerAnd} for reducing with AND semantics
+ * @see {@link some} for checking an iterable directly
+ *
  * @category math
  * @since 4.0.0
  */

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;;;;;;;;;;;;;;;;;;;;;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;;;;;;;;;;AAUA,OAAO,MAAME,UAAU,gBAA6BzB,OAAO,CAAC0B,IAAI,CAAC,CAACC,CAAC,EAAEJ,CAAC,KAAKI,CAAC,IAAIJ,CAAC,EAAE,IAAI,CAAC;AAExF;;;;;;;;;;AAUA,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyDA,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAMC,OAAO,GAAGC,UAAU,CAACD,OAAO;AAEzC;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAME,SAAS,GAAyCJ,SAAS,CAACI,SAAS;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMC,KAAK,gBAkEdP,IAAI,CAAC,CAAC,EAAE,CAAOQ,KAAc,EAAEC,OAGlC,KAAYD,KAAK,GAAGC,OAAO,CAACC,MAAM,EAAE,GAAGD,OAAO,CAACE,OAAO,EAAE,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMC,KAAK,GAAyBX,KAAK,CAACG,OAAO;AAExD;;;;;;;;;;;;;;;;;;;AAmBA,OAAO,MAAMS,WAAW,GAA6Bd,GAAG,CAACK,OAAO;AAEhE;;;;;;;;;;;;;;;;;;;;AAoBA,OAAO,MAAMU,GAAG,GAAIC,IAAa,IAAc,CAACA,IAAI;AAEpD;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAMC,GAAG,gBAuDZhB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAcF,IAAI,IAAIE,IAAI,CAAC;AAEpE;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMC,IAAI,gBA+CblB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,EAAEF,IAAI,IAAIE,IAAI,CAAC,CAAC;AAEvE;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAME,EAAE,gBA+CXnB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAcF,IAAI,IAAIE,IAAI,CAAC;AAEpE;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMG,GAAG,gBA+CZpB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,EAAEF,IAAI,IAAIE,IAAI,CAAC,CAAC;AAEvE;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMI,GAAG,gBA+CZrB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAe,CAACF,IAAI,IAAIE,IAAI,IAAMF,IAAI,IAAI,CAACE,IAAK,CAAC;AAE1F;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMK,GAAG,gBA+CZtB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAa,EAAEE,IAAa,KAAc,CAACI,GAAG,CAACN,IAAI,EAAEE,IAAI,CAAC,CAAC;AAExE;;;;;;;;;;;;;;;;;;;;;;AAsBA,OAAO,MAAMM,OAAO,gBA+ChBvB,IAAI,CAAC,CAAC,EAAE,CAACe,IAAI,EAAEE,IAAI,KAAKF,IAAI,GAAGE,IAAI,GAAG,IAAI,CAAC;AAE/C;;;;;;;;;;;;;;;;;;;;;;;AAuBA,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;;;;;;;;;;;;;;;;;;;;;;;AAuBA,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;;;;;;;;;;;;;;;;;;;;;;;AAuBA,OAAO,MAAME,UAAU,gBAA6BzB,OAAO,CAAC0B,IAAI,CAAC,CAACC,CAAC,EAAEJ,CAAC,KAAKI,CAAC,IAAIJ,CAAC,EAAE,IAAI,CAAC;AAExF;;;;;;;;;;;;;;;;;;AAkBA,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,6 +8,15 @@ declare const TypeId = "~effect/Brand";
 /**
  * A generic interface that defines a branded type.
  *
+ * **When to use**
+ *
+ * Use to define a branded type such as `number & Brand<"Positive">` when
+ * TypeScript should keep structurally identical values separate without
+ * changing their runtime value.
+ *
+ * @see {@link Branded} for applying a brand key to a base type
+ * @see {@link Constructor} for validating or constructing branded values
+ *
  * @category models
  * @since 2.0.0
  */
@@ -20,6 +29,17 @@ export interface Brand<in out Keys extends string> {
  * A constructor for a branded type that provides validation and safe
  * construction methods.
  *
+ * **When to use**
+ *
+ * Use as the shared callable interface for branded values when an API accepts
+ * or returns a brand constructor and callers need throwing, `Option`, `Result`,
+ * or type-guard validation forms.
+ *
+ * @see {@link nominal} for a constructor without runtime validation
+ * @see {@link make} for creating a constructor from a validation predicate
+ * @see {@link check} for creating a constructor from schema checks
+ * @see {@link all} for combining brand constructors
+ *
  * @category models
  * @since 2.0.0
  */
@@ -50,6 +70,16 @@ export interface Constructor<in out B extends Brand<any>> {
  * A `BrandError` is returned when a branded type is constructed from an invalid
  * value.
  *
+ * **Details**
+ *
+ * The error wraps a `SchemaIssue.Issue`, exposes `message` through
+ * `issue.toString()`, and formats as `BrandError(<message>)`.
+ *
+ * **Gotchas**
+ *
+ * `BrandError` is an error-like model with `_tag`, `name`, `message`, and
+ * `toString`; it does not extend JavaScript `Error`.
+ *
  * @category models
  * @since 4.0.0
  */
@@ -146,7 +176,7 @@ export type Branded<A, Key extends string> = A & Brand<Key>;
  *
  * **When to use**
  *
- * Use this to create nominal types that allow distinguishing between two values
+ * Use to create nominal types that allow distinguishing between two values
  * of the same type but with different meanings. If you also want to perform
  * some validation, see {@link make} or {@link check}.
  *
@@ -160,7 +190,7 @@ export declare function nominal<A extends Brand<any>>(): Constructor<A>;
  *
  * **When to use**
  *
- * Use this when you want validation while constructing the branded type. If you
+ * Use when you want validation while constructing the branded type. If you
  * don't want to perform any validation but only distinguish between two values
  * of the same type but with different meanings, see {@link nominal}.
  *
@@ -171,12 +201,19 @@ export declare function make<A extends Brand<any>>(filter: (unbranded: Brand.Unb
 /**
  * Creates a branded type `Constructor` from one or more schema checks.
  *
+ * **When to use**
+ *
+ * Use when you need a branded type constructor that performs runtime validation
+ * via schema checks.
+ *
  * **Details**
  *
  * Calling the returned constructor validates the unbranded value and throws on
  * failure. Use the returned `option`, `result`, or `is` methods for
  * non-throwing validation.
  *
+ * @see {@link nominal} for a brand constructor without runtime validation
+ * @see {@link all} for combining multiple brand constructors
  * @category constructors
  * @since 4.0.0
  */
@@ -185,9 +222,18 @@ export declare function check<A extends Brand<any>>(...checks: readonly [
     ...Array<AST.Check<Brand.Unbranded<A>>>
 ]): Constructor<A>;
 /**
- * Combines two or more brands together to form a single branded type. This API
- * is useful when you want to validate that the input data passes multiple brand
- * validators.
+ * Combines one or more brand constructors to form a single branded type.
+ *
+ * **When to use**
+ *
+ * Use to require an input to satisfy every runtime check collected by the
+ * provided brand constructors.
+ *
+ * **Details**
+ *
+ * If the provided constructors contain runtime checks, the combined
+ * constructor succeeds only when all checks pass. If no runtime checks are
+ * present, it behaves as a nominal constructor.
  *
  * @category combining
  * @since 2.0.0

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;;;;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;;;;;;;;;;;;GAYG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAM9D;AAED;;;;;;;;;;;;GAYG;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;;;;;;;;;;;GAWG;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":"AAsDA,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;;;;;;;;;;;;;;GAcG;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;;;;;;;;;;;;;;;;;GAiBG;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;;;;;;;;;;;;;;;;GAgBG;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;;;;;;;;;;;;GAYG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAM9D;AAED;;;;;;;;;;;;GAYG;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;;;;;;;;;;;;;;;;;;GAkBG;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;;;;;;;;;;;;;;;;GAgBG;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

@@ -1,7 +1,53 @@
 /**
- * This module provides types and utility functions to create and work with
- * branded types, which are TypeScript types with an added type tag to prevent
- * accidental usage of a value in the wrong context.
+ * The `Brand` module adds compile-time names to ordinary TypeScript values so
+ * structurally identical values cannot be mixed accidentally. A branded value
+ * has the same runtime representation as its unbranded value; the extra
+ * information lives in the type system unless you choose a validating
+ * constructor.
+ *
+ * **Mental model**
+ *
+ * - {@link Branded} is an existing value type plus a phantom {@link Brand}
+ *   marker
+ * - {@link nominal} creates constructors for purely nominal brands and
+ *   performs no runtime validation
+ * - {@link make} and {@link check} create constructors that validate input
+ *   before returning the branded value
+ * - A {@link Constructor} can throw, return `Option`, return `Result`, or act
+ *   as a type guard through its `is` method
+ * - {@link all} combines multiple brand constructors with the same base type so
+ *   a value can carry several brands
+ *
+ * **Common tasks**
+ *
+ * - Distinguish identifiers with the same primitive representation, such as
+ *   `UserId` and `OrderId`
+ * - Constrain primitive values after validation, such as positive numbers,
+ *   non-empty strings, or normalized tokens
+ * - Keep public APIs precise without wrapping values in runtime classes
+ *
+ * **Quickstart**
+ *
+ * **Example** (Validated identifier)
+ *
+ * ```ts
+ * import { Brand } from "effect"
+ *
+ * type UserId = Brand.Branded<number, "UserId">
+ *
+ * const UserId = Brand.make<UserId>(
+ *   (n) => Number.isInteger(n) && n > 0 || "Expected a positive integer"
+ * )
+ *
+ * const id = UserId(1)
+ * ```
+ *
+ * **Gotchas**
+ *
+ * - Brands do not change the runtime value; `id` above is still a number at
+ *   runtime
+ * - {@link nominal} accepts every value of the base type, so use
+ *   {@link make} or {@link check} at trust boundaries that need validation
  *
  * @since 2.0.0
  */
@@ -14,6 +60,16 @@ const TypeId = "~effect/Brand";
  * A `BrandError` is returned when a branded type is constructed from an invalid
  * value.
  *
+ * **Details**
+ *
+ * The error wraps a `SchemaIssue.Issue`, exposes `message` through
+ * `issue.toString()`, and formats as `BrandError(<message>)`.
+ *
+ * **Gotchas**
+ *
+ * `BrandError` is an error-like model with `_tag`, `name`, `message`, and
+ * `toString`; it does not extend JavaScript `Error`.
+ *
  * @category models
  * @since 4.0.0
  */
@@ -62,7 +118,7 @@ export class BrandError {
  *
  * **When to use**
  *
- * Use this to create nominal types that allow distinguishing between two values
+ * Use to create nominal types that allow distinguishing between two values
  * of the same type but with different meanings. If you also want to perform
  * some validation, see {@link make} or {@link check}.
  *
@@ -82,7 +138,7 @@ export function nominal() {
  *
  * **When to use**
  *
- * Use this when you want validation while constructing the branded type. If you
+ * Use when you want validation while constructing the branded type. If you
  * don't want to perform any validation but only distinguish between two values
  * of the same type but with different meanings, see {@link nominal}.
  *
@@ -95,12 +151,19 @@ export function make(filter) {
 /**
  * Creates a branded type `Constructor` from one or more schema checks.
  *
+ * **When to use**
+ *
+ * Use when you need a branded type constructor that performs runtime validation
+ * via schema checks.
+ *
  * **Details**
  *
  * Calling the returned constructor validates the unbranded value and throws on
  * failure. Use the returned `option`, `result`, or `is` methods for
  * non-throwing validation.
  *
+ * @see {@link nominal} for a brand constructor without runtime validation
+ * @see {@link all} for combining multiple brand constructors
  * @category constructors
  * @since 4.0.0
  */
@@ -116,9 +179,18 @@ export function check(...checks) {
   });
 }
 /**
- * Combines two or more brands together to form a single branded type. This API
- * is useful when you want to validate that the input data passes multiple brand
- * validators.
+ * Combines one or more brand constructors to form a single branded type.
+ *
+ * **When to use**
+ *
+ * Use to require an input to satisfy every runtime check collected by the
+ * provided brand constructors.
+ *
+ * **Details**
+ *
+ * If the provided constructors contain runtime checks, the combined
+ * constructor succeeds only when all checks pass. If no runtime checks are
+ * present, it behaves as a nominal constructor.
  *
  * @category combining
  * @since 2.0.0

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;;;;;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;;;;;;;;;;;;;AAaA,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;;;;;;;;;;;;;AAaA,OAAM,SAAUC,IAAIA,CAClBC,MAA8D;EAE9D,OAAOC,KAAK,CAACrB,GAAG,CAACsB,UAAU,CAACF,MAAM,CAAC,CAAC;AACtC;AAEA;;;;;;;;;;;;AAYA,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqDA,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;AAwE9B;;;;;;;;;;;;;;;;;AAiBA,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;;;;;;;;;;;;;AAaA,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;;;;;;;;;;;;;AAaA,OAAM,SAAUC,IAAIA,CAClBC,MAA8D;EAE9D,OAAOC,KAAK,CAACrB,GAAG,CAACsB,UAAU,CAACF,MAAM,CAAC,CAAC;AACtC;AAEA;;;;;;;;;;;;;;;;;;;AAmBA,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;;;;;;;;;;;;;;;;;AAiBA,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":[]}