Class Monad<A> Abstract

Static liftToApplicative

• liftToApplicative<A, B, C, App>(fn: ((value: A) => ((value: B) => C))): ((a: CallHKT<App, A>) => ((b: CallHKT<App, B>) => CallHKT<App, C>))

• Type Parameters

  • A

  • B

  • C

  • App extends ApplicativeHKT<App>

  Parameters

  • fn: ((value: A) => ((value: B) => C))

    • • (value: A): ((value: B) => C)

      • Parameters

        • value: A

        Returns ((value: B) => C)

        • • (value: B): C

          • Parameters

            • value: B

            Returns C

  Returns ((a: CallHKT<App, A>) => ((b: CallHKT<App, B>) => CallHKT<App, C>))

  • • (a: CallHKT<App, A>): ((b: CallHKT<App, B>) => CallHKT<App, C>)

    • Parameters

      • a: CallHKT<App, A>

      Returns ((b: CallHKT<App, B>) => CallHKT<App, C>)

      • • (b: CallHKT<App, B>): CallHKT<App, C>

        • Parameters

          • b: CallHKT<App, B>

          Returns CallHKT<App, C>