(
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.
BigInt checks
Source effect/Schema.ts:77869 lines
export const const isGreaterThanBigInt: (
exclusiveMinimum: unknown,
annotations?: Annotations.Filter
) => SchemaAST.Filter<unknown>
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.BigInt,
annotate?: | ((
exclusiveMinimum: unknown
) => Annotations.Filter)
| undefined
annotate: (exclusiveMinimum: unknownexclusiveMinimum) => ({
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
}
})
})Referenced by 1 symbols