veffect
Version:
powerful TypeScript validation library built on the robust foundation of Effect combining exceptional type safety, high performance, and developer experience. Taking inspiration from Effect's functional principles, VEffect delivers a balanced approach tha
636 lines (603 loc) • 16.8 kB
text/typescript
/**
* This module provides utility functions and type class instances for working with the `bigint` type in TypeScript.
* It includes functions for basic arithmetic operations, as well as type class instances for
* `Equivalence` and `Order`.
*
* @since 2.0.0
*/
import * as equivalence from "./Equivalence.js"
import { dual } from "./Function.js"
import * as Option from "./Option.js"
import * as order from "./Order.js"
import type { Ordering } from "./Ordering.js"
import * as predicate from "./Predicate.js"
const bigint0 = BigInt(0)
const bigint1 = BigInt(1)
const bigint2 = BigInt(2)
/**
* Tests if a value is a `bigint`.
*
* @param input - The value to test.
*
* @example
* import { isBigInt } from "effect/BigInt"
*
* assert.deepStrictEqual(isBigInt(1n), true)
* assert.deepStrictEqual(isBigInt(1), false)
*
* @category guards
* @since 2.0.0
*/
export const isBigInt: (u: unknown) => u is bigint = predicate.isBigInt
/**
* Provides an addition operation on `bigint`s.
*
* @param self - The first operand.
* @param that - The second operand.
*
* @example
* import { sum } from 'effect/BigInt'
*
* assert.deepStrictEqual(sum(2n, 3n), 5n)
*
* @category math
* @since 2.0.0
*/
export const sum: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = dual(2, (self: bigint, that: bigint): bigint => self + that)
/**
* Provides a multiplication operation on `bigint`s.
*
* @param self - The first operand.
* @param that - The second operand.
*
* @example
* import { multiply } from 'effect/BigInt'
*
* assert.deepStrictEqual(multiply(2n, 3n), 6n)
*
* @category math
* @since 2.0.0
*/
export const multiply: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = dual(2, (self: bigint, that: bigint): bigint => self * that)
/**
* Provides a subtraction operation on `bigint`s.
*
* @param self - The first operand.
* @param that - The second operand.
*
* @example
* import { subtract } from 'effect/BigInt'
*
* assert.deepStrictEqual(subtract(2n, 3n), -1n)
*
* @category math
* @since 2.0.0
*/
export const subtract: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = dual(2, (self: bigint, that: bigint): bigint => self - that)
/**
* Provides a division operation on `bigint`s.
*
* If the dividend is not a multiple of the divisor the result will be a `bigint` value
* which represents the integer division rounded down to the nearest integer.
*
* Returns `None` if the divisor is `0n`.
*
* @param self - The dividend operand.
* @param that - The divisor operand.
*
* @example
* import { divide } from 'effect/BigInt'
* import { some, none } from 'effect/Option'
*
* assert.deepStrictEqual(divide(6n, 3n), some(2n))
* assert.deepStrictEqual(divide(6n, 0n), none())
*
* @category math
* @since 2.0.0
*/
export const divide: {
(that: bigint): (self: bigint) => Option.Option<bigint>
(self: bigint, that: bigint): Option.Option<bigint>
} = dual(
2,
(self: bigint, that: bigint): Option.Option<bigint> => that === bigint0 ? Option.none() : Option.some(self / that)
)
/**
* Provides a division operation on `bigint`s.
*
* If the dividend is not a multiple of the divisor the result will be a `bigint` value
* which represents the integer division rounded down to the nearest integer.
*
* Throws a `RangeError` if the divisor is `0n`.
*
* @param self - The dividend operand.
* @param that - The divisor operand.
*
* @example
* import { unsafeDivide } from 'effect/BigInt'
*
* assert.deepStrictEqual(unsafeDivide(6n, 3n), 2n)
* assert.deepStrictEqual(unsafeDivide(6n, 4n), 1n)
*
* @category math
* @since 2.0.0
*/
export const unsafeDivide: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = dual(2, (self: bigint, that: bigint): bigint => self / that)
/**
* Returns the result of adding `1n` to a given number.
*
* @param n - A `bigint` to be incremented.
*
* @example
* import { increment } from 'effect/BigInt'
*
* assert.deepStrictEqual(increment(2n), 3n)
*
* @category math
* @since 2.0.0
*/
export const increment = (n: bigint): bigint => n + bigint1
/**
* Decrements a number by `1n`.
*
* @param n - A `bigint` to be decremented.
*
* @example
* import { decrement } from 'effect/BigInt'
*
* assert.deepStrictEqual(decrement(3n), 2n)
*
* @category math
* @since 2.0.0
*/
export const decrement = (n: bigint): bigint => n - bigint1
/**
* @category instances
* @since 2.0.0
*/
export const Equivalence: equivalence.Equivalence<bigint> = equivalence.bigint
/**
* @category instances
* @since 2.0.0
*/
export const Order: order.Order<bigint> = order.bigint
/**
* Returns `true` if the first argument is less than the second, otherwise `false`.
*
* @param self - The first argument.
* @param that - The second argument.
*
* @example
* import { lessThan } from 'effect/BigInt'
*
* assert.deepStrictEqual(lessThan(2n, 3n), true)
* assert.deepStrictEqual(lessThan(3n, 3n), false)
* assert.deepStrictEqual(lessThan(4n, 3n), false)
*
* @category predicates
* @since 2.0.0
*/
export const lessThan: {
(that: bigint): (self: bigint) => boolean
(self: bigint, that: bigint): boolean
} = order.lessThan(Order)
/**
* Returns a function that checks if a given `bigint` is less than or equal to the provided one.
*
* @param self - The first `bigint` to compare with.
* @param that - The second `bigint` to compare with.
*
* @example
* import { lessThanOrEqualTo } from 'effect/BigInt'
*
* assert.deepStrictEqual(lessThanOrEqualTo(2n, 3n), true)
* assert.deepStrictEqual(lessThanOrEqualTo(3n, 3n), true)
* assert.deepStrictEqual(lessThanOrEqualTo(4n, 3n), false)
*
* @category predicates
* @since 2.0.0
*/
export const lessThanOrEqualTo: {
(that: bigint): (self: bigint) => boolean
(self: bigint, that: bigint): boolean
} = order.lessThanOrEqualTo(Order)
/**
* Returns `true` if the first argument is greater than the second, otherwise `false`.
*
* @param self - The first argument.
* @param that - The second argument.
*
* @example
* import { greaterThan } from 'effect/BigInt'
*
* assert.deepStrictEqual(greaterThan(2n, 3n), false)
* assert.deepStrictEqual(greaterThan(3n, 3n), false)
* assert.deepStrictEqual(greaterThan(4n, 3n), true)
*
* @category predicates
* @since 2.0.0
*/
export const greaterThan: {
(that: bigint): (self: bigint) => boolean
(self: bigint, that: bigint): boolean
} = order.greaterThan(Order)
/**
* Returns a function that checks if a given `bigint` is greater than or equal to the provided one.
*
* @param self - The first `bigint` to compare with.
* @param that - The second `bigint` to compare with.
*
* @example
* import { greaterThanOrEqualTo } from 'effect/BigInt'
*
* assert.deepStrictEqual(greaterThanOrEqualTo(2n, 3n), false)
* assert.deepStrictEqual(greaterThanOrEqualTo(3n, 3n), true)
* assert.deepStrictEqual(greaterThanOrEqualTo(4n, 3n), true)
*
* @category predicates
* @since 2.0.0
*/
export const greaterThanOrEqualTo: {
(that: bigint): (self: bigint) => boolean
(self: bigint, that: bigint): boolean
} = order.greaterThanOrEqualTo(Order)
/**
* Checks if a `bigint` is between a `minimum` and `maximum` value (inclusive).
*
* @param self - The `number` to check.
* @param minimum - The `minimum` value to check.
* @param maximum - The `maximum` value to check.
*
* @example
* import * as BigInt from 'effect/BigInt'
*
* const between = BigInt.between({ minimum: 0n, maximum: 5n })
*
* assert.deepStrictEqual(between(3n), true)
* assert.deepStrictEqual(between(-1n), false)
* assert.deepStrictEqual(between(6n), false)
*
* @category predicates
* @since 2.0.0
*/
export const between: {
(options: {
minimum: bigint
maximum: bigint
}): (self: bigint) => boolean
(self: bigint, options: {
minimum: bigint
maximum: bigint
}): boolean
} = order.between(Order)
/**
* Restricts the given `bigint` to be within the range specified by the `minimum` and `maximum` values.
*
* - If the `bigint` is less than the `minimum` value, the function returns the `minimum` value.
* - If the `bigint` is greater than the `maximum` value, the function returns the `maximum` value.
* - Otherwise, it returns the original `bigint`.
*
* @param self - The `bigint` to be clamped.
* @param minimum - The lower end of the range.
* @param maximum - The upper end of the range.
*
* @example
* import * as BigInt from 'effect/BigInt'
*
* const clamp = BigInt.clamp({ minimum: 1n, maximum: 5n })
*
* assert.equal(clamp(3n), 3n)
* assert.equal(clamp(0n), 1n)
* assert.equal(clamp(6n), 5n)
*
* @since 2.0.0
*/
export const clamp: {
(options: {
minimum: bigint
maximum: bigint
}): (self: bigint) => bigint
(self: bigint, options: {
minimum: bigint
maximum: bigint
}): bigint
} = order.clamp(Order)
/**
* Returns the minimum between two `bigint`s.
*
* @param self - The first `bigint`.
* @param that - The second `bigint`.
*
* @example
* import { min } from 'effect/BigInt'
*
* assert.deepStrictEqual(min(2n, 3n), 2n)
*
* @since 2.0.0
*/
export const min: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = order.min(Order)
/**
* Returns the maximum between two `bigint`s.
*
* @param self - The first `bigint`.
* @param that - The second `bigint`.
*
* @example
* import { max } from 'effect/BigInt'
*
* assert.deepStrictEqual(max(2n, 3n), 3n)
*
* @since 2.0.0
*/
export const max: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = order.max(Order)
/**
* Determines the sign of a given `bigint`.
*
* @param n - The `bigint` to determine the sign of.
*
* @example
* import { sign } from 'effect/BigInt'
*
* assert.deepStrictEqual(sign(-5n), -1)
* assert.deepStrictEqual(sign(0n), 0)
* assert.deepStrictEqual(sign(5n), 1)
*
* @category math
* @since 2.0.0
*/
export const sign = (n: bigint): Ordering => Order(n, bigint0)
/**
* Determines the absolute value of a given `bigint`.
*
* @param n - The `bigint` to determine the absolute value of.
*
* @example
* import { abs } from 'effect/BigInt'
*
* assert.deepStrictEqual(abs(-5n), 5n)
* assert.deepStrictEqual(abs(0n), 0n)
* assert.deepStrictEqual(abs(5n), 5n)
*
* @category math
* @since 2.0.0
*/
export const abs = (n: bigint): bigint => (n < bigint0 ? -n : n)
/**
* Determines the greatest common divisor of two `bigint`s.
*
* @param a - The first `bigint`.
* @param b - The second `bigint`.
*
* @example
* import { gcd } from 'effect/BigInt'
*
* assert.deepStrictEqual(gcd(2n, 3n), 1n)
* assert.deepStrictEqual(gcd(2n, 4n), 2n)
* assert.deepStrictEqual(gcd(16n, 24n), 8n)
*
* @category math
* @since 2.0.0
*/
export const gcd: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = dual(2, (self: bigint, that: bigint): bigint => {
while (that !== bigint0) {
const t = that
that = self % that
self = t
}
return self
})
/**
* Determines the least common multiple of two `bigint`s.
*
* @param a - The first `bigint`.
* @param b - The second `bigint`.
*
* @example
* import { lcm } from 'effect/BigInt'
*
* assert.deepStrictEqual(lcm(2n, 3n), 6n)
* assert.deepStrictEqual(lcm(2n, 4n), 4n)
* assert.deepStrictEqual(lcm(16n, 24n), 48n)
*
* @category math
* @since 2.0.0
*/
export const lcm: {
(that: bigint): (self: bigint) => bigint
(self: bigint, that: bigint): bigint
} = dual(2, (self: bigint, that: bigint): bigint => (self * that) / gcd(self, that))
/**
* Determines the square root of a given `bigint` unsafely. Throws if the given `bigint` is negative.
*
* @param n - The `bigint` to determine the square root of.
*
* @example
* import { unsafeSqrt } from 'effect/BigInt'
*
* assert.deepStrictEqual(unsafeSqrt(4n), 2n)
* assert.deepStrictEqual(unsafeSqrt(9n), 3n)
* assert.deepStrictEqual(unsafeSqrt(16n), 4n)
*
* @category math
* @since 2.0.0
*/
export const unsafeSqrt = (n: bigint): bigint => {
if (n < bigint0) {
throw new RangeError("Cannot take the square root of a negative number")
}
if (n < bigint2) {
return n
}
let x = n / bigint2
while (x * x > n) {
x = ((n / x) + x) / bigint2
}
return x
}
/**
* Determines the square root of a given `bigint` safely. Returns `none` if the given `bigint` is negative.
*
* @param n - The `bigint` to determine the square root of.
*
* @example
* import { sqrt } from 'effect/BigInt'
* import * as Option from 'effect/Option'
*
* assert.deepStrictEqual(sqrt(4n), Option.some(2n))
* assert.deepStrictEqual(sqrt(9n), Option.some(3n))
* assert.deepStrictEqual(sqrt(16n), Option.some(4n))
* assert.deepStrictEqual(sqrt(-1n), Option.none())
*
* @category math
* @since 2.0.0
*/
export const sqrt = (n: bigint): Option.Option<bigint> =>
greaterThanOrEqualTo(n, bigint0) ? Option.some(unsafeSqrt(n)) : Option.none<bigint>()
/**
* Takes an `Iterable` of `bigint`s and returns their sum as a single `bigint
*
* @param collection - The collection of `bigint`s to sum.
*
* @example
* import { sumAll } from 'effect/BigInt'
*
* assert.deepStrictEqual(sumAll([2n, 3n, 4n]), 9n)
*
* @category math
* @since 2.0.0
*/
export const sumAll = (collection: Iterable<bigint>): bigint => {
let out = bigint0
for (const n of collection) {
out += n
}
return out
}
/**
* Takes an `Iterable` of `bigint`s and returns their multiplication as a single `number`.
*
* @param collection - The collection of `bigint`s to multiply.
*
* @example
* import { multiplyAll } from 'effect/BigInt'
*
* assert.deepStrictEqual(multiplyAll([2n, 3n, 4n]), 24n)
*
* @category math
* @since 2.0.0
*/
export const multiplyAll = (collection: Iterable<bigint>): bigint => {
let out = bigint1
for (const n of collection) {
if (n === bigint0) {
return bigint0
}
out *= n
}
return out
}
/**
* Takes a `bigint` and returns an `Option` of `number`.
*
* If the `bigint` is outside the safe integer range for JavaScript (`Number.MAX_SAFE_INTEGER`
* and `Number.MIN_SAFE_INTEGER`), it returns `Option.none()`. Otherwise, it converts the `bigint`
* to a number and returns `Option.some(number)`.
*
* @param b - The `bigint` to be converted to a `number`.
*
* @example
* import { toNumber } from "effect/BigInt"
* import { Option } from "effect"
*
* assert.deepStrictEqual(toNumber(BigInt(42)), Option.some(42))
* assert.deepStrictEqual(toNumber(BigInt(Number.MAX_SAFE_INTEGER) + BigInt(1)), Option.none())
* assert.deepStrictEqual(toNumber(BigInt(Number.MIN_SAFE_INTEGER) - BigInt(1)), Option.none())
*
* @category conversions
* @since 2.0.0
*/
export const toNumber = (b: bigint): Option.Option<number> => {
if (b > BigInt(Number.MAX_SAFE_INTEGER) || b < BigInt(Number.MIN_SAFE_INTEGER)) {
return Option.none()
}
return Option.some(Number(b))
}
/**
* Takes a string and returns an `Option` of `bigint`.
*
* If the string is empty or contains characters that cannot be converted into a `bigint`,
* it returns `Option.none()`, otherwise, it returns `Option.some(bigint)`.
*
* @param s - The string to be converted to a `bigint`.
*
* @example
* import { fromString } from "effect/BigInt"
* import { Option } from "effect"
*
* assert.deepStrictEqual(fromString("42"), Option.some(BigInt(42)))
* assert.deepStrictEqual(fromString(" "), Option.none())
* assert.deepStrictEqual(fromString("a"), Option.none())
*
* @category conversions
* @since 2.4.12
*/
export const fromString = (s: string): Option.Option<bigint> => {
try {
return s.trim() === ""
? Option.none()
: Option.some(BigInt(s))
} catch (_) {
return Option.none()
}
}
/**
* Takes a number and returns an `Option` of `bigint`.
*
* If the number is outside the safe integer range for JavaScript (`Number.MAX_SAFE_INTEGER`
* and `Number.MIN_SAFE_INTEGER`), it returns `Option.none()`. Otherwise, it attempts to
* convert the number to a `bigint` and returns `Option.some(bigint)`.
*
* @param n - The number to be converted to a `bigint`.
*
* @example
* import { fromNumber } from "effect/BigInt"
* import { Option } from "effect"
*
* assert.deepStrictEqual(fromNumber(42), Option.some(BigInt(42)))
* assert.deepStrictEqual(fromNumber(Number.MAX_SAFE_INTEGER + 1), Option.none())
* assert.deepStrictEqual(fromNumber(Number.MIN_SAFE_INTEGER - 1), Option.none())
*
* @category conversions
* @since 2.4.12
*/
export const fromNumber = (n: number): Option.Option<bigint> => {
if (n > Number.MAX_SAFE_INTEGER || n < Number.MIN_SAFE_INTEGER) {
return Option.none()
}
try {
return Option.some(BigInt(n))
} catch (_) {
return Option.none()
}
}