(
exclusiveMinimum: globalThis.Date,
annotations?: Annotations.Filter
): SchemaAST.Filter<globalThis.Date>Validates that a Date is greater than the specified value (exclusive).
Details
Arbitrary:
When generating test data with fast-check, this applies a min constraint of
one millisecond after the specified value to ensure generated Date objects are
greater than it.
Date checks
Source effect/Schema.ts:76489 lines
export const const isGreaterThanDate: (
exclusiveMinimum: unknown,
annotations?: Annotations.Filter
) => SchemaAST.Filter<unknown>
Validates that a Date is greater than the specified value (exclusive).
Details
Arbitrary:
When generating test data with fast-check, this applies a min constraint of
one millisecond after the specified value to ensure generated Date objects are
greater than it.
isGreaterThanDate = 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<globalThis.Date>order: import OrderOrder.Date,
annotate?: | ((
exclusiveMinimum: unknown
) => Annotations.Filter)
| undefined
exclusiveMinimum: unknownexclusiveMinimum) => ({
Annotations.Filter.meta?: Annotations.Meta | undefined(property) Annotations.Filter.meta?: {
_tag: 'isGreaterThanDate';
exclusiveMinimum: globalThis.Date;
}
Optional metadata used to identify or extend the filter with custom data.
meta: {
_tag: "isGreaterThanDate"_tag: "isGreaterThanDate",
exclusiveMinimum: globalThis.DateexclusiveMinimum
}
})
})Referenced by 1 symbols