Function extend

Returns (<A1, A2>(extension) => ((wa) => Get1<W, A2>))

• • <A1, A2>(extension): ((wa) => Get1<W, A2>)

  • Type Parameters

    • A1

    • A2

    Parameters

    • extension: ((wa) => A2)

      • • (wa): A2

        • Parameters

          • wa: Get1<W, A1>

          Returns A2

    Returns ((wa) => Get1<W, A2>)

    • • (wa): Get1<W, A2>

      • Parameters

        • wa: Get1<W, A1>

        Returns Get1<W, A2>