• Hoists the items of Free by a natural transformation nat.

    Type Parameters

    • F

    • G

    Parameters

    • nat: Nt<F, G>

      A natural transformation from F to G.

    Returns (<T>(fr) => Free<G, T>)

    The lifted transformation of Free.

      • <T>(fr): Free<G, T>
      • Type Parameters

        • T

        Parameters

        Returns Free<G, T>

Generated using TypeDoc