EdgeAIG's picture
download
raw
11.4 kB
/**
* Works with TypeScript `boolean` values.
*
* This module exposes the native `Boolean` constructor together with helpers
* for checking values, choosing between lazy branches, combining booleans with
* logical operations, checking collections with `every` or `some`, ordering
* booleans, and reducing boolean values.
*
* @since 2.0.0
*/
import * as Equ from "./Equivalence.js";
import { dual } from "./Function.js";
import * as order from "./Order.js";
import * as predicate from "./Predicate.js";
import * as Reducer from "./Reducer.js";
/**
* Exposes the global boolean constructor for JavaScript truthiness
* coercion.
*
* **When to use**
*
* Use to access native JavaScript truthiness 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)
*
* ```ts
* import { Boolean } from "effect"
*
* const bool = Boolean.Boolean(1)
* console.log(bool) // true
*
* const fromString = Boolean.Boolean("false")
* console.log(fromString) // true (non-empty string)
*
* const fromZero = Boolean.Boolean(0)
* console.log(fromZero) // false
* ```
*
* @category constructors
* @since 4.0.0
*/
export const Boolean = globalThis.Boolean;
/**
* Checks whether a value is a `boolean`.
*
* **When to use**
*
* Use to validate unknown input and narrow it to `boolean`.
*
* **Example** (Checking for booleans)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* assert.deepStrictEqual(Boolean.isBoolean(true), true)
* assert.deepStrictEqual(Boolean.isBoolean("true"), false)
* ```
*
* @category guards
* @since 2.0.0
*/
export const isBoolean = predicate.isBoolean;
/**
* Chooses between two lazy branches based on a boolean value.
*
* **When to use**
*
* Use to choose between two lazy branches based on a boolean value.
*
* **Example** (Pattern matching on booleans)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* assert.deepStrictEqual(
* Boolean.match(true, {
* onFalse: () => "It's false!",
* onTrue: () => "It's true!"
* }),
* "It's true!"
* )
* ```
*
* @category pattern matching
* @since 2.0.0
*/
export const match = /*#__PURE__*/dual(2, (value, options) => value ? options.onTrue() : options.onFalse());
/**
* 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 you need to sort or compare boolean values through APIs that accept
* an ordering instance where `false` comes before `true`.
*
* **Example** (Comparing booleans)
*
* ```ts
* import { Boolean } from "effect"
*
* console.log(Boolean.Order(false, true)) // -1 (false < true)
* console.log(Boolean.Order(true, false)) // 1 (true > false)
* console.log(Boolean.Order(true, true)) // 0 (true === true)
* ```
*
* @category instances
* @since 2.0.0
*/
export const Order = order.Boolean;
/**
* Equivalence instance for booleans using strict equality (`===`).
*
* **When to use**
*
* Use when checking boolean equality through APIs that accept an equivalence
* relation.
*
* **Example** (Comparing booleans for equivalence)
*
* ```ts
* import { Boolean } from "effect"
*
* console.log(Boolean.Equivalence(true, true)) // true
* console.log(Boolean.Equivalence(true, false)) // false
* ```
*
* @category instances
* @since 2.0.0
*/
export const Equivalence = Equ.Boolean;
/**
* Negates the given boolean: `!self`
*
* **When to use**
*
* Use to invert a boolean value.
*
* **Example** (Negating booleans)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* assert.deepStrictEqual(Boolean.not(true), false)
* assert.deepStrictEqual(Boolean.not(false), true)
* ```
*
* @category combinators
* @since 2.0.0
*/
export const not = self => !self;
/**
* 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)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
export const and = /*#__PURE__*/dual(2, (self, that) => self && that);
/**
* Combines two booleans using NAND: `!(self && that)`.
*
* **When to use**
*
* Use to negate a logical AND result.
*
* **Example** (Combining booleans with NAND)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
export const nand = /*#__PURE__*/dual(2, (self, that) => !(self && that));
/**
* Combines two booleans using OR: `self || that`.
*
* **When to use**
*
* Use to accept when either boolean operand is `true`.
*
* **Example** (Combining booleans with OR)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
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
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
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
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
export const xor = /*#__PURE__*/dual(2, (self, that) => !self && that || self && !that);
/**
* 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
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
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
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* 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
* @since 2.0.0
*/
export const implies = /*#__PURE__*/dual(2, (self, that) => self ? that : true);
/**
* Checks whether every boolean in a collection is `true`.
*
* **When to use**
*
* Use to check that every boolean in an iterable is `true`.
*
* **Example** (Checking every boolean)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* assert.deepStrictEqual(Boolean.every([true, true, true]), 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 predicates
* @since 2.0.0
*/
export const every = collection => {
for (const b of collection) {
if (!b) {
return false;
}
}
return true;
};
/**
* Checks whether at least one boolean in a collection is `true`.
*
* **When to use**
*
* Use to check that at least one boolean in an iterable is `true`.
*
* **Example** (Checking some booleans)
*
* ```ts
* import { Boolean } from "effect"
* import * as assert from "node:assert"
*
* assert.deepStrictEqual(Boolean.some([true, false, true]), true)
* 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 predicates
* @since 2.0.0
*/
export const some = collection => {
for (const b of collection) {
if (b) {
return true;
}
}
return false;
};
/**
* 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`, 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
*/
export const ReducerAnd = /*#__PURE__*/Reducer.make((a, b) => a && b, true);
/**
* 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
*/
export const ReducerOr = /*#__PURE__*/Reducer.make((a, b) => a || b, false);
//# sourceMappingURL=Boolean.js.map

Xet Storage Details

Size:
11.4 kB
·
Xet hash:
3fc6e5d444c39e996a1c12b8af5e3d685dd59c6d83ae884552dc4fc88c19e636

Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.