Interface TraversableComposition<F, G>

Type declaration

• • <H>(H: Applicative<H>): function

  • Type parameters

    • H

    Parameters

    • H: Applicative<H>

    Returns function

    • • <A, B>(f: function, fga: HKT<F, HKT<G, A>>): HKT<H, HKT<F, HKT<G, B>>>

      • Type parameters

        • A

        • B

        Parameters

        • f: function

          • • (a: A): HKT<H, B>

            • Parameters

              • a: A

              Returns HKT<H, B>

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

        Returns HKT<H, HKT<F, HKT<G, B>>>