effect-ts-folds/src/fold/ops.d.ts

Recursion schemes for effect-ts.

import { Covariant as CO, Invariant as IN } from '@effect/typeclass';
import { TypeLambda } from 'effect/HKT';
import { AlgebraTypeLambda } from './folds.js';
/**
 * `Algebra` is invariant in the `A` type.
 * @category fold
 */
export declare const imap: <F extends TypeLambda>(F: CO.Covariant<F>) => IN.Invariant<AlgebraTypeLambda<F>>["imap"];
//# sourceMappingURL=ops.d.ts.map