Function contraverse

contraverse<G>(
    dist: TypeClass.Distributive.Distributive<G>,
): <F>(
    functor: TypeClass.Functor.Functor<F>,
) => <A, B>(
    f: (fa: Get1<F, A>) => B,
) => (fga: Get1<F, Get1<G, A>>) => Get1<G, B>
Type Parameters
- G
Parameters
- dist: TypeClass.Distributive.Distributive<G>
Returns <F>(
functor: TypeClass.Functor.Functor<F>,
) => <A, B>(
f: (fa: Get1<F, A>) => B,
) => (fga: Get1<F, Get1<G, A>>) => Get1<G, B>
- Defined in src/type-class/distributive.ts:47