Function makeIsLessThanOrEqualTo

packages/effect/src/Schema.ts:7760–7785

(options: {
  readonly order: Order.Order<T>
  readonly annotate?: ((exclusiveMaximum: T) => Annotations.Filter) | undefined
  readonly formatter?: Formatter<T> | undefined
})

 * @since 4.0.0
 */
export function makeIsLessThanOrEqualTo<T>(options: {
  readonly order: Order.Order<T>
  readonly annotate?: ((exclusiveMaximum: T) => Annotations.Filter) | undefined
  readonly formatter?: Formatter<T> | undefined
}) {
  const lte = Order.isLessThanOrEqualTo(options.order)
  const formatter = options.formatter ?? format
  return (maximum: T, annotations?: Annotations.Filter) => {
    return makeFilter<T>(
      (input) => lte(input, maximum),
      {
        expected: `a value less than or equal to ${formatter(maximum)}`,
        arbitrary: {
          constraint: {
            ordered: {
              order: options.order,
              maximum
            }
          }
        },
        ...options.annotate?.(maximum),
        ...annotations
      }
    )
  }
}

/**
 * Creates an inclusive or exclusive range check for any ordered type from an