• Reduces Free with the internal items.

    Type Parameters

    • A

    • F

    Parameters

    • app: Applicative<A>

      An Applicative instance for F.

    • functor: Functor<F>

      A Functor instance for F.

    Returns (<T>(fn) => ((fr) => Get1<A, T>))

    The reduction of F.

      • <T>(fn): ((fr) => Get1<A, T>)
      • Type Parameters

        • T

        Parameters

        Returns ((fr) => Get1<A, T>)

Generated using TypeDoc