• Folds all the values in Free<F, _> with monad M.

    Type Parameters

    • M

    Parameters

    Returns (<F>(nat) => Nt<FreeHkt & {
        arg2: F;
    }, M>)

    The folded value contained by M.

      • <F>(nat): Nt<FreeHkt & {
            arg2: F;
        }, M>
      • Type Parameters

        • F

        Parameters

        • nat: Nt<F, M>

        Returns Nt<FreeHkt & {
            arg2: F;
        }, M>

Generated using TypeDoc