effect-ts-folds
Version:
Recursion schemes for effect-ts.
9 lines • 761 B
TypeScript
import { Given } from '#laws';
import { Covariant as CO, Traversable as TA } from '@effect/typeclass';
import { LawSet } from 'effect-ts-laws';
import { TypeLambda } from 'effect/HKT';
import { Coalgebra, Unfold } from './unfolds.js';
export declare const anaLaws: <F extends TypeLambda, A, B>(F: TA.Traversable<F> & CO.Covariant<F>, { a, equalsF, fixed, ψ }: Given<F, A, B>) => LawSet;
export declare const apoLaws: <F extends TypeLambda, A, B>(F: TA.Traversable<F> & CO.Covariant<F>, { a, equalsF, ψ }: Given<F, A, B>) => LawSet;
export declare const apoBasedAna: <F extends TypeLambda, A, E = unknown, R = unknown, I = never>(F: TA.Traversable<F> & CO.Covariant<F>, ψ: Coalgebra<F, A, E, R, I>) => Unfold<F, A, E, R, I>;
//# sourceMappingURL=laws.d.ts.map