(
exclusiveMinimum: bigint,
annotations?: Annotations.Filter
): SchemaAST.Filter<bigint>Validates that a BigInt is greater than the specified value (exclusive).
Details
Arbitrary:
When generating test data with fast-check, this applies a min constraint of
exclusiveMinimum + 1n to ensure generated BigInts are greater than the
specified value.
export const const isGreaterThanBigInt: (
exclusiveMinimum: bigint,
annotations?: Annotations.Filter
) => SchemaAST.Filter<bigint>
Validates that a BigInt is greater than the specified value (exclusive).
Details
Arbitrary:
When generating test data with fast-check, this applies a min constraint of
exclusiveMinimum + 1n to ensure generated BigInts are greater than the
specified value.
isGreaterThanBigInt = function makeIsGreaterThan<T>(options: {
readonly order: Order.Order<T>
readonly annotate?:
| ((
exclusiveMinimum: T
) => Annotations.Filter)
| undefined
readonly formatter?: Formatter<T> | undefined
}): (
exclusiveMinimum: T,
annotations?: Annotations.Filter
) => SchemaAST.Filter<T>
Creates a greater-than (>) check for any ordered type from an
Order.Order instance.
makeIsGreaterThan({
order: Order.Order<bigint>order: import OrderOrder.const BigInt: Order<bigint>Order instance for bigints that compares them numerically.
When to use
Use when you need numeric ordering for bigint values.
Details
Uses standard numeric comparison for bigint values and handles arbitrarily
large integers.
Example (Ordering BigInts)
import { Order } from "effect"
console.log(Order.BigInt(1n, 2n)) // -1
console.log(Order.BigInt(2n, 1n)) // 1
console.log(Order.BigInt(1n, 1n)) // 0
BigInt,
annotate?: | ((
exclusiveMinimum: bigint
) => Annotations.Filter)
| undefined
exclusiveMinimum: bigintexclusiveMinimum) => ({
Annotations.Filter.meta?: Annotations.Meta | undefined(property) Annotations.Filter.meta?: {
_tag: 'isGreaterThanBigInt';
exclusiveMinimum: bigint;
}
Optional metadata used to identify or extend the filter with custom data.
meta: {
_tag: "isGreaterThanBigInt"_tag: "isGreaterThanBigInt",
exclusiveMinimum: bigintexclusiveMinimum
}
})
})