effect-ts-folds
Version:
Recursion schemes for effect-ts.
8 lines • 474 B
JavaScript
import { Covariant as CO } from '@effect/typeclass';
import { Applicative as IdentityApplicative } from '@effect/typeclass/data/Identity';
import { pipe } from 'effect';
import { dual } from 'effect/Function';
const map = (F) => dual(2, (fa, f) => pipe(fa, F.traverse(IdentityApplicative)(f)));
/** Convert a traversable instance to a covariant one. */
export const traverseCovariant = (F) => ({ map: map(F), imap: CO.imap(map(F)) });
//# sourceMappingURL=Traversable.js.map