(
maximum: bigint,
annotations?: Annotations.Filter
): SchemaAST.Filter<bigint>Validates that a BigInt is less than or equal to the specified value (inclusive).
Details
Arbitrary:
When generating test data with fast-check, this applies a max constraint
to ensure generated BigInt values are less than or equal to the specified
value.
BigInt checks
Source effect/Schema.ts:78609 lines
export const const isLessThanOrEqualToBigInt: (
maximum: unknown,
annotations?: Annotations.Filter
) => SchemaAST.Filter<unknown>
Validates that a BigInt is less than or equal to the specified value
(inclusive).
Details
Arbitrary:
When generating test data with fast-check, this applies a max constraint
to ensure generated BigInt values are less than or equal to the specified
value.
isLessThanOrEqualToBigInt = function makeIsLessThanOrEqualTo<
T
>(options: {
readonly order: Order.Order<T>
readonly annotate?:
| ((
exclusiveMaximum: T
) => Annotations.Filter)
| undefined
readonly formatter?: Formatter<T> | undefined
}): (
maximum: T,
annotations?: Annotations.Filter
) => SchemaAST.Filter<T>
Creates a less-than-or-equal-to (<=) check for any ordered type from an
Order.Order instance.
makeIsLessThanOrEqualTo({
order: Order.Order<bigint>order: import OrderOrder.BigInt,
annotate?: | ((
exclusiveMaximum: unknown
) => Annotations.Filter)
| undefined
maximum: unknownmaximum) => ({
Annotations.Filter.meta?: Annotations.Meta | undefined(property) Annotations.Filter.meta?: {
_tag: 'isLessThanOrEqualToBigInt';
maximum: bigint;
}
Optional metadata used to identify or extend the filter with custom data.
meta: {
_tag: "isLessThanOrEqualToBigInt"_tag: "isLessThanOrEqualToBigInt",
maximum: bigintmaximum
}
})
})Referenced by 1 symbols