• Reduces Free with the internal items.

    Type Parameters

    • M

    • F

    Parameters

    • monad: Monad<M>

      A Monad instance for M.

    • functor: Functor<F>

      A Functor instance for F.

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

    The reduction of F.

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

        • A

        Parameters

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

Generated using TypeDoc