UNPKG

effect-ts-laws

Version:
13 lines 403 B
import type { BoundedTypeLambda } from '@effect/typeclass/Bounded'; import type { BuildConcrete } from './given.js'; /** * Build typeclass laws for `Bounded`. * @category typeclass laws */ export declare const boundedLaws: BuildConcrete<BoundedTypeLambda>; declare module './given.js' { interface ConcreteLambdas { Bounded: BoundedTypeLambda; } } //# sourceMappingURL=Bounded.d.ts.map