Interface Invariant<S>

Type declaration

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

  • Type Parameters

    • T1

    • U1

    Parameters

    • f: ((t1) => U1)

      • • (t1): U1

        • Parameters

          • t1: T1

          Returns U1

    Returns ((g) => ((st) => Get1<S, U1>))

    • • (g): ((st) => Get1<S, U1>)

      • Parameters

        • g: ((u1) => T1)

          • • (u1): T1

            • Parameters

              • u1: U1

              Returns T1

        Returns ((st) => Get1<S, U1>)

        • • (st): Get1<S, U1>

          • Parameters

            • st: Get1<S, T1>

            Returns Get1<S, U1>