effect 4.0.0-beta.67 → 4.0.0-beta.68

package/src/Boolean.ts

@@ -17,7 +17,7 @@ import * as Reducer from "./Reducer.ts"
  * **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
@@ -40,11 +40,11 @@ export const Boolean = globalThis.Boolean
  * **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
@@ -59,7 +59,7 @@ export const isBoolean: (input: unknown) => input is boolean = predicate.isBoole
  * **Example** (Pattern matching on booleans)
  *
  * ```ts
- * import * as Boolean from "effect/Boolean"
+ * import { Boolean } from "effect"
  * import * as assert from "node:assert"
  *
  * assert.deepStrictEqual(
@@ -82,7 +82,7 @@ export const match: {
    * **Example** (Pattern matching on booleans)
    *
    * ```ts
-   * import * as Boolean from "effect/Boolean"
+   * import { Boolean } from "effect"
    * import * as assert from "node:assert"
    *
    * assert.deepStrictEqual(
@@ -110,7 +110,7 @@ export const match: {
    * **Example** (Pattern matching on booleans)
    *
    * ```ts
-   * import * as Boolean from "effect/Boolean"
+   * import { Boolean } from "effect"
    * import * as assert from "node:assert"
    *
    * assert.deepStrictEqual(
@@ -144,7 +144,7 @@ export const match: {
  * **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)
@@ -169,7 +169,7 @@ export const Order: order.Order<boolean> = order.Boolean
  * ```
  *
  * @category instances
- * @since 4.0.0
+ * @since 2.0.0
  */
 export const Equivalence: Equ.Equivalence<boolean> = Equ.Boolean
 
@@ -179,11 +179,11 @@ export const Equivalence: Equ.Equivalence<boolean> = Equ.Boolean
  * **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
@@ -197,13 +197,13 @@ export const not = (self: boolean): boolean => !self
  * **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
@@ -216,13 +216,13 @@ export const and: {
    * **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
@@ -235,13 +235,13 @@ export const and: {
    * **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
@@ -256,13 +256,13 @@ export const and: {
  * **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
@@ -275,13 +275,13 @@ export const nand: {
    * **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
@@ -294,13 +294,13 @@ export const nand: {
    * **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
@@ -315,13 +315,13 @@ export const nand: {
  * **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
@@ -334,13 +334,13 @@ export const or: {
    * **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
@@ -353,13 +353,13 @@ export const or: {
    * **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
@@ -374,13 +374,13 @@ export const or: {
  * **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
@@ -393,13 +393,13 @@ export const nor: {
    * **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
@@ -412,13 +412,13 @@ export const nor: {
    * **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
@@ -433,13 +433,13 @@ export const nor: {
  * **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
@@ -452,13 +452,13 @@ export const xor: {
    * **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
@@ -471,13 +471,13 @@ export const xor: {
    * **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
@@ -492,13 +492,13 @@ export const xor: {
  * **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
@@ -511,13 +511,13 @@ export const eqv: {
    * **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
@@ -530,13 +530,13 @@ export const eqv: {
    * **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
@@ -551,13 +551,13 @@ export const eqv: {
  * **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
@@ -570,13 +570,13 @@ export const implies: {
    * **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
@@ -589,13 +589,13 @@ export const implies: {
    * **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
@@ -610,14 +610,14 @@ export const implies: {
  * **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: Iterable<boolean>): boolean => {
@@ -635,14 +635,14 @@ export const every = (collection: Iterable<boolean>): boolean => {
  * **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: Iterable<boolean>): boolean => {
@@ -659,6 +659,7 @@ export const some = (collection: Iterable<boolean>): boolean => {
  *
  * The `initialValue` is `true`.
  *
+ * @category math
  * @since 4.0.0
  */
 export const ReducerAnd: Reducer.Reducer<boolean> = Reducer.make((a, b) => a && b, true)
@@ -668,6 +669,7 @@ export const ReducerAnd: Reducer.Reducer<boolean> = Reducer.make((a, b) => a &&
  *
  * The `initialValue` is `false`.
  *
+ * @category math
  * @since 4.0.0
  */
 export const ReducerOr: Reducer.Reducer<boolean> = Reducer.make((a, b) => a || b, false)

package/src/Brand.ts

@@ -122,6 +122,7 @@ export declare namespace Brand {
   /**
    * A utility type to extract a branded type from a `Constructor`.
    *
+   * @category utility types
    * @since 2.0.0
    */
   export type FromConstructor<C> = C extends Constructor<infer B> ? B : never
@@ -129,6 +130,7 @@ export declare namespace Brand {
   /**
    * A utility type to extract the unbranded value type from a brand.
    *
+   * @category utility types
    * @since 2.0.0
    */
   export type Unbranded<B extends Brand<any>> = B extends infer U & Brands<B> ? U : B
@@ -136,13 +138,15 @@ export declare namespace Brand {
   /**
    * A utility type to extract the keys of a branded type.
    *
-   * @since 2.0.0
+   * @category utility types
+   * @since 4.0.0
    */
   export 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
    */
   export type Brands<B extends Brand<any>> = Types.UnionToIntersection<
@@ -152,6 +156,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
    */
   export type EnsureCommonBase<
@@ -169,7 +174,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>
@@ -181,7 +186,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
@@ -203,7 +208,7 @@ export 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 function make<A extends Brand<any>>(
   filter: (unbranded: Brand.Unbranded<A>) => Schema.FilterOutput
@@ -218,6 +223,7 @@ export function make<A extends Brand<any>>(
  * failure. Use the returned `option`, `result`, or `is` methods for
  * non-throwing validation.
  *
+ * @category constructors
  * @since 4.0.0
  */
 export function check<A extends Brand<any>>(