Interface Contravariant<S>

Type declaration

• • <T1, U1>(f): ((u) => Get1<S, T1>)

  • Type Parameters

    • T1

    • U1

    Parameters

    • f: ((arg) => U1)

      • • (arg): U1

        • Parameters

          • arg: T1

          Returns U1

    Returns ((u) => Get1<S, T1>)

    • • (u): Get1<S, T1>

      • Parameters

        • u: Get1<S, U1>

        Returns Get1<S, T1>