(
minimum: number,
annotations?: Annotations.Filter
): SchemaAST.Filter<number>Validates that a number is greater than or equal to the specified value (inclusive).
Details
JSON Schema:
This check corresponds to the minimum constraint in JSON Schema.
Arbitrary:
When generating test data with fast-check, this applies a minimum constraint
to ensure generated numbers are greater than or equal to the specified value.
export const const isGreaterThanOrEqualTo: (
minimum: number,
annotations?: Annotations.Filter
) => SchemaAST.Filter<number>
Validates that a number is greater than or equal to the specified value
(inclusive).
Details
JSON Schema:
This check corresponds to the minimum constraint in JSON Schema.
Arbitrary:
When generating test data with fast-check, this applies a minimum constraint
to ensure generated numbers are greater than or equal to the specified value.
isGreaterThanOrEqualTo = function makeIsGreaterThanOrEqualTo<
T
>(options: {
readonly order: Order.Order<T>
readonly annotate?:
| ((
exclusiveMinimum: T
) => Annotations.Filter)
| undefined
readonly formatter?: Formatter<T> | undefined
}): (
minimum: T,
annotations?: Annotations.Filter
) => SchemaAST.Filter<T>
Creates a greater-than-or-equal-to (>=) check for any ordered type from an
Order.Order instance.
makeIsGreaterThanOrEqualTo({
order: Order.Order<number>order: import OrderOrder.const Number: Order<number>Order instance for numbers that compares them numerically.
When to use
Use when you need numeric ordering for numbers.
Details
0 is considered equal to -0. All NaN values are considered equal to
each other, and any NaN is considered less than any non-NaN number. All
other values use standard numeric comparison.
Example (Ordering numbers)
import { Order } from "effect"
console.log(Order.Number(1, 1)) // 0
console.log(Order.Number(1, 2)) // -1
console.log(Order.Number(2, 1)) // 1
console.log(Order.Number(0, -0)) // 0
console.log(Order.Number(NaN, 1)) // -1
Number,
annotate?: | ((
exclusiveMinimum: number
) => Annotations.Filter)
| undefined
minimum: numberminimum) => ({
Annotations.Filter.meta?: Annotations.Meta | undefined(property) Annotations.Filter.meta?: {
_tag: 'isGreaterThanOrEqualTo';
minimum: number;
}
Optional metadata used to identify or extend the filter with custom data.
meta: {
_tag: "isGreaterThanOrEqualTo"_tag: "isGreaterThanOrEqualTo",
minimum: numberminimum
}
})
})