effect-ts-folds/src/util/Traversable.d.ts

Recursion schemes for effect-ts.

import { Traversable as TA } from '@effect/typeclass';
import { Kind, TypeLambda } from 'effect/HKT';
/** Convert a traversable instance to a covariant one. */
export declare const traverseCovariant: <F extends TypeLambda>(F: TA.Traversable<F>) => {
    map: {
        <A, B>(f: (a: A) => B): <R, O, E>(self: Kind<F, R, O, E, A>) => Kind<F, R, O, E, B>;
        <R, O_1, E_1, A, B_1>(self: Kind<F, R, O_1, E_1, A>, f: (a: A) => B_1): Kind<F, R, O_1, E_1, B_1>;
    };
    imap: {
        <A_1, B_2>(to: (a: A_1) => B_2, from: (b: B_2) => A_1): <R, O_2, E_2>(self: Kind<F, R, O_2, E_2, A_1>) => Kind<F, R, O_2, E_2, B_2>;
        <R, O_3, E_3, A_1, B_3>(self: Kind<F, R, O_3, E_3, A_1>, to: (a: A_1) => B_3, from: (b: B_3) => A_1): Kind<F, R, O_3, E_3, B_3>;
    };
};
//# sourceMappingURL=Traversable.d.ts.map