Function contraverse

Returns (<F>(functor) => (<A, B>(f) => ((fga) => Get1<G, B>)))

• • <F>(functor): (<A, B>(f) => ((fga) => Get1<G, B>))

  • Type Parameters

    • F

    Parameters

    • functor: Functor<F>

    Returns (<A, B>(f) => ((fga) => Get1<G, B>))

    • • <A, B>(f): ((fga) => Get1<G, B>)

      • Type Parameters

        • A

        • B

        Parameters

        • f: ((fa) => B)

          • • (fa): B

            • Parameters

              • fa: Get1<F, A>

              Returns B

        Returns ((fga) => Get1<G, B>)

        • • (fga): Get1<G, B>

          • Parameters

            • fga: Get1<F, Get1<G, A>>

            Returns Get1<G, B>