Interface Choice<P>

Type declaration

• • <A, B>(f): (<C, D>(g) => ((m) => Instance<Apply2<P, D, A>>))

  • Type Parameters

    • A

    • B

    Parameters

    • f: ((a) => B)

      • • (a): B

        • Parameters

          • a: A

          Returns B

    Returns (<C, D>(g) => ((m) => Instance<Apply2<P, D, A>>))

    • • <C, D>(g): ((m) => Instance<Apply2<P, D, A>>)

      • Type Parameters

        • C

        • D

        Parameters

        • g: ((c) => D)

          • • (c): D

            • Parameters

              • c: C

              Returns D

        Returns ((m) => Instance<Apply2<P, D, A>>)

        • • (m): Instance<Apply2<P, D, A>>

          • Parameters

            • m: Instance<Apply2<P, C, B>>

            Returns Instance<Apply2<P, D, A>>