UNPKG

effect-ts-laws

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