effect-ts-laws
Version:
effect-ts law testing using fast-check.
13 lines • 434 B
TypeScript
import * as RF from '#typeclass/RightFoldable';
import type { BuildParameterized } from './given.js';
/**
* Typeclass laws for `RightFoldable`.
* @category typeclass laws
*/
export declare const rightFoldableLaws: BuildParameterized<RF.RightFoldableTypeLambda>;
declare module './given.js' {
interface ParameterizedLambdas {
RightFoldable: RF.RightFoldableTypeLambda;
}
}
//# sourceMappingURL=RightFoldable.d.ts.map