UNPKG

effect-ts-folds

Version:
8 lines 474 B
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