UNPKG

effect-ts-laws

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