fp-ts
Version:
Functional programming in TypeScript
24 lines (23 loc) • 508 B
TypeScript
/**
* The `Bounded` type class represents totally ordered types that have an upper and lower boundary.
*
* Instances should satisfy the following law in addition to the `Ord` laws:
*
* - Bounded: `bottom <= a <= top`
*
* @since 2.0.0
*/
import { Ord } from './Ord'
/**
* @category type classes
* @since 2.0.0
*/
export interface Bounded<A> extends Ord<A> {
readonly top: A
readonly bottom: A
}
/**
* @category instances
* @since 2.0.0
*/
export declare const boundedNumber: Bounded<number>