effect 2.0.0-next.41 → 2.0.0-next.43

package/dist/Boolean-f0bc3abf.cjs.dev.js

@@ -1,264 +0,0 @@
-'use strict';
-
-var Equivalence_dist_effectEquivalence = require('./Equivalence-de7a0d51.cjs.dev.js');
-var Function_dist_effectFunction = require('./Function-41ce433d.cjs.dev.js');
-var Order_dist_effectOrder = require('./Order-28bdebd2.cjs.dev.js');
-var Predicate_dist_effectPredicate = require('./Predicate-9e859c9c.cjs.dev.js');
-
-/**
- * This module provides utility functions and type class instances for working with the `boolean` type in TypeScript.
- * It includes functions for basic boolean operations, as well as type class instances for
- * `Equivalence`, `Order`, `Semigroup`, and `Monoid`.
- *
- * @since 2.0.0
- */
-
-/**
- * Tests if a value is a `boolean`.
- *
- * @param input - The value to test.
- *
- * @example
- * import { isBoolean } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(isBoolean(true), true)
- * assert.deepStrictEqual(isBoolean("true"), false)
- *
- * @category guards
- * @since 2.0.0
- */
-const isBoolean = Predicate_dist_effectPredicate.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.
- *
- * @param value - the boolean value that decides which function will be executed.
- * @param onFalse - a lazy evaluation function that will be executed when the `value` is `false`.
- * @param onTrue - a lazy evaluation function that will be executed when the `value` is `true`.
- *
- * @example
- * import * as B from "effect/Boolean"
- *
- * assert.deepStrictEqual(B.match(true, { onFalse: () => "It's false!", onTrue: () => "It's true!" }), "It's true!")
- *
- * @category pattern matching
- * @since 2.0.0
- */
-const match = /*#__PURE__*/Function_dist_effectFunction.dual(2, (value, options) => value ? options.onTrue() : options.onFalse());
-
-/**
- * @category instances
- * @since 2.0.0
- */
-const Equivalence = Equivalence_dist_effectEquivalence.boolean;
-
-/**
- * @category instances
- * @since 2.0.0
- */
-const Order = Order_dist_effectOrder.boolean;
-
-/**
- * Negates the given boolean: `!self`
- *
- * @example
- * import { not } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(not(true), false)
- * assert.deepStrictEqual(not(false), true)
- *
- * @category combinators
- * @since 2.0.0
- */
-const not = self => !self;
-
-/**
- * Combines two boolean using AND: `self && that`.
- *
- * @example
- * import { and } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(and(true, true), true)
- * assert.deepStrictEqual(and(true, false), false)
- * assert.deepStrictEqual(and(false, true), false)
- * assert.deepStrictEqual(and(false, false), false)
- *
- * @category combinators
- * @since 2.0.0
- */
-const and = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => self && that);
-
-/**
- * Combines two boolean using NAND: `!(self && that)`.
- *
- * @example
- * import { nand } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(nand(true, true), false)
- * assert.deepStrictEqual(nand(true, false), true)
- * assert.deepStrictEqual(nand(false, true), true)
- * assert.deepStrictEqual(nand(false, false), true)
- *
- * @category combinators
- * @since 2.0.0
- */
-const nand = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => !(self && that));
-
-/**
- * Combines two boolean using OR: `self || that`.
- *
- * @example
- * import { or } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(or(true, true), true)
- * assert.deepStrictEqual(or(true, false), true)
- * assert.deepStrictEqual(or(false, true), true)
- * assert.deepStrictEqual(or(false, false), false)
- *
- * @category combinators
- * @since 2.0.0
- */
-const or = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => self || that);
-
-/**
- * Combines two booleans using NOR: `!(self || that)`.
- *
- * @example
- * import { nor } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(nor(true, true), false)
- * assert.deepStrictEqual(nor(true, false), false)
- * assert.deepStrictEqual(nor(false, true), false)
- * assert.deepStrictEqual(nor(false, false), true)
- *
- * @category combinators
- * @since 2.0.0
- */
-const nor = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => !(self || that));
-
-/**
- * Combines two booleans using XOR: `(!self && that) || (self && !that)`.
- *
- * @example
- * import { xor } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(xor(true, true), false)
- * assert.deepStrictEqual(xor(true, false), true)
- * assert.deepStrictEqual(xor(false, true), true)
- * assert.deepStrictEqual(xor(false, false), false)
- *
- * @category combinators
- * @since 2.0.0
- */
-const xor = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => !self && that || self && !that);
-
-/**
- * Combines two booleans using EQV (aka XNOR): `!xor(self, that)`.
- *
- * @example
- * import { eqv } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(eqv(true, true), true)
- * assert.deepStrictEqual(eqv(true, false), false)
- * assert.deepStrictEqual(eqv(false, true), false)
- * assert.deepStrictEqual(eqv(false, false), true)
- *
- * @category combinators
- * @since 2.0.0
- */
-const eqv = /*#__PURE__*/Function_dist_effectFunction.dual(2, (self, that) => !xor(self, that));
-
-/**
- * Combines two booleans using an implication: `(!self || that)`.
- *
- * @example
- * import { implies } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(implies(true, true), true)
- * assert.deepStrictEqual(implies(true, false), false)
- * assert.deepStrictEqual(implies(false, true), true)
- * assert.deepStrictEqual(implies(false, false), true)
- *
- * @category combinators
- * @since 2.0.0
- */
-const implies = /*#__PURE__*/Function_dist_effectFunction.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`.
- *
- * @param collection - An iterable collection of booleans.
- *
- * @example
- * import { every } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(every([true, true, true]), true)
- * assert.deepStrictEqual(every([true, false, true]), false)
- *
- * @since 2.0.0
- */
-const every = collection => {
-  for (const b of collection) {
-    if (!b) {
-      return false;
-    }
-  }
-  return true;
-};
-
-/**
- * This utility function is used to check if at least one of the elements in a collection of boolean values is `true`.
- *
- * @param collection - An iterable collection of booleans.
- *
- * @example
- * import { some } from 'effect/Boolean'
- *
- * assert.deepStrictEqual(some([true, false, true]), true)
- * assert.deepStrictEqual(some([false, false, false]), false)
- *
- * @since 2.0.0
- */
-const some = collection => {
-  for (const b of collection) {
-    if (b) {
-      return true;
-    }
-  }
-  return false;
-};
-
-var Boolean = /*#__PURE__*/Object.freeze({
-  __proto__: null,
-  isBoolean: isBoolean,
-  match: match,
-  Equivalence: Equivalence,
-  Order: Order,
-  not: not,
-  and: and,
-  nand: nand,
-  or: or,
-  nor: nor,
-  xor: xor,
-  eqv: eqv,
-  implies: implies,
-  every: every,
-  some: some
-});
-
-exports.Boolean = Boolean;
-exports.Equivalence = Equivalence;
-exports.Order = Order;
-exports.and = and;
-exports.eqv = eqv;
-exports.every = every;
-exports.implies = implies;
-exports.isBoolean = isBoolean;
-exports.match = match;
-exports.nand = nand;
-exports.nor = nor;
-exports.not = not;
-exports.or = or;
-exports.some = some;
-exports.xor = xor;

package/dist/Brand-93578f43.cjs.prod.js

@@ -1,224 +0,0 @@
-'use strict';
-
-var Either_dist_effectEither = require('./Either-3fab3796.cjs.prod.js');
-var Function_dist_effectFunction = require('./Function-2e6b0cda.cjs.prod.js');
-var Option_dist_effectOption = require('./Option-02025c86.cjs.prod.js');
-var ReadonlyArray_dist_effectReadonlyArray = require('./ReadonlyArray-8157f697.cjs.prod.js');
-
-/**
- * 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 `refined` and `nominal` functions are both used to create branded types in TypeScript.
- * The main difference between them is that `refined` allows for validation of the data, while `nominal` does not.
- *
- * The `nominal` function is used to create a new branded type that has the same underlying type as the input, but with a different name.
- * This is useful when you want to distinguish between two values of the same type that have different meanings.
- * The `nominal` function does not perform any validation of the input data.
- *
- * On the other hand, the `refined` function is used to create a new branded type that has the same underlying type as the input,
- * but with a different name, and it also allows for validation of the input data.
- * The `refined` function takes a predicate that is used to validate the input data.
- * If the input data fails the validation, a `BrandErrors` is returned, which provides information about the specific validation failure.
- *
- * @since 2.0.0
- */
-/**
- * @since 2.0.0
- * @category symbols
- */
-const BrandTypeId = /*#__PURE__*/Symbol.for("effect/Brand");
-
-/**
- * @since 2.0.0
- * @category symbols
- */
-
-/**
- * @since 2.0.0
- * @category symbols
- */
-const RefinedConstructorsTypeId = /*#__PURE__*/Symbol.for("effect/Brand/Refined");
-
-/**
- * @since 2.0.0
- * @category symbols
- */
-
-/**
- * A generic interface that defines a branded type.
- *
- * @since 2.0.0
- * @category models
- */
-
-/**
- * @since 2.0.0
- */
-
-/**
- * @category alias
- * @since 2.0.0
- */
-
-/**
- * Returns a `BrandErrors` that contains a single `RefinementError`.
- *
- * @since 2.0.0
- * @category constructors
- */
-const error = (message, meta) => [{
-  message,
-  meta
-}];
-
-/**
- * Takes a variable number of `BrandErrors` and returns a single `BrandErrors` that contains all refinement errors.
- *
- * @since 2.0.0
- * @category constructors
- */
-const errors = (...errors) => ReadonlyArray_dist_effectReadonlyArray.flatten(errors);
-
-/**
- * Returns a `Brand.Constructor` that can construct a branded type from an unbranded value using the provided `refinement`
- * predicate as validation of the input data.
- *
- * 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}.
- *
- * @param refinement - The refinement predicate to apply to the unbranded value.
- * @param onFailure - Takes the unbranded value that did not pass the `refinement` predicate and returns a `BrandErrors`.
- *
- * @example
- * import * as Brand from "effect/Brand"
- *
- * type Int = number & Brand.Brand<"Int">
- *
- * const Int = Brand.refined<Int>(
- *   (n) => Number.isInteger(n),
- *   (n) => Brand.error(`Expected ${n} to be an integer`)
- * )
- *
- * assert.strictEqual(Int(1), 1)
- * assert.throws(() => Int(1.1))
- *
- * @since 2.0.0
- * @category constructors
- */
-const refined = (refinement, onFailure) => {
-  const either = args => refinement(args) ? Either_dist_effectEither.right(args) : Either_dist_effectEither.left(onFailure(args));
-  // @ts-expect-error
-  return Object.assign(args => Either_dist_effectEither.match(either(args), {
-    onLeft: e => {
-      throw e;
-    },
-    onRight: Function_dist_effectFunction.identity
-  }), {
-    [RefinedConstructorsTypeId]: RefinedConstructorsTypeId,
-    option: args => Option_dist_effectOption.getRight(either(args)),
-    either,
-    is: args => Either_dist_effectEither.isRight(either(args))
-  });
-};
-
-/**
- * This function returns a `Brand.Constructor` that **does not apply any runtime checks**, it just returns the provided value.
- * It can be used 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 refined}.
- *
- * @example
- * import * as Brand from "effect/Brand"
- *
- * type UserId = number & Brand.Brand<"UserId">
- *
- * const UserId = Brand.nominal<UserId>()
- *
- * assert.strictEqual(UserId(1), 1)
- *
- * @since 2.0.0
- * @category constructors
- */
-const nominal = () => {
-  // @ts-expect-error
-  return Object.assign(args => args, {
-    [RefinedConstructorsTypeId]: RefinedConstructorsTypeId,
-    option: args => Option_dist_effectOption.some(args),
-    either: args => Either_dist_effectEither.right(args),
-    is: _args => true
-  });
-};
-
-/**
- * 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.
- *
- * @example
- * import * as Brand from "effect/Brand"
- *
- * type Int = number & Brand.Brand<"Int">
- * const Int = Brand.refined<Int>(
- *   (n) => Number.isInteger(n),
- *   (n) => Brand.error(`Expected ${n} to be an integer`)
- * )
- * type Positive = number & Brand.Brand<"Positive">
- * const Positive = Brand.refined<Positive>(
- *   (n) => n > 0,
- *   (n) => Brand.error(`Expected ${n} to be positive`)
- * )
- *
- * const PositiveInt = Brand.all(Int, Positive)
- *
- * assert.strictEqual(PositiveInt(1), 1)
- * assert.throws(() => PositiveInt(1.1))
- *
- * @since 2.0.0
- * @category combining
- */
-const all = (...brands) => {
-  const either = args => {
-    let result = Either_dist_effectEither.right(args);
-    for (const brand of brands) {
-      const nextResult = brand.either(args);
-      if (Either_dist_effectEither.isLeft(result) && Either_dist_effectEither.isLeft(nextResult)) {
-        result = Either_dist_effectEither.left([...result.left, ...nextResult.left]);
-      } else {
-        result = Either_dist_effectEither.isLeft(result) ? result : nextResult;
-      }
-    }
-    return result;
-  };
-  // @ts-expect-error
-  return Object.assign(args => Either_dist_effectEither.match(either(args), {
-    onLeft: e => {
-      throw e;
-    },
-    onRight: Function_dist_effectFunction.identity
-  }), {
-    [RefinedConstructorsTypeId]: RefinedConstructorsTypeId,
-    option: args => Option_dist_effectOption.getRight(either(args)),
-    either,
-    is: args => Either_dist_effectEither.isRight(either(args))
-  });
-};
-
-var Brand = /*#__PURE__*/Object.freeze({
-  __proto__: null,
-  BrandTypeId: BrandTypeId,
-  RefinedConstructorsTypeId: RefinedConstructorsTypeId,
-  error: error,
-  errors: errors,
-  refined: refined,
-  nominal: nominal,
-  all: all
-});
-
-exports.Brand = Brand;
-exports.BrandTypeId = BrandTypeId;
-exports.RefinedConstructorsTypeId = RefinedConstructorsTypeId;
-exports.all = all;
-exports.error = error;
-exports.errors = errors;
-exports.nominal = nominal;
-exports.refined = refined;

package/dist/Brand-b238487d.cjs.dev.js

@@ -1,224 +0,0 @@
-'use strict';
-
-var Either_dist_effectEither = require('./Either-a806809d.cjs.dev.js');
-var Function_dist_effectFunction = require('./Function-41ce433d.cjs.dev.js');
-var Option_dist_effectOption = require('./Option-03997d77.cjs.dev.js');
-var ReadonlyArray_dist_effectReadonlyArray = require('./ReadonlyArray-48949ee7.cjs.dev.js');
-
-/**
- * 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 `refined` and `nominal` functions are both used to create branded types in TypeScript.
- * The main difference between them is that `refined` allows for validation of the data, while `nominal` does not.
- *
- * The `nominal` function is used to create a new branded type that has the same underlying type as the input, but with a different name.
- * This is useful when you want to distinguish between two values of the same type that have different meanings.
- * The `nominal` function does not perform any validation of the input data.
- *
- * On the other hand, the `refined` function is used to create a new branded type that has the same underlying type as the input,
- * but with a different name, and it also allows for validation of the input data.
- * The `refined` function takes a predicate that is used to validate the input data.
- * If the input data fails the validation, a `BrandErrors` is returned, which provides information about the specific validation failure.
- *
- * @since 2.0.0
- */
-/**
- * @since 2.0.0
- * @category symbols
- */
-const BrandTypeId = /*#__PURE__*/Symbol.for("effect/Brand");
-
-/**
- * @since 2.0.0
- * @category symbols
- */
-
-/**
- * @since 2.0.0
- * @category symbols
- */
-const RefinedConstructorsTypeId = /*#__PURE__*/Symbol.for("effect/Brand/Refined");
-
-/**
- * @since 2.0.0
- * @category symbols
- */
-
-/**
- * A generic interface that defines a branded type.
- *
- * @since 2.0.0
- * @category models
- */
-
-/**
- * @since 2.0.0
- */
-
-/**
- * @category alias
- * @since 2.0.0
- */
-
-/**
- * Returns a `BrandErrors` that contains a single `RefinementError`.
- *
- * @since 2.0.0
- * @category constructors
- */
-const error = (message, meta) => [{
-  message,
-  meta
-}];
-
-/**
- * Takes a variable number of `BrandErrors` and returns a single `BrandErrors` that contains all refinement errors.
- *
- * @since 2.0.0
- * @category constructors
- */
-const errors = (...errors) => ReadonlyArray_dist_effectReadonlyArray.flatten(errors);
-
-/**
- * Returns a `Brand.Constructor` that can construct a branded type from an unbranded value using the provided `refinement`
- * predicate as validation of the input data.
- *
- * 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}.
- *
- * @param refinement - The refinement predicate to apply to the unbranded value.
- * @param onFailure - Takes the unbranded value that did not pass the `refinement` predicate and returns a `BrandErrors`.
- *
- * @example
- * import * as Brand from "effect/Brand"
- *
- * type Int = number & Brand.Brand<"Int">
- *
- * const Int = Brand.refined<Int>(
- *   (n) => Number.isInteger(n),
- *   (n) => Brand.error(`Expected ${n} to be an integer`)
- * )
- *
- * assert.strictEqual(Int(1), 1)
- * assert.throws(() => Int(1.1))
- *
- * @since 2.0.0
- * @category constructors
- */
-const refined = (refinement, onFailure) => {
-  const either = args => refinement(args) ? Either_dist_effectEither.right(args) : Either_dist_effectEither.left(onFailure(args));
-  // @ts-expect-error
-  return Object.assign(args => Either_dist_effectEither.match(either(args), {
-    onLeft: e => {
-      throw e;
-    },
-    onRight: Function_dist_effectFunction.identity
-  }), {
-    [RefinedConstructorsTypeId]: RefinedConstructorsTypeId,
-    option: args => Option_dist_effectOption.getRight(either(args)),
-    either,
-    is: args => Either_dist_effectEither.isRight(either(args))
-  });
-};
-
-/**
- * This function returns a `Brand.Constructor` that **does not apply any runtime checks**, it just returns the provided value.
- * It can be used 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 refined}.
- *
- * @example
- * import * as Brand from "effect/Brand"
- *
- * type UserId = number & Brand.Brand<"UserId">
- *
- * const UserId = Brand.nominal<UserId>()
- *
- * assert.strictEqual(UserId(1), 1)
- *
- * @since 2.0.0
- * @category constructors
- */
-const nominal = () => {
-  // @ts-expect-error
-  return Object.assign(args => args, {
-    [RefinedConstructorsTypeId]: RefinedConstructorsTypeId,
-    option: args => Option_dist_effectOption.some(args),
-    either: args => Either_dist_effectEither.right(args),
-    is: _args => true
-  });
-};
-
-/**
- * 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.
- *
- * @example
- * import * as Brand from "effect/Brand"
- *
- * type Int = number & Brand.Brand<"Int">
- * const Int = Brand.refined<Int>(
- *   (n) => Number.isInteger(n),
- *   (n) => Brand.error(`Expected ${n} to be an integer`)
- * )
- * type Positive = number & Brand.Brand<"Positive">
- * const Positive = Brand.refined<Positive>(
- *   (n) => n > 0,
- *   (n) => Brand.error(`Expected ${n} to be positive`)
- * )
- *
- * const PositiveInt = Brand.all(Int, Positive)
- *
- * assert.strictEqual(PositiveInt(1), 1)
- * assert.throws(() => PositiveInt(1.1))
- *
- * @since 2.0.0
- * @category combining
- */
-const all = (...brands) => {
-  const either = args => {
-    let result = Either_dist_effectEither.right(args);
-    for (const brand of brands) {
-      const nextResult = brand.either(args);
-      if (Either_dist_effectEither.isLeft(result) && Either_dist_effectEither.isLeft(nextResult)) {
-        result = Either_dist_effectEither.left([...result.left, ...nextResult.left]);
-      } else {
-        result = Either_dist_effectEither.isLeft(result) ? result : nextResult;
-      }
-    }
-    return result;
-  };
-  // @ts-expect-error
-  return Object.assign(args => Either_dist_effectEither.match(either(args), {
-    onLeft: e => {
-      throw e;
-    },
-    onRight: Function_dist_effectFunction.identity
-  }), {
-    [RefinedConstructorsTypeId]: RefinedConstructorsTypeId,
-    option: args => Option_dist_effectOption.getRight(either(args)),
-    either,
-    is: args => Either_dist_effectEither.isRight(either(args))
-  });
-};
-
-var Brand = /*#__PURE__*/Object.freeze({
-  __proto__: null,
-  BrandTypeId: BrandTypeId,
-  RefinedConstructorsTypeId: RefinedConstructorsTypeId,
-  error: error,
-  errors: errors,
-  refined: refined,
-  nominal: nominal,
-  all: all
-});
-
-exports.Brand = Brand;
-exports.BrandTypeId = BrandTypeId;
-exports.RefinedConstructorsTypeId = RefinedConstructorsTypeId;
-exports.all = all;
-exports.error = error;
-exports.errors = errors;
-exports.nominal = nominal;
-exports.refined = refined;