15 lines
393 B
JavaScript
15 lines
393 B
JavaScript
import { max, min } from './Ord';
|
|
// -------------------------------------------------------------------------------------
|
|
// constructors
|
|
// -------------------------------------------------------------------------------------
|
|
/**
|
|
* @category constructors
|
|
* @since 2.0.0
|
|
*/
|
|
export function getMinMaxDistributiveLattice(O) {
|
|
return {
|
|
meet: min(O),
|
|
join: max(O)
|
|
};
|
|
}
|