import { HKT } from 'effect';
import { Hylomorphism } from './refolds.js';
import { Traversable } from '@effect/typeclass';
import { Given } from '#laws';
import { LawSet } from 'effect-ts-laws';
export declare const hyloLaws: <F extends HKT.TypeLambda, A, B>(F: Traversable.Traversable<F>, { equalsA, a, φ, ψ }: Given<F, A, B>) => LawSet;
export declare const cataAnaBasedHylo: Hylomorphism;
//# sourceMappingURL=laws.d.ts.map